Declarative systems : proceedings of the IFIP TC-10/WG 10.1 Workshop on Concepts and Characteristics of Declarative Systems, Budapest, Hungary, 16-20 October, 1988
Ifip Tc, Gábor Dávid, Raymond D. Boute, Bruce D. Shriver · Elsevier eBooks · 1990
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).