Recent Trends in Algebraic Development Techniques: 15th International Workshop, WADT 2001 Joint with the CoFI WG Meeting Genova, Italy, April 1–3, 2001 Selected Papers

Roswitha Bardohl, Martin Groβe-Rhode (auth.), Maura Cerioli, Gianna Reggio (eds.)3540431594, 9783540431596

This book constitutes the thoroughly refereed post-workshop proceedings of the 15th International Workshop on Algebraic Development Techniques, WADT 2001, held jointly with the General Workshop of the ESPRIT Working Group CoFI in Genova, Italy, in April 2001.
The book presents 16 papers selected from 32 workshop presentations. Among the topics addressed are formal specification, specification languages, term rewriting, and proof systems.

---

Table of contents :
Interactive Rule-Based Specification with an Application to Visual Language Definition….Pages 1-20
Algebraic Abstractions….Pages 21-47
Combining Logics: Parchments Revisited….Pages 48-70
Canonical Institutions of Behaviour….Pages 71-84
The Lübeck Transformation System: A Transformation System for Equational Higher Order Algebraic Specifications….Pages 85-108
On the Compatibility of Model and Model-Class Transformations….Pages 109-127
Verifying a Simple Pipelined Microprocessor Using Maude….Pages 128-151
Verifying Architectural Specifications….Pages 152-175
Geometric Modelling with CASL….Pages 176-201
A Compositional Approach to Connector Construction….Pages 201-220
Institution Independent Static Analysis for Casl….Pages 221-237
Tight and Loose Semantics for Transformation Systems….Pages 238-255
Presentations for Abstract Context Institutions….Pages 256-279
Programs, Proofs and Parametrized Specifications….Pages 280-304
Towards Trustworthy Specification I: Consistency Checks….Pages 305-327
The Common Framework Initiative for Algebraic Specification and Development of Software: Recent Progress….Pages 328-343