5. ADT 1987:
Gullane, Scotland
Michel Bidoit:
The Stratified Loose Approach: A Generalization of Initial and Loose Semantics. 1-22 Harald Ganzinger:
Completion with History-Dependent Complexities for Generated Equations. 73-91 Horst Hansen:
The ACT System: Experiences and Future Enhancements. 113-130 Axel Poigné:
Partial Algebras, Subsorting, and Dependent Types: Prerequisites of Error Handling in Algebraic Specifications. 208-234 Horst Reichel:
Operational Semantics of Behavioural Canons based on Narrowing. 235-248
Acknowledgement:
The information on this page was contributed by
Martin Gogolla maintained by

, founded at
