Publisher Summary An algebraic specification is a description of one or more abstract data
types. There are three main semantic approaches to algebraic specifications:(1) the initial …

We present an approach to enriching the type system of ML with a restricted form of
dependent types, where type index objects are drawn from a constraint domain C, leading to …

As its title promises, this book provides foundations for software specification and formal
software development from the perspective of work on algebraic specification. It …

We present an approach to enriching the type system of ML with a restricted form of
dependent types, where type index terms are required to be drawn from a given type index …

We have to live with a multitude of logical systems used in various approaches to software
specification and development. The proliferation of logical systems in the area is not just …

Extended ML (EML) is a framework for the formal development of modular Standard ML
(SML) software systems. Development commences with a specification of the behaviour …

The main ideas underlying work on the model-theoretic foundations of algebraic
specification and formal program development are presented in an informal way. An attempt …

Parameterisation is an important mechanism for structuring programs and specifications into
modular units. The interplay between parameterisation (of programs and of specifications) …

We describe a general module language integrating abstract data types, specifications and
object-oriented concepts. The framework is based on the Standard ML module system, with …

Extended ML is a framework for the formal development of programs in the Standard ML
programming language from high-level speci cations of their required input/output …