Recent Trends in Algebraic Development Techniques: 12th International Workshop, WADT’97 Tarquinia, Italy, June 3–7, 1997 Selected Papers

H. Ehrig, M. Gajewsky, U. Wolter (auth.), Francesco Parisi Presicce (eds.)3540642994, 9783540642992

This book constitutes the strictly refereed post-workshop proceedings of the 12th International Workshop on Algebraic Development Techniques, WADT ’98, held in Tarquinia, Italy, in June 1997.This book presents, besides three invited surveys, 21 carefully revised full papers selected from 40 presentations given at the workshop. The algebraic approach to the specification and development of systems, born as a formal method for abstract data types, encompases today the formal design of integrated hardware and software systems, new specification frameworks and a wide range of applications. This book presents the state-of-the-art in the area of algebraic software development.

---

Table of contents :
From abstract data types to algebraic development techniques: A shift of paradigms….Pages 1-17
Membership algebra as a logical framework for equational specification….Pages 18-61
Mapping tile logic into rewriting logic….Pages 62-91
An algebra of mixin modules….Pages 92-106
Completeness of a logical system for structured specifications….Pages 107-121
Zero-safe nets: The individual token approach….Pages 122-140
Implementation of derived programs (almost) for free….Pages 141-155
A method for Fortran programs reverse engineering using algebraic specifications….Pages 156-173
Coalgebra semantics for hidden algebra: Parameterised objects and inheritance….Pages 174-189
A completeness result for equational deduction in coalgebraic specification….Pages 190-205
Specifying with defaults: Compositional semantics….Pages 206-222
An inductive view of graph transformation….Pages 223-237
On combining semi-formal and formal object specification techniques….Pages 238-252
Modular aspects of rewrite-based specifications….Pages 253-268
From algebra transformation to labelled transition systems….Pages 269-284
Open maps as a bridge between algebraic observational equivalence and bisimilarity….Pages 285-299
A systematic study of mappings between institutions….Pages 300-315
Colimits of order-sorted specifications….Pages 316-332
Static semantic analysis and theorem proving for CASL….Pages 333-348
Combining and representing logical systems using model-theoretic parchments….Pages 349-364
Towards the one-tiered design of data types and transition systems….Pages 365-380
Context parchments….Pages 381-401
Verifying a compiler optimization for multi-threaded Java….Pages 402-417
Categories of relational structures….Pages 418-433