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
Başlık:
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
Yazar:
Lucanu, Dorel. editor.
ISBN:
9783319448022
Fiziksel Niteleme:
XV, 185 p. 28 illus. online resource.
Seri:
Lecture Notes in Computer Science, 9942
İçindekiler:
Foundations -- Rewriting as a logical and semantic framework.-Rewriting languages -- Verification techniques -- Applications.
Özet:
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.
Konu Başlığı:
Yazar Ek Girişi:
Ek Kurum Yazar:
Elektronik Erişim:
http://dx.doi.org/10.1007/978-3-319-44802-2