Algebraic Methods 1987: Passau, Germany

Martin Wirsing, Jan A. Bergstra (Eds.): Algebraic Methods: Theory, Tools and Applications [papers from a workshop in Passau, Germany, June 9-11, 1987]. Lecture Notes in Computer Science 394 Springer 1989, ISBN 3-540-51698-0

Algebraic Specification

Helmuth Partsch:
Algebraic Specification: A Step Towards Future Software Engineering. 7-30
Michel Bidoit, Marie-Claude Gaudel, A. Mauboussin:
How to Make Algebraic Specifications More Understandable?. 31-67
Herbert Klaeren, Klaus Indermark:
Efficient Implementation of an Algebraic Specification Language. 69-90
Egidio Astesiano, Alessandro Giovini, Gianna Reggio, Elena Zucca:
An Integrated Algebraic Approach to the Specification of Data Types, Processes and Objects. 91-116
Horst Reichel:
Software Specification by Behavioural Canons. 117-138

H. B. M. Jonkers:
An Introduction to COLD-K. 139-205
W. E. Baats, Loe M. G. Feijs, J. H. A. Gelissen:
A Formal Specifications of INGRES. 207-245
C. P. J. Koymanns, Gerard R. Renardel de Lavalette:
The Logic MPL_omega. 247-282
H. B. M. Jonkers:
Description Algebra. 283-306
Loe M. G. Feijs:
The Calculus lambda-pi. 307-330

Heinrich Hußmann, Alfons Geser:
The RAP System as a Tool for Testing COLD Specifications. 331-345
Alfons Geser:
A Specification of the intel 8085 Microprocessor: A Case Study. 347-401
Heinrich Hußmann, Christian Rank:
Specification and Prototyping of a Compiler for a Small Applicative Language. 403-418
Luigi Lavazza, Stefano Crespi-Reghizzi:
Algebraic ADT Specifications of an Extended Relational Algebra and their Conversion into a Working Prototype. 419-446

Jan A. Bergstra, Jan Willem Klop:
ACT_tau: A Universal Axiom System for Process Specification. 447-463
Rob J. van Glabbeek, Frits W. Vaandrager:
Modular Specifications in Process Algebra with Curious Queues. 465-506
Sjouke Mauw:
An Algebraic Specification of Process Algebra, Including Two Examples. 507-554