Rewriting Logic and Its Applications [electronic resource] : 8th International Workshop, WRLA 2010, Held as a Satellite Event of ETAPS 2010, Paphos, Cyprus, March 20-21, 2010, Revised Selected Papers /
WRLA (Conference)Corporate Author
International Workshop on Rewriting Logic and its Applications (WRLA 2010)(8th :2010 Mar. 20-21 :Paphos, Cyprus)
European Joint Conferences on Theory and Practice of Software.
Ölveczky, Peter Csaba.editor.
Bibliographic Level Mode of Issuance: Monograph
Includes bibliographical references and index.
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.
Computer programming.
Software engineering.
Programming languages (Electronic computers).
Computer logic.
Mathematical logic.
Programming Techniques.
Software Engineering/Programming and Operating Systems.
Programming Languages, Compilers, Interpreters.
Logics and Meanings of Programs.
Software Engineering.
Mathematical Logic and Formal Languages.

Lecture Notes in Computer Science