[The articles of this volume will not be indexed individually.]
This book consists of a set of papers dealing with current research questions and issues in declarative-based systems. It contains the twelve papers mentioned below which are the part of the results from a workshop on declarative-based systems sponsored by IFIP Working Group 10.1 in October, 1988 in Budapest. The papers are revisions and extensions to some of the presentations in the workshop. They are grouped into three broad areas; theory, parallel and distributed systems and applications of abstract models. The contents of the book are as follows:
Preface by G. David, R. T. Boute and B. D. Shriver.
Theory: “On the operational semantics of distributed concurrent systems” by P. Degano, R. de Nicola and U. Montanari; “A constructive specification theory” by L. Ury and T. Gergely; “Using lazy evaluation to find fixpoints in infinite domains” by C. Hall; “On the formal description of non-computational objects” by R. T. Boute.
Parallel and distributed systems: “The data diffusion machine and its data coherency protocols” by E. Hagersten, S. Haridi and D. H. D. Warren; “Data parallelism for declarative languages” by J. T. O’Donnell; “Evaluating declarative languages on a parallel graph reduction machine” by P. Watson and I. Watson; “SDP: Sequential, distributed logic programming” by A. Rahat, N. Francez and O. Shmueli.
Applications of abstract models: “Implementing Lisp and Prolog on a common abstract machine: a practical approach to combining functional and logic programming” by T. Ida, T. Matsuno and A. Nakamura; “Data dependency analysis of Prolog programs based on the theory of abstract interpretation” by H. Xia and W. K. Giloi; “Describing hardware algorithms in ruby” by M. Sheeran; “Logic and programming” by W. Bibel.
Problem book: “IFIP WG 10.1 problem book on declarative systems” by R. T. Boute, G. David and B. D. Shriver.