Cover Image
Read Now

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

Bibliographic Details
Other Authors: Ölveczky, Peter Csaba (Editor)
Format: eBook
Language:English
Published: Berlin, Heidelberg Springer Berlin Heidelberg 2010, 2010
Edition:1st ed. 2010
Series:Theoretical Computer Science and General Issues
Subjects:
Compilers (computer Programs)
Computer Science Logic And Foundations Of Programming
Compilers And Interpreters
Software Engineering
Programming Techniques
Computer Science
Computer Programming
Formal Languages And Automata Theory
Machine Theory
Online Access:
Collection: Springer eBooks 2005- - Collection details see MPG.ReNa
Table of Contents:
  • 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

Similar Items