Rewriting Logic and Its Applications: 10th International Workshop, Wrla 2014, Held as a Satellite Event of Etaps, Grenoble, France, April 5-6, 2014, Revised Selected Papers

Composition of Graph-Transformation-Based DSL Definitions by Amalgamation.- Can We Efficiently Check Concurrent Programs Under Relaxed Memory Models in Maude.- Real-Time Maude and Its Applications.- Conditional Narrowing Modulo in Rewriting Logic and Maude.- Language Definitions as Rewrite Theories.- Infinite-State Model Checking of LTLR Formulas Using Narrowing.- Modelling and Verifying Contract-Oriented Systems in Maude.- Towards Static Analysis of Functional Programs Using Tree Automata Completion.- Framework for Mobile Ad hoc Networks in Real-Time Maude.- Strong and Weak Operational Termination of Order-Sorted Rewrite Theories.- 2D Dependency Pairs for Proving Operational Termination of CTRSs.- FunKons: Component-Based Semantics in K.- An Integration of CafeOBJ into Full Maude.- Rewriting Modulo SMT and Open System Analysis.- Formal Specification of Button-Related Fault-Tolerance Micropatterns.- A Formal Semantics of the OSEK/VDX Standard in K Framework and Its Applications.

• Format: Paperback
• Language: English
• ISBN: 3319129031
• ISBN13: 9783319129037
• Release Date: November 2014
• Publisher: Springer
• Length: 297 Pages
• Weight: 0.96 lbs.
• Dimensions: 0.7" x 6.1" x 9.2"