Declarative Systems 1988
Workshop Proceedings
Published in January 1990
Book
Hardback
332 pages
978-0-444-88431-2 (ISBN)
Description
These research papers explore how declarative-based concepts could be used to specify, design, analyze and implement complex distributed systems. Theoreticians, language and system designers and implementors, and computer architects attended the workshop on which this book is based. Their papers have been revised and extended, and grouped here into three broad areas, namely theory, parallel and distributed systems, and applications of abstract models. Some of the problems discussed are: - formulating rigorous semantics for declarative languages - developing methods for combining imperative and declarative language paradigms - optimizing distributed unification - designing architectures that perform well on both fine grain and coarse grain parallelism, adaptively.
These research papers explore how declarative-based concepts could be used to specify, design, analyze and implement complex distributed systems. Theoreticians, language and system designers and implementors, and computer architects attended the workshop on which this book is based. Their papers have been revised and extended, and grouped here into three broad areas, namely theory, parallel and distributed systems, and applications of abstract models. Some of the problems discussed are: - formulating rigorous semantics for declarative languages - developing methods for combining imperative and declarative language paradigms - optimizing distributed unification - designing architectures that perform well on both fine grain and coarse grain parallelism, adaptively.
These research papers explore how declarative-based concepts could be used to specify, design, analyze and implement complex distributed systems. Theoreticians, language and system designers and implementors, and computer architects attended the workshop on which this book is based. Their papers have been revised and extended, and grouped here into three broad areas, namely theory, parallel and distributed systems, and applications of abstract models. Some of the problems discussed are: - formulating rigorous semantics for declarative languages - developing methods for combining imperative and declarative language paradigms - optimizing distributed unification - designing architectures that perform well on both fine grain and coarse grain parallelism, adaptively.
More details
Language
English
Place of publication
Oxford
United Kingdom
Publishing group
Elsevier Science & Technology
Target group
College/higher education
Professional and scholarly
Illustrations
Illustrations
Dimensions
Height: 230 mm
ISBN-13
978-0-444-88431-2 (9780444884312)
Copyright in bibliographic data is held by Nielsen Book Services Limited or its licensors: all rights reserved.
Schweitzer Classification
Content
Theory. On the Operational Semantics of Distributed Concurrent Systems (P. Degano, R. de Nicola, U. Montanari). A Constructive Specification Theory (L. Ury, T. Gergely). Using Lazy Evaluation to Find Fixpoints in Infinite Domains (C. Hall). On the Formal Description of Non-Computational Objects (R.T. Boute). Parallel and Distributed Systems. The Data Diffusion Machine and its Data Coherency Protocols (E. Hagersten, S. Haridi, D.H.D. Warren). Data Parallelism for Declarative Languages (J.T. O'Donnell). Evaluating Declarative Languages on a Parallel Graph Reduction Machine (P. Watson, I. Watson). SDP: Sequential, Distributed Logic Programming (A. Rahat, N. Francez, O. Shmueli). Applications of Abstract Models. Implementing Lisp and Prolog on a Common Abstract Machine: A Practical Approach to Combining Functional and Logic Programming (T. Ida, T. Matsuno, A. Nakamura). Data Dependency Analysis of Prolog Programs Based on the Theory of Abstract Interpretation (H. Xia, W.K. Giloi). Describing Hardware Algorithms in Ruby (M. Sheeran). Logic and Programming (W. Bibel). Problem Book. IFIP WG 10.1 Problem Book on Declarative Systems (R.T. Boute, G. David, B.D. Shriver).