Rewriting Logic and Its Applications, 1st ed. 2016 11th International Workshop, WRLA 2016, Held as a Satellite Event of ETAPS, Eindhoven, The Netherlands, April 2-3, 2016, Revised Selected Papers Theoretical Computer Science and General Issues Series
Coordonnateur : Lucanu Dorel
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.
Includes supplementary material: sn.pub/extras
Date de parution : 08-2016
Ouvrage de 185 p.
15.5x23.5 cm
Thème de Rewriting Logic and Its Applications :
Mots-clés :
logical models; model checking; rewrite languages; temporal logic; tree automata and tree languages; finite variant property (FVP); graph rewriting; maude; metalevel algorithms; modular specification; reachability logic; rewriting logic; rewriting logic; rewriting models of biology; rewriting; semantics; rewriting strategies; rewriting based theorem proving; rewriting based verification; satisfiability in initial algebras; state/transition structuresVoIP