Recent Trends in Data Type Specification

Towards an algebraic semantics for the object paradigm.- Rewriting techniques for software engineering.- Identity and existence, and types in algebra.- Overloading and inheritance.- A SMoLCS based kit for defining high-level algebraic Petri nets.- Institutions for very abstract specifications.- About the "correctness" and "adequacy" of PLUSS specifications.- Semantic constructions in the specification language Glider.- On certification of specifications for TROLL light objects.- Translating TROLL light concepts to Maude.- Algebraic high level nets.- 2-Categorical specification of partial algebras.- A behavioural algebraic framework for modular system design with reuse.- On fibred adjunctions and completeness for fibred categories.- Implementing inequality and nondeterministic specifications with bi-rewriting systems.- A semantic basis for logic-independent transformation.- Unified algebras and abstract syntax.- Structured inheritance for algebraic class specifications.- Towards a theory for the animation of algebraic specifications.- Second-order proof systems for algebraic specification languages.- An institution of object behaviour.