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
Auflage
Sprache
Verlagsort
Verlagsgruppe
Springer International Publishing
Illustrationen
28 s/w Abbildungen
XV, 185 p. 28 illus.
ISBN-13
978-3-319-44802-2 (9783319448022)
DOI
10.1007/978-3-319-44802-2
Schweitzer Klassifikation
Foundations.- Rewriting as a logical and semantic framework.-Rewriting languages.- Verification techniques.- Applications.
