ENGLISH

Rewriting Logic and Its Applications: 8th International Workshop, WRLA 2010, Held as a Satellite Event of ETAPS 2010, Paphos, Cyprus, March 20-21, 2010, Revised Selected Papers

By Natarajan Shankar (auth.) , Peter Csaba Ölveczky (eds.)

Book information

Publisher
Springer-Verlag Berlin Heidelberg
Year
2010
ISBN
9783642163104, 3642163106
DOI
10.1007/978-3-642-16310-4
Language
english
Format
PDF
Filesize
3 MB (3152655 bytes)
Series
Lecture Notes in Computer Science 6381 : Theoretical Computer Science and General Issues
Edition
1
Pages
264\272
Time added
2013-04-24 17:00:00
CompilersInterpreters; Mathematical Logic and Formal LanguaLogics and Meanings of Programs; Software Engineer

Description

This book constitutes the refereed proceedings of the 8th International Workshop on Rewriting Logic and its Applications, WRLA 2010, held as a satellite event of ETAPS 2010, Paphos, Cyprus, in March 2010. The 13 revised full papers presented were carefully reviewed and selected from 29 submissions. The papers are organized in topical sections on termination and narrowing; tools; the K framework; applications and semantics; maude model checking and debugging; and rewrite engines.

Similar books