Recent Trends in Data Type Specification

Combining algebra and universal algebra in first-order theorem proving: The case of commutative rings.- Bulk types and query language design.- From abstract data types to logical frameworks.- Algebraic specification languages: An overview.- Types, subtypes, and ASL+.- On the operational semantics of the algebraic and logic programming language LPG.- Behavioural theories.- Equations for describing dynamic nets of communicating systems.- A lazy approach to partial algebras.- Transactions in object-oriented specifications.- Local specification of distributed families of sequential objects.- Dynamic abstract data types based on algebraic graph transformations.- Modular termination of term rewriting systems revisited.- Institutions for behaviour specification.- An algebraic semantics for the object specification language TROLL light.- Defining equations in terminal coalgebras.- Sort inheritance for order-sorted equational presentations.- Axiomatic specification of large information systems: Experiences and consequences.- An object-oriented airport: Specification and refinement in Maude.- Topological methods for algebraic specification.- A hierarchy of institutions separated by properties of parameterized abstract data types.- Dynamical behavior of object systems.- A theory-based topological notion of institution.- Typing abstract data types.- Multialgebras, power algebras and complete calculi of identities and inclusions.- Institutional frames.- Implementation of data structures in an imperative framework.- What is an Abstract Data Type, after all?.