This book constitutes the thoroughly refereed post-conference proceedings of the 19th International Workshop on Recent Trends in Algebraic Development Techniques, WADT 2008, held in Pisa, Italy, on June 13-16, 2008.
The 18 revised full papers presented together with 3 invited talks were carefully reviewed and selected from 33 presentations at the workshop.
The papers focus on the algebraic approaches to the specification and development of systems, and address topics such as formal methods for system development, specification languages and methods, systems and techniques for reasoning about specifications, specification development systems, methods and techniques for concurrent, distributed and mobile systems, and algebraic and co-algebraic foundations.
Author(s): Michael Altenhofen, Egon Börger (auth.), Andrea Corradini, Ugo Montanari (eds.)
Series: Lecture Notes in Computer Science 5486 : Theoretical Computer Science and General Issues
Edition: 1
Publisher: Springer-Verlag Berlin Heidelberg
Year: 2009
Language: English
Pages: 343
Tags: Logics and Meanings of Programs; Mathematical Logic and Formal Languages; Mathematics of Computing; Theory of Computation; Computation by Abstract Devices; Mathematical Logic and Foundations
Front Matter....Pages -
Concurrent Abstract State Machines and + CAL Programs....Pages 1-17
Molecules as Automata....Pages 18-20
Service-Level Agreements for Service-Oriented Computing....Pages 21-36
Tiles for Reo....Pages 37-55
C-semiring Frameworks for Minimum Spanning Tree Problems....Pages 56-70
What Is a Multi-modeling Language?....Pages 71-87
Generalized Theoroidal Institution Comorphisms....Pages 88-101
Graph Transformation with Dependencies for the Specification of Interactive Systems....Pages 102-118
Finitely Branching Labelled Transition Systems from Reaction Semantics for Process Calculi....Pages 119-134
A Rewriting Logic Approach to Type Inference....Pages 135-151
A Term-Graph Syntax for Algebras over Multisets....Pages 152-165
Transformations of Conditional Rewrite Systems Revisited....Pages 166-186
Towards a Module System for K....Pages 187-205
Property Preserving Refinement for Csp - Casl ....Pages 206-220
Reconfiguring Distributed Reo Connectors....Pages 221-235
A Rewrite Approach for Pattern Containment....Pages 236-250
A Coalgebraic Characterization of Behaviours in the Linear Time – Branching Time Spectrum....Pages 251-265
Heterogeneous Logical Environments for Distributed Specifications....Pages 266-289
Term-Generic Logic....Pages 290-307
Declarative Debugging of Rewriting Logic Specifications....Pages 308-325
Translating a Dependently-Typed Logic to First-Order Logic....Pages 326-341
Back Matter....Pages -
