Rewriting Logic and Its Applications: 11th International Workshop, Wrla 2016, Held as a Satellite Event of Etaps, Eindhoven, the Netherlands, April 2- 2016 Edition Contributor(s): Lucanu, Dorel (Editor) |
|
ISBN: 3319448013 ISBN-13: 9783319448015 Publisher: Springer OUR PRICE: $52.24 Product Type: Paperback Published: August 2016 |
Additional Information |
BISAC Categories: - Computers | Compilers - Computers | Software Development & Engineering - General - Computers | Programming Languages - General |
Dewey: 005.101 |
Series: Lecture Notes in Computer Science |
Physical Information: 0.43" H x 6.14" W x 9.21" (0.64 lbs) 185 pages |
Descriptions, Reviews, Etc. |
Publisher Description: 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. |