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
Published on 2. October 2010
X, 264 pages
978-3-642-16310-4 (ISBN)
Description
More details
Other editions
Additional editions
Peter Csaba Ölveczky
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
Book
10/2010
1st Edition
Springer
€53.49
Shipment within 5-7 days
Content
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.
