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 …

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

Specification of abstract data types | Guide books skip to main content ACM Digital Library
home ACM home Google, Inc. (search) Advanced Search Browse About Sign in Register …

A formalism for constructing and using axiomatic specifications in an arbitrary logical system
is presented. This builds on the framework provided by Goguen and Burstall's work on the …

The program development process is viewed as a sequence of implementation steps
leading from a specification to a program. Based on an elementary notion of refinement, two …

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 …

The properties of a simple and natural notion of observational equivalence of algebras and
the corresponding specification-building operation are studied. We begin with a definition of …

We propose a novel definition of binders using matching logic, where the binding behavior
of object-level binders is directly inherited from the built-in exists binder of matching logic …

The purpose of this chapter is to present the basic definitions and results on which the
following chapters rely. Most of this material is quite standard and for that reason the …

In this chapter we present some basic concepts and results of the theory of institutions,
introduced by Goguen and Burstall to formally capture the informal notion of a logical system …