Rewriting Logic and Its Applications

11th International Workshop, WRLA 2016, Held as a Satellite Event of ETAPS, Eindhoven, The Netherlands, April 2-3, 2016, Revised Selected Papers

185 Seiten, Taschenbuch

Kurzbeschreibung des Verlags

This book constitutes the thoroughly refereed post-workshop proceedings of the 11th International Workshop on Rewriting Logic and its Applications, WRLA 2016, held as a satellite event of ETAPS 2016, in Eindhoven, The Netherlands, in April 2016.

The 8 revised full papers presented together with 2 invited papers and 3 abstracts were carefully reviewed and selected from 14 submissions. The papers cover several topics such as: foundations; rewriting as a logical and semantic framework; rewriting languages; verification techniques; and applications.

• Reihe: Theoretical Computer Science and General Issues
• Themen: Informatik und Informationstechnologie Informatik Theoretische Informatik
• ISBN: 9783319448015
• Sprache: Englisch
• Erscheinungsdatum: 18.08.2016
• Größe: 23.5 x 15.5 cm
• Verlag: Springer International Publishing
• Herausgegeben von: Dorel Lucanu