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

"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."--Publisher's description 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

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.

This text constitutes the refereed proceedings of the 15th International Workshop on Algebraic Development Techniques, WADT 2001, held jointly with the General Workshop of the ESPRIT Working Group CoFI. Among the topics addressed are formal specification, specification languages and term rewriting. In a traditional rule-based specification of a system a set of rules is given to describe the possible state changes of the system.