This book contains a strictly refereed selection of revised full papers chosen from the papers accepted for presentation during the 11th Workshop on Abstract Data Types held jointly with the 8th COMPASS Workshop in Oslo, Norway, in September 1995.
The 25 research papers included were chosen from 57 pre-selected workshop presentations; also included are six invited contributions. The volume reports the progress achieved in the area of algebraic specification since the predecessor meeting held in May 1994.
Author(s): Bernd Krieg-Brückner (auth.), Magne Haveraaen, Olaf Owe, Ole-Johan Dahl (eds.)
Series: Lecture Notes in Computer Science 1130
Edition: 1
Publisher: Springer-Verlag Berlin Heidelberg
Year: 1996
Language: English
Pages: 558
Tags: Software Engineering; Programming Languages, Compilers, Interpreters
Seven years of COMPASS....Pages 1-13
Inductively defined relations: A brief tutorial extended abstract....Pages 14-16
On the role of category theory in the area of algebraic specifications....Pages 17-48
Unification of theories: A challenge for computing science....Pages 49-57
The larch shared language: Some open problems....Pages 58-73
The lambda calculus as an abstract data type....Pages 74-80
Unifying theories in different institutions....Pages 81-101
Interchange format for inter-operability of tools and translation....Pages 102-124
Experiments with partial evaluation domains for rewrite specifications....Pages 125-142
Class-sort polymorphism in GLIDER....Pages 143-160
Deontic concepts in the algebraic specification of dynamic systems: The permission case....Pages 161-181
Reification — Changing viewpoint but preserving truth....Pages 182-199
A category-based equational logic semantics to constraint programming....Pages 200-221
Concurrent state transformations on abstract data types....Pages 222-236
A view on implementing processes: Categories of circuits....Pages 237-254
Combining algebraic and set-theoretic specifications....Pages 255-273
Minimal term rewriting systems....Pages 274-290
InterACT : An interactive theorem and completeness prover for algebraic specifications with conditional equations....Pages 291-305
Rewriting and reasoning with set-relations II: The non-ground case completeness....Pages 306-321
Termination of curryfied rewrite systems....Pages 322-341
Formal specifications and test: Correctness and oracle....Pages 342-358
Behavioural equivalence, bisimulation, and minimal realisation....Pages 359-378
Using limits of parchments to systematically construct institutions of partial algebras....Pages 379-393
Behavioural specifications in type theory....Pages 394-408
Swinging data types....Pages 409-435
Context institutions....Pages 436-457
Object-oriented functional programming and type reconstruction....Pages 458-477
Moving between logical systems....Pages 478-502
Modular algebraic specifications and the orientation of equations into rewrite rules....Pages 503-521
A model for I/O in equational languages with don't care non-determinism....Pages 522-535
Tool design for structuring mechanisms for algebraic specification languages with initial semantics....Pages 536-550
