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.
Author(s): Roswitha Bardohl, Martin Groβe-Rhode (auth.), Maura Cerioli, Gianna Reggio (eds.)
Series: Lecture Notes in Computer Science 2267
Edition: 1
Publisher: Springer-Verlag Berlin Heidelberg
Year: 2001
Language: English
Pages: 348
Tags: Logics and Meanings of Programs; Mathematical Logic and Formal Languages; Symbolic and Algebraic Manipulation; Software Engineering
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
