PROLOG-REQUEST@SU-SCORE.ARPA (Chuck Restivo, The Moderator) (10/23/86)
PROLOG Digest Friday, 24 Oct 1986 Volume 4 : Issue 60
Today's Topics:
Query - Parsing Code,
LP Library - Declarative Language Bibliography, Part D
----------------------------------------------------------------------
Date: 21 Oct 86 08:13:00 EDT
From: John Cugini <cugini@nbs-vms.ARPA>
Subject: parsing systems
In the C&M book, Chapter 9 has a nice treatment on how
to build a parsing system in Prolog, eg, by defining an
operator '-->' with the interpretation: 'generates in a
BNF grammar'. Thus one merely enters the grammar for
the language of interest, and the parsing is done
automatically.
Thank you in advance for anticipated generosity.
-- John Cugini
------------------------------
Subject: Part D
DA83a Da Silva J.G.D. & Watson I. A Pseudo Associative Store with
Hardware hashing Proc. IEE, Part E, 1983
DAM82a Damas L. & Milner R. Principal Type Schemes For Functional
Programs Proc. ACM Symposium on Principles of Programming Languages,
pp 207-212, 1982
DARL75a Darlington J. Application of Program Transformation to
Program Synthesis Proc of International Symposium on Proving and
Improving Programs, Arc et Senans, France 1975
DARL76a Darlington J. & Burstall R.M. A System that Automaticaly
Improves Programs Acta Informatica, Vol 6,p41-60
DARL77a Darlington J. Program Transformation and Synthesis Present
Capabilities Report 77/43 Dept of Computing, Imperial College (Also in
Artificial Intelligence Journal Vol 16, 1981) 1977
DARL79a Darlington J. A Synthesis of Several Sorting Algorithms Acta
Informatica, Vol 11, no 1 1979
DARL80a Darlington J. An Abstract Scheme For a Multiprocessor
Implementation of Applicative Languages Proc. of Joint SRC/Newcastle
Univ. Workshop on VLSI, Machine Architecture and Very High Level
Languages 1980
DARL80b Darlington J. Synthesis of Implementations For Abstract Data
Types Report 80/4 Dept of Computing, Imperial College 1980
DARL80c Darlington J. The Design of Efficient Data Representations
Dept of Computing, Imperial College 1980
DARL80d Darlington J. & Feather M. A Transformational Approach To
Modification Department of Computing, Imperial College, Research
Report 80/3 1980
DARL81a Darlington J. The Structured Description of Algorithm
Derivations To Appear in Amsterdam Conf. on Algorithms October 1981
DARL81b * Darlington J. & Reeve M. ALICE- A Multi-Processor Reduction
Machine for the Parallel Evaluation of Applicative Languages Proc of
1981 ACM Conf on Functional Programming Languages & Computer
Architecture
DARL82a Darlington J. & Henderson P. & Turner D.A. Functional
Programming and its Applications- An Advanced Course Cambridge
University Press 1982
DARL82b Darlington J. Program Transformation in DARL82a 1982
DARL83a * Darlington J. The New Programming:Functional & Logic
Languages Distributed Computing- A Review for Industry, SERC,
Manchester 1983
DARL83b * Darlington J. & Reeve M. ALICE- and the Parallel Evaluation
of Logic Programs Invited Paper, 10th Annual Int. Symposium on
Computer Architecture,1983
DARL83c * Darlington J. Unification of Logic and Functional Languages
Dept. of Computing, Imperial College, Date Unknown
DARL85a * Darlington J. & Field A.J. & Pull H. The Unification of
Functional and Logic Languages Department of Computing, Imperial
College Doc 85/3 February 1985
DARL86a * Darlington J. & Field A.J. & Pull H. The Unification of
Functional and Logic Languages in DEGR86a, pp 37-72 1986
DAVIE86a * Davie B.S. & Milne G.J. The Role of Behaviour in VLSI
Design Languages Department of Computer Science, University of
Edinburgh Internal Report CSR-199-86 July 1986
DAVIS78a Davis A.L. The Architecture and System Method of DDM1: A
Recursively Structured Data Driven Machine Proc. 5th Int. Symp on
Comp. Arch., pp 210-215 April 1978
DAWS?? * Dawson M. A LISP Compiler For ALICE Department of Computing,
Imperial College
DAYK84a * Daykin J.W. Inequalities For The Number Of Monotonic
Functions Of Partial Orders Theory Of Computation Report No 65 Dept of
Computer Science, University of Warwick March 1984
DEBE82a * Debenham J.K. & McGrath G.M. The Description In Logic Of
Large Commercial Data Bases : A Methodology Put To The Test
Australian Computer Science Communications, 5, pp 12-21 1982
DEBE83a * Debenham J.K. & McGrath G.M. LOFE : A Language For Virtual
Data Base The Australian Computer Journal, Vol 15, No 1, pp 2-8
February 1983
DEGR84a * DeGroot D. Restricted And-Parallelism Proc. Int. Conf. 5th
Generation Computer Systems, 1984, pp 471-478 1984
DEGR85a * DeGroot D. Alternate Graph Expressions for Restricted
And-Parallelism IEEE Spring Compcon 1985, pp 206-210 1985
DEGR85b * DeGroot D. & Chang J-H Une Comparison de Deux Modeles
d'Execution de Parallelisme "et" a Comparison of Two And-Parallel
Execution Models Hardware and Software Components and Architectures
for the 5th Generation, March 5-7 1985, pp 271-280 1985
DEGR86a * DeGroot D. & Lindstrom G. Logic Programming : Functions,
Relations, and Equations Prentice Hall 1986
DELI79a Deliyanni A. & Kowalski R.A. Logic and Semantic Networks CACM
Vol 22,No 3,p184-192
DELV85a * Delves L.M. & Mawdsley S.C. DAP-Algol: A Development System
for Parallel Algorithms Computer Journal, Vol 28, no 2, pp 148-153
1985
DEMB85a * Dembinski P. & Maluszynski J. And-Parallelism With
Intelligent Backtracking For Annotated Logic Programs 1985 IEEE
Symposium on Logic Programming, pp 29-38 1985
DENN75a Dennis J.B. & Misunas D.P. A Preliminary Architecture for a
Basic Dataflow Processor Proc. 2nd Annual Symposium on Computer
Architecture SIGARCH vol 3, no 4 , Jan 75, pp 126-132 1975
DENN77a * Dennis J.B. A Language Design for Structured Concurrency
Massachusetts Institue of Technology, Laboratory for Computer Science
Computation Structures Note 28-1 February 1977
DENN79a Dennis J.B. The Varieties of Data Flow Computers
Massachusetts Institue of Technology, Laboratory for Computer Science
Computation Structures Group, Memo 183 August 1979
DENN79b * Dennis J. & Weng K. An Abstract Implementation for
Concurrent Computation with Streams Massachusetts Institue of
Technology, Laboratory for Computer Science Computation Structures
Group Memo 180 also in Proceedings of the 1979 International
Conference on Parallel Processing, pp 35-45 July 1979
DERA85a * Deransart P. & Maluszynski J. Relating Logic Programs and
Attribute Grammars Research Report, LITH-IDA-R-85-08 Department of
Computer and Information Science, Linkoping University, Sweden April
1985
DERA86a * Deransart P. Some Ideas For Specifying Prolog Semantics
Quelques Idees Pour Une Specification De La Semantique De Prolog
PS/106 1986
DERA86b * Deransart P. & Ferrand G. An Operational Formal Definition
of Prolog A Note for the AFNOR-BSI Group on Prolog Normalization
PS/112 1986
DERA86c * Deransart P. & Ferrand G. Logic Programming Methodology and
Teaching PS/127 1986
DERS82a * Dershowitz N. Orderings for Term-Rewriting Systems
Theoretical Computer Science, 17, pp 279-301 1982
DERT84a Derthick M. Variations on the Boltzmann Machine Learning
Algorithm CMU-CS-84-120 Dept of Comp Sci, Carnegie-Mellon Univ August
1984
DETT85b * Dettmer R. A Declaration of Hope : The Promise of
Functional Programming IEE Electronics and Power, pp 819-823
November/December 1985
DETT86a * Dettmer R. Flagship A Fifth Generation Machine IEE
Electronics and Power, pp 203-208 March 1986
DEU76a Duetsch & Peter L. & Bobrow & Daniel G. An Efficient,
Incremental, Automatic Garbage Collector CACM Vol 19,no 9, pp 522-526,
1976
DIEL85a * Diel H. Types of Parallelism in Machine Architectures
Supporting Logic Programming IFIP TC-10 Working Conference on Fifth
Generation Computer Architecture, UMIST, Manchester July 15-18 1985
DIET85a * Dietrich R. Relating Resolution and Algebraic Completion
for Horn Logic Arbeitspapiere der GMD 177 Gesellschaft Fur Mathematik
und Datenverarbeitung MBH November 1985
DIJK82a Dijkstra E.W. Lambek and Moser Revisited in BROY82a, pp 19-22
1982
DIJK82b Dijkstra E.W. Repaying our Debts in BROY82a, pp 135-141 1982
DIJK82c Dijkstra E.W. A Tutorial on the Split Binary Semaphore in
BROY82a, pp 555-564 1982
DIJK85a Dijkstra E.W. Invariance and Non-Determinacy in HOA85a 1985
DISS86a * Diss M. The Use Of OBJ In Protocol Specifications presented
at The Alvey SIG FM One Day Colloquium On The Specification Language
OBJ And Applications, Imperial College Friday, 18th April, 1986
DODD85a * Dodd A. Minutes of the Prolog-2 Standardisation
Sub-Committee on Built-In Predicates held on June 17th 1985 PS/55, 2
pages June 1985
DODD85b * Dodd A. Minutes of the Meeting of the Prolog-2
Standardisation Sub-Committee on Built-In Predicates, held on Friday
27th September 1985 PS/76, 2 pages October 1985
DODD85c * Dodd A. Arithmetic for the Prolog Standard First Draft
PS/90, 6 pages December 1985
DOMO83a * Domolki B. & Szeredi P. Prolog in Practice Information
Processing 1983, Paris, pp 627-636 also in MPROLOG Collection of
Papers on Logic Programming, November 1984
DONA85a * Donahue J. & Demers A. Data Types Are Values ACM
Transactions on Programming Languages and Systems, vol 7, no 3 pp
426-445 July 1985
DOOR85a * Doores J.W. Module Facilties in ICL Prolog ICL, undated, 2
pages PS/47 c. June 1985
DOWL84a * Dowling W. & Gallier J.H. Linear-Time Algorithms For
Testing The Satisfiability Of Propositional Horn Formulae Journal of
Logic Programming, Vol 1, No 3, pp 267 - 284 October 1984
DOWN76a Downey P.J. & Sethi R. Correct Computation Rules For
Recursive Languages SIAM Journal of Computing 5(3), pp 378-401,
September 1976
DRAB85a * Drabent W. An Experiment with Domain Construction for
Denotational Semantics Research Report, LOGPRO, LITH-IDA-R-85-17
Department of Computer and Information Science, Linkoping University,
Sweden December 1985
DRAB86a * Drabent W. & Maluszynski J. Proving Run-Time Properties of
Logic Programs Research Report, LOGPROG, LITH-IDA-86-23 Department of
Computer and Information Science, Linkoping University, Sweden July
1986
DUCE84a * ed. Duce D.A. Distributed Computing Systems Programme IEE
Digital Electronics and Computing Series no 5 Peter Peregrinus Ltd.,
1984
DUCE86a * Duce D. Experience of Specifying Graphics Software With OBJ
presented at The Alvey SIG FM One Day Colloquium On The Specification
Language OBJ And Applications Friday, 18th April, 1986
DUCK85a * Duckworth R.J. & Brailsford D.F. & Harrison L. A Structured
Data Flow Computer Internal Report, Comp Sci Group, Univ of Nottingham
October 14, 1985
DYBJ83a * Dybjer P. Semantics And Specification - A Short
Introduction Declarative Programming Workshop, University College
London pp 140-145 11-13th April 1983
DYBJ83b * Dybjer P. Algebraic Models Of Functional Languages
Declarative Programming Workshop, University College London pp 146-184
11-13th April 1983
------------------------------
End of PROLOG Digest
********************