Overview

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.

Full Product Details

Author:   Maura Cerioli ,  Gianna Reggio
Publisher:   Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Imprint:   Springer-Verlag Berlin and Heidelberg GmbH & Co. K
Volume:   2267
Dimensions:   Width: 15.50cm , Height: 1.80cm , Length: 23.50cm
Weight:   1.120kg
ISBN:  

9783540431596

ISBN 10:   3540431594
Pages:   348
Publication Date:   23 January 2002
Audience:   Professional and scholarly ,  Professional & Vocational
Format:   Paperback
Publisher's Status:   Active
Availability:   In Print  
This item will be ordered in for you from one of our suppliers. Upon receipt, we will promptly dispatch it out to you. For in store availability, please contact us.

Table of Contents

Interactive Rule-Based Specification with an Application to Visual Language Definition.- Algebraic Abstractions.- Combining Logics: Parchments Revisited.- Canonical Institutions of Behaviour.- The Lubeck Transformation System: A Transformation System for Equational Higher Order Algebraic Specifications.- On the Compatibility of Model and Model-Class Transformations.- Verifying a Simple Pipelined Microprocessor Using Maude.- Verifying Architectural Specifications.- Geometric Modelling with CASL.- A Compositional Approach to Connector Construction.- Institution Independent Static Analysis for Casl.- Tight and Loose Semantics for Transformation Systems.- Presentations for Abstract Context Institutions.- Programs, Proofs and Parametrized Specifications.- Towards Trustworthy Specification I: Consistency Checks.- The Common Framework Initiative for Algebraic Specification and Development of Software: Recent Progress.

Reviews

Author Information

Tab Content 6

Author Website:  

Customer Reviews

Recent Reviews

No review item found!

Add your own review!

Countries Available

All regions