PROLOG-REQUEST@SU-SCORE.ARPA (Chuck Restivo, The Moderator) (11/05/86)
PROLOG Digest Wednesday, 5 Nov 1986 Volume 4 : Issue 65 Today's Topics: LP Library - Declarative Language Bibliography, Part J ---------------------------------------------------------------------- Date: Tuesday, 4 NOV 86 17:07:30 MDT From: Lauren Smith <ls%f@LANL.ARPA> Subject: Part J JAFF84a Jaffar J. & Lassez J.-L. & Maher M.J. A Theory of Complete Logic Programs With Equality Journal of Logic Programming, Vol 1, No 3, pp 211-224 October 1984 JAFF86a Jaffar J. & Lassez J.-L. & Maher M.J. A Logic Programming Language Scheme in DEGR86a, pp 441-468 1986 JARO86a Jarosz J. & Jawarowski J.R. Computer Tree - The Power of Parallel Computations Computer Journal, Vol 29, No 2, pp 103-108 April 1986 JAYA80a Jayaraman B. & Keller R.M. Resource Control in a Demand-Driven Data-Flow Model In Proc. International Conf. on Parallel Processing, IEEE pp 118-127 August 1980 JAYA82a Jayaraman B. & Keller R.M. Resource Expressions For Applicative Languages International Conf. on Parallel Processing, IEEE pp 160-167 (ed Batcher et al) August 1982 JEFF85a Jeffrey T. The "mu"PD7281 Processor Byte Magazine, Vol 10, no 12, November 1985 JESS86a Jesshope C. VLSI and Beyond in BCS86a 1986 JESS86b Jesshope C. The Transputer - Microprocessor or Systems Building Block in BCS86a 1986 JOHN77a Johnson S.D. An Interpretive Model For A Language Based On Suspended Construction M.S. Thesis, Indiana Univ, Bloomington, In. 1977 JOHN81a Johnsson T. Detecting When Call By Value can be Used Instead of Call By Need LPM Memo 14, Chalmers Inst., Sweden October 1981 JOHN83a Johnsson T. The G-Machine. An Abstract Machine for Graph Reduction Declarative Programming Workshop , University College London pp 1-20 11-13th April 1983 JOHN86a Johnsson T. Attribute Grammars and Functional Programming 86-02-20 JONE82a Jones N.D. & Muchnick S.S. A Fixed-Program Machine for Combinator Expression Evaluation Proc. of ACM LISP Conf 1982 p11-20 JONE83a Jones S.B. Abstract Machine Support For Purely Functional Operating Systems Technical Monograph PRG-34, Programming Research Group, Oxford Univ. August 1983 JONE83b Jones N.D. & Mycroft A. Stepwise Development Of Operational And Denotational Semantics For Prolog Draft Version 27 April 1983 JONE84a Jones S.B. Abstract Machine Support For Purely Functional Operating Systems Project Report TR.15 Department of Computing Science, University of Stirling September 1984 JONE84a Jones S.B. A Range of Operating Systems Written In A Purely Functional Style Project Report TR.16 Department of Computing Science, University of Stirling September 1984 JONK81a Jonkers H.B.M. Abstract Storage Structures Mathematisch Centrum iw 158/81 1981 JOUA85a ed. Jouannaud J.-P. Functional Programming Languages and Computer Architecture Proceedings Nancy, France, September 1985 Lecture Notes in Computer Science, Vol 201 Springer Verlag 1985 JULI82a Julien S. Graphics in Micro-Prolog Research Report 82/17 Department of Computing, Imperial College September 1982 ------------------------------ End of PROLOG Digest ********************