Rewriting Logic and Its Applications : 9th International Workshop, WRLA 2012, Held as a Satellite Event of ETAPS 2012, Tallinn, Estonia, March 24-25, 2012, Revised Selected Papers / edited by Francisco Durán.

Format:

Book

Contributor:

Duran, Francisco (Francisco Javier Durán Muñoz), editor.

SpringerLink (Online service)

Series:

Computer Science (Springer-11645)

LNCS sublibrary. Theoretical computer science and general issues ; SL 1, 7571.

Theoretical Computer Science and General Issues ; 7571

Language:

English

Subjects (All):

Computer logic.

Software engineering.

Computer programming.

Programming languages (Electronic computers).

Logic, Symbolic and mathematical.

Computers.

Logics and Meanings of Programs.

Software Engineering.

Programming Techniques.

Programming Languages, Compilers, Interpreters.

Mathematical Logic and Formal Languages.

Models and Principles.

Local Subjects:

Logics and Meanings of Programs.

Software Engineering.

Programming Techniques.

Programming Languages, Compilers, Interpreters.

Mathematical Logic and Formal Languages.

Models and Principles.

Physical Description:

1 online resource (VIII, 241 pages) : 51 illustrations.

Edition:

First edition 2012.

Contained In:

Springer eBooks

Place of Publication:

Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.

System Details:

text file PDF

Summary:

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 papers were carefully reviewed and selected from 12 initial submissions and 5 invited lectures. The papers address a great diversity of topics in the fields of rewriting logic such as: foundations and models, languages, logical and semantic framework, model-based software engineering, real-time and probabilistic extensions, verification techniques, and distributed systems.

Contents:

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.

Other Format:

Printed edition:

ISBN:

978-3-642-34005-5

9783642340055

Access Restriction:

Restricted for use by site license.