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 …

A language called ASL for describing structured algebraic specifications is presented. ASL
is a declarative higher-order language. It contains constructs for building (possibly infinite) …

This textbook offers a unified, self-contained introduction to the field of term rewriting. Baader
and Nipkow cover all the basic material--abstract reduction systems, termination …

Unification is a fundamental process upon which many methods for automated deduction
are based. Unification theory abstracts from the specific applications of this process: it …

Functional and logic programming are the most important declarative programming
paradigms, and interest in combining them has grown over the last decade. Early research …

This paper addresses the problem of constructing test data sets from formal specifications.
Starting from a notion of an ideal exhaustive test data set, which is derived from the notion of …

Process algebra is a widely accepted and much used technique in the specification and
verification of parallel and distributed software systems. This book sets the standard for the …

Rewriting is a computational paradigm that specifies the actions, but not the control. We
introduce a hierarchical structure representing, at a high level of abstraction, a form of …

In this paper we analyze completeness results for basic narrowing. We show that basic
narrowing is not complete with respect to normalizable solutions for equational theories …

We relate two mechanisms which aim at the extension of logic programming languages. The
first mechanism directly extends syntactic unification through the introduction of a data type …