product description page

Rewriting Logic and Its Applications : 11th International Workshop, Wrla 2016, Held As a Satellite Event

Rewriting Logic and Its Applications : 11th International Workshop, Wrla 2016, Held As a Satellite Event - image 1 of 1

about this item

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.

Genre: Computers + Internet
Series Title: Theoretical Computer Science and General Issues
Format: Paperback
Publisher: Springer-Verlag New York Inc
Language: English
Street Date: September 15, 2016
TCIN: 51555361
UPC: 9783319448015
Item Number (DPCI): 248-24-5452

guest reviews

Prices, promotions, styles and availability may vary by store & online. See our price match guarantee. See how a store is chosen for you.