Rewriting Logic and Its Applications 9th International Workshop, WRLA 2012, Held as a Satellite Event of ETAPS, Tallinn, Estonia, March 24-25, 2012, Revised Selected Papers /

• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Άλλοι συγγραφείς: Durán, Franciso (Επιμελητής έκδοσης)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.
• Σειρά: Lecture Notes in Computer Science, 7571
• Θέματα: Computer science.; Computer programming.; Software engineering.; Programming languages (Electronic computers).; Computer logic.; Mathematical logic.; Computers.; Computer Science.; Logics and Meanings of Programs.; Software Engineering.; Programming Techniques.; Programming Languages, Compilers, Interpreters.; Mathematical Logic and Formal Languages.; Models and Principles.

This book constitutes the thoroughly refereed post-workshop proceedings of the 9th International Workshop on Rewriting Logic and its Applications, WRLA 2012, held as a satellite event of ETAPS 2012, in Tallinn, Estonia, in March 2012. The 8 revised full papers presented together with 4 invited paper...

Πίνακας περιεχομένων:

• Rigorous Component-Based System Design (Invited Paper)
• Program Analysis Scenarios in Rascal
• K Framework Distilled
• Design and Analysis of Cloud-Based Architectures with KLAIM and Maude
• Making Maude Definitions More Interactive
• Model Checking LTLR Formulas under Localized Fairness
• Modelling and Analyzing Adaptive Self-assembly Strategies with Maude
• Formal Modeling and Analysis of Human Body Exposure to Extreme Heat in HI-Maude
• Order-Sorted Equality Enrichments Modulo Axioms
• Timed CTL Model Checking in Real-Time Maude
• Using Narrowing to Test Maude Specifications
• A Rule-Based Framework for Building Superposition-Based Decision Procedures.