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

Dorel Lucanu (Herausgeber)

Buch | Softcover

XV, 185 Seiten

2016 | 1st ed. 2016
Springer International Publishing (Verlag)
9783319448015 (ISBN)

Artikel merken

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.

Foundations.- Rewriting as a logical and semantic framework.-Rewriting languages.- Verification techniques.- Applications.

Erscheinungsdatum	08.10.2016
Reihe/Serie	Lecture Notes in Computer Science
Reihe/Serie	Theoretical Computer Science and General Issues
Zusatzinfo	XV, 185 p. 28 illus.
Verlagsort	Cham
Sprache	englisch
Maße	155 x 235 mm
Themenwelt	Mathematik / Informatik ► Informatik ► Theorie / Studium
Schlagworte	Applications • Computer Science • conference proceedings • finite variant property (FVP) • Graph Rewriting • Informatics • Logical Models • Logics and meanings of programs • Maude • metalevel algorithms • Model Checking • Modular specification • reachability logic • Research • rewrite languages • Rewriting • rewriting based theorem proving • rewriting based verification • Rewriting Logic • rewriting models of biology • rewriting strategies • satisfiability in initial algebras • Semantics • state/transition structuresVoIP • temporal logic • tree automata and tree languages
ISBN-13	9783319448015 / 9783319448015
Zustand	Neuware