Rewriting Logic and Its Applications: 8th International Workshop, Wrla 2010, Held as a Satellite Event of Etaps 2010, Paphos, Cyprus, March 20-21, 201

ISBN-13: 9783642163098 / Angielski / Miękka / 2010 / 264 str.

Peter Csaba Olveczky

Opis

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.

Spis treści

Invited Talks.- Rewriting, Inference, and Proof.- Twenty Years of Rewriting Logic.- Termination and Narrowing.- Proving Termination in the Context-Sensitive Dependency Pair Framework.- A Dependency Pair Framework for A???C-Termination.- Folding Variant Narrowing and Optimal Variant Termination.- Tools.- A Church-Rosser Checker Tool for Conditional Order-Sorted Equational Maude Specifications.- A Maude Coherence Checker Tool for Conditional Order-Sorted Rewrite Theories.- The K Framework.- K-Maude: A Rewriting Based Tool for Semantics of Programming Languages.- Collecting Semantics under Predicate Abstraction in the K Framework.- Applications and Semantics.- Concurrent Rewriting Semantics and Analysis of Asynchronous Digital Circuits.- A Formal Pattern Architecture for Safe Medical Systems.- On the Behavioral Semantics of Real-Time Domain Specific Visual Languages.- Multiset Rewriting: A Semantic Framework for Concurrency with Name Binding.- Maude Model Checking and Debugging.- The Linear Temporal Logic of Rewriting Maude Model Checker.- Enhancing the Debugging of Maude Specifications.- Rewrite Engines.- The Third Rewrite Engines Competition.