Recent Trends in Data Type Specification: 7th Workshop on Specification of Abstract Data Types, Wusterhausen/Dosse, Germany, April 17-20, 1990. Procee

ISBN-13: 9783540544968 / Angielski / Miękka / 1991 / 384 str.

Hartmut Ehrig; Klaus P. Jantke; Fernando Orejas

Opis

Contains the proceedings of a workshop on specification of abstract data types. This volume includes topics such as: modularization, object orientation, higher-order types and dependent types, inductive completion, and algebraic high-level nets.

Spis treści

ADT implementation and completion by induction from examples.- An association of Algebraic term nets and abstract data types for specifying real communication protocols.- The specification language GSBL.- Composition of algebraic high-level nets.- A match operation for rule-based modular system design.- Towards object-oriented algebraic specifications.- Inductive completion for transformation of equational specifications.- A notion of implementation for the specification language OBSCURE.- Model-theoretic specifications and back-and-forth equivalences.- Universal algebra in higher types.- Clausal rewriting: Applications and implementation.- Constraints for behavioural specifications.- Entities: An institution for dynamic systems.- A 2-category approach to critical pair completion.- A kernel specification formalism with higher-order parameterisation.- Extended ML: Past, present and future.- Dependent types considered necessary for specification languages.- Generic types in a language for data directed design.- Design of a compiler for lazy pattern driven narrowing.