Recent Trends in Data Type Specification : 7th Workshop on Specification of Abstract Data Types

This volume contains the proceedings of a workshop on specification of abstract data types. The main topics are modularization, object orientation, higher-order types and dependent types, inductive completion, and algebraic high-level nets.