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 /
| Συγγραφή απο Οργανισμό/Αρχή: | |
|---|---|
| Άλλοι συγγραφείς: | |
| Μορφή: | Ηλεκτρονική πηγή Ηλ. βιβλίο |
| Γλώσσα: | English |
| Έκδοση: |
Berlin, Heidelberg :
Springer Berlin Heidelberg,
2010.
|
| Σειρά: | Lecture Notes in Computer Science,
6381 |
| Θέματα: | |
| Διαθέσιμο Online: | Full Text via HEAL-Link |
Πίνακας περιεχομένων:
- 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.
