Rewriting logic and its applications

InhaltsverzeichnisInvited 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.