Dorel Lucanu
Springer International Publishing
e druk, 2016
9783319448015
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
Specificaties
Paperback, blz.
|
Engels
Springer International Publishing |
e druk, 2016
ISBN13: 9783319448015
Rubricering
Onderdeel van serie
Lecture Notes in Computer Science
Verwachte levertijd ongeveer 9 werkdagen
Samenvatting
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.
Specificaties
ISBN13:9783319448015
Taal:Engels
Bindwijze:paperback
Uitgever:Springer International Publishing
Inhoudsopgave
Foundations.- Rewriting as a logical and semantic framework.-Rewriting languages.- Verification techniques.- Applications.