PROLOG-REQUEST@SU-SCORE.ARPA (Chuck Restivo, The Moderator) (11/13/86)
PROLOG Digest Friday, 14 Nov 1986 Volume 4 : Issue 72
Today's Topics:
LP Library - Lauren Smith's Bibliography, Part S
----------------------------------------------------------------------
Date: Wed 12 Nov 86 19:05:29-PST
From: Chuck Restivo <Restivo@Score.Stanford.EDU>
Subject: Lauren Smith's Bibliography, Part S
SAIN84a *
Saint-James E.
Recursion is More Efficient than Iteration
Proceedings of 1984 ACM Symposium on Lisp and Functional
Programming
Austin, Texas
pp 228-234
1984
SAKA83a *
Sakai K. & Miyachi T.
Incorporating Native Negation into PROLOG
( Also in "Proceedings of RIMS Symposia on Software
Science and Engineering",
1984, Springer-Verlag )
( Also in "Proceedings of Logic and Conference", Monash
Univ., 1984 )
ICOT Research center, Technical Report TR-028
October 1983
SAKA84a
Sakai K.
An Ordering for Term Rewriting System
ICOT Research Center, Technical Report TR-062
April 1984
SAKA84b
Sakai H. & Iwata K. & Kamiya S. & Abe K. & Tanaka T. &
Shibayama S & Murukami K.
Design and Implementation of the Relational Database
Engine
( Also in "Proceedings of FGCS 84", Tokyo, 1984 )
ICOT Research Center, Technical Report TR-063
April 1984
SAKA85a
Sakai T.
Intelligent Sensor
Preface for New Generation Computing Vol 3 No 4, 1985,
pp 339-340
1985
SAME84a
Samet H.
The Quadtree and Related Hierarchial Data Structures
ACM Comp. Surveys Vol16, No 2, June 1984,p187-260
SAMM83a *
Sammut R.A. & Sammut C.A.
Prolog : A Tutorial Introduction
The Australian Computer Journal, Vol 15, No 2, pp 42-51
May 1983
SANN84a *
Sannella D. & Tarlecki A.
On Observational Equivalence and Algebraic Specification
Department of Computer Science, University of Edinburgh
Internal Report CSR-172-84
December 1984
SANN85a *
Sannella D. & Tarlecki A.
Specifications in an Arbitrary Institution
Department of Computer Science, University of Edinburgh
Internal Report CSR-184-85
March 1985
SARA85a
Saraswat V.J.
Partial Correctness Semantics for CP[^,|,&]
Fifth FSTTCS Conference, New Delhi, December 1985
pp 347-368
Springer Verlag LNCS Vol 206
1985
SARA85b *
Saraswat V.A.
Concurrent Logic Programming Languages
Thesis Proposal
1 November 1985
SARA86a *
Saraswat V.A.
Problems With Concurrent Prolog
CMU-CS-86-100
Department of Computer Science, Carnegie - Mellon
University
May 1985
Revised January 1986
SARG82a
Sargeant J.
Implementation of Structured LUCID on a Data Flow
Computer
MSc Thesis, Dept of Comp Sci, Univ. of Manchester,
October 1982
SATO83a *
Sato M. & Sakurai T.
Qute: A Prolog/Lisp Type Language for Logic
Programming ( Also in "Proceedings of 8th IJCAI",
Karlsluhe, 1983 ) ICOT Research center, Technical
Report TR-016
August 1983
SATO84a
Sato M. & Sakurai T.
Qute Users Manual
Dept. of Information Science, Faculty of Science,
University of Tokyo
SATO84b *
Sato T. & Tamaki H.
Enumeration of Success Patterns In Logic Programs
Theoretical Computer Science, pp 227-240
1984
SATO85a *
Satoh K.
An Implementation Of Abstract Sequential PARLOG
Machine
Artificial Intelligence Laboratory, Fujitsu
Laboratories
3rd September 1985
SATO86a *
Sato M. & Sakurai T.
QUTE : A Functional Language Based on Unification
in DEGR86a, pp 131-156
1986
SCHL84a *
Schlag M.
Extracting Geometry From FP For VLSI Layout
Department of Computer Science, UCLA
Report No CSD-840043
October 1984
SCHM78a
Schmitz L.
An Exercise in Program Synthesis: Algorithms For
Computing The Transitive Closure of A Relation
Internal Report, Hochschule der Bundeswehr, Munich
1978
SCHM85a *
Scmittgen C. & Gerdts A. & Haumann & Kluge W. &
Woitass
A System-Supported Workload Balancing Scheme for
Cooperating Reduction Machines
GMD Tech Rep
June 1985
SCHM85b *
Schmittgen C.
A Data Type Architecture for Reduction Machines
GMD 152
May 1985
SCHM85c *
Schmidt D.A.
Detecting Global Variables in Denotational
Specifications
ACM Transactions on Programming Languages and Systems,
Vol 7, no 2
pp 299-310
April 1985
SCHN82a *
eds. Schnolze J.G. & Brachman R.J.
Proceedings of the 1981 KL-ONE Workshop
Fairchild Laboratory for Artificial Intelligence
Research
Fairchild Technical Report No. 618
FLAIR Technical Report No. 4
May 1982
SCHWA76a *
Scwartz J.
Event Based Reasoning - A System For Proving Correct
Termination of Prorgams
Proceedings 3rd International Colloquium on Automata
Languages and Programming
pp 131-146
Edinburgh University Press, 1976
SCHWA77a *
Schwartz J.
Using Annotations To Make Recursion Equations Behave
Report No 43, Dept of A.I., Univ of Edinburgh
September 1977
SCHWE84a
Schweppe H.
Some Comments on Sequential Disk Cache Management
for Knowledge Base Systems
ICOT Research Center, Technical Report TR-040
January 1984
SCOT70a
Scott D.S.
Outline of Mathematical Theory of Computation
Oxford University Programming Research Group
Tech Monograph no 2
1970
SCOT71a
Scott D. & Strachey C.
Towards a Mathematical Semantics for Computer
Languages
1971 Symposium on Computers and Automata
Microwave Research Institute Proceedings, Vol 21
Polytechnic Institute of Brooklyn
1972
SCOT76a
Scott D.S.
Data Types as Lattices
SIAM J.L. Computing 5, pp 522-587
1976
SCOT81a *
Scott D.
Lectures on a Mathematical Theory of Computation
Technical Monograph PRG-19
Oxford University, Computing Laboratory, Programming
Research Group
May 1981
SCOT82a
Scott D.
Domains for Denotational Semantics
Automata, Languages and Programming, Proc 10th Int.
Colloq.
(ed. Nielsen M. & Schmidt E.M.)
Springer Verlag LNCS no 140, pp 577-613
1982
SCOT82b
Scott D.S.
Lectures on a Mathematical Theory of Computation
in BROY82a, pp 145-292
1982
SCOW85a *
Scowen R.S. & O'Keefe R.A.
A Comparison of Prolog Implementations
BSI Prolog Standardization PS/36
May 1985
SCOW85b *
Scowen R.S.
A Syntax for Describing Prolog Standard Predicates
NPL
PS/54, 2 pages
July 1985
SCOW85c *
Scowen R.S.
Draft Minutes of Prolog Standardisation Meeting
6 June 1985
PS/69
1985
SCOW85d *
Scowen R.S.
Address List for BSI Prolog Panel OIS/5/-/14
NPL, 20 January 1986
PS/79
9th December 1985
SCOW85e *
Scowen R.S.
Draft Minutes of Prolog Standardization Meeting,
5 December 1985
PS/83
1985
SCOW86a *
Scowen R.S.
Document Register and References
PS/66
16 January 1986
SCOW86b *
Scowen R.S.
Draft Minutes of BSI Prolog Standardization Meeting,
5th June 1986
PS/118
1986
SCOW86c *
Scowen R.S.
Document Register and References
15 pages
4 July 1986
SEIT85a
Seitz C.L.
The Cosmic Cube
CACM Vol 28, no 1, January 1985
SERG82a
Sergot M.
A Query-the-User Facility for Logic Programming
Research Report 82/18
Department of Computing, Imperial College
October 1982
SERG82b
Sergot M.
A Query-the-User Facility for Logic Programming
Proc. ECICS, Stresa, Italy, (eds. P. Degano & E.
Sandwall)
pp 27-41, 1982
North Holland
SERG86a
Sergot M. & Vasey P.
Qualified Answers, Open Worlds and Negation
submitted to Third International Symposium on Logic
Programming
Salt Lake City, USA
1986
SERG86b *
Sergot M.J. & Sadri F. & Kowalski R.A. & Kriwaczek F.
& Hammond P. & Cory H.T.
The British Nationality Act As A logic Program
CACM, Vol 29, No 5, pp 370 - 386
May 1986
SHAN85a *
Shanahan M.
An Alternative Implementation Model For Logic Languages
Computer Laboratory, University of Cambridge
May 1985
SHAN85b *
Shanahan M.
The Execution of Logic Programs Considered as the
Reduction of Set Expressions
Computer Laboratory, University of Cambridge
October 1985
SHAR85a
Sharp J.A.
Data Flow Computing
Ellis Horwood, March 1985
SHAP83a *
Shapiro E.Y.
A Subset Concurrent Prolog and its Interpreter, 2nd
Version
ICOT Research Center, Technical Report TR-003
January 1983
SHAP83b *
Shapiro E.Y. & Takeuchi A.
Object Oriented Programming in Concurrent Prolog
( Also in New Generation Computing, Springer Verlag,
Vol 1, No 1, 1983 )
ICOT Research Center, Technical Report TR-004
April 1983
SHAP83c *
Systems Progamming in Concurrent Prolog
( Also in "Proceedings of the 11th Annual ACM
Symposium on Principles of Programming Languages" )
ICOT Research Center, Technical Report TR-034
November 1983
SHAP83d *
Shapiro E.
Lecture Notes on the Bagel: A Systolic Concurrent
Prolog Machine
ICOT Research Center, Technical Memorandum TM-0031
November 1983
SHAP83e *
Shapiro E.Y.
Logic Programs with Uncertainties: A Tool for
Implementing Rule-Based Systems
Proceedings of the International Joint Conference
on Artificial Intelligence, (IJCAI 83), Karlsruhe,
Germany pp 529-532
1983
SHAP84a *
Shapiro E. & Mierowsky C.
Fair, Biased, and Self-Balancing Merge Operators :
Their Specification and Implementation in Concurrent
Prolog
CS84-07
Dept of Applied Mathematics, Weizmann Institute of
Science, Israel
1984
SHAP84b *
Shapiro E.Y.
Alternation and the Computational Complexity of Logic
Programs
CS84-06
Dept of Applied Mathematics, Weizmann Institute of
Science, Israel
January 1984
SHAP84c *
Shapiro E. & Mierowsky C.
Fair, Biased, and Slef-Balancing Merge Operators :
Their Specification and Implementing in Concurrent
Prolog New Generation Computing, Vol 2, No 3, pp
221-240 1984
SHAP86a *
ed. Shapiro E.
Proceedings of Third International Conference on
Logic Programming
Imperial College, London, July 1986
Lecture Notes in Computer Science, Vol 225
Springer Verlag
1986
SHAP86b *
Shapiro E.
Concurrent Prolog : A Progress Report
IEEE Computer, Vol 19, No 8, pp 44-58
August 1986
SHAW85a *
Shaw D.E. & Sabety T.M.
The Multiple-Processor PPS Chip of the NON-VON 3
Supercomputer Integration, the VLSI Journal, 3,
pp 161-174
1985
SHEI83a *
Sheil B.
Family of Personal Lisp Machines Speeds AI Program
Development
Electronics, November 3, 1983, pp 153-156
1983
SHIB82a
Shibayama S. & Kakuta T. & Miyazaki N. & Yokota H.
& Murukami K.
A Relational Database Machine "Delta"
ICOT Research Center, Technical Memorandum TM-0002
November 1982
SHIB84a
Shibayama S. & Kakuta T. & Miyazaki N. & Yokota H.
& Murakami K.
A Relational Database Machine with Large Semiconductor
Disk and Hardware
Relational Algebra Processor
( Also in New Generation Computing, Vol 2, No 2, 1984 )
ICOT Research Center, Technical Report TR-053
March 1984
SHIB84b
Shibayama S. & Kakuta T. & Miyazaki N. & Yokota H.
& Murukami K.
Query Processing Flow on RDBM Delta's Functionally
- Distributed Architecture
ICOT Research Center, Technical Report TR-064
April 1984
SHIB85a *
Shibayama S. & Iwata K. & Sakai H.
A Knowledge Base Architecture and its Experimental
Hardware
IFIP TC-10 Working Conference on Fifth Generation
Computer Architecture,
UMIST, Manchester
July 15-18 1985
SHIEB84a *
Shieber S.M. & Karttunen L. & Pereira F.C.N.
Notes From The Unfication Underground: A Compilation
Of papers On Unfication-Based Grammar Formalisms
SRI Technical Note 327
June 1984
SHIEL85a *
Shields M.W.
Concurrent Machines
Computer Journal, Vol 28, no 5, pp 449-465
1985
SHIM83a
Shimizu H.
GP-PRO Graphic Display Control Library Written in
Prolog
ICOT Research Center, Technical Memorandum TM-0025
August 1985
SHIP81a
Shipman D.W.
The functional data model and the data language DAPLEX
ACM TODS 6(1) p140-173 1981
SHMU85a *
Shmueli O. & Tsur S. & Zfira H. & Ever-Hadani R.
Dynamic Rule Support in Prolog
(Extended Abstract)
IFIP TC-10 Working Conference on Fifth Generation
Computer Architecture,
UMIST, Manchester
July 15-18 1985
SHOH85a
Shoham Y.
Ten Requirements for a Theory of Change
New Generation Computing, Vol 3, No 4, pp 467-477
1985
SICK82a
Sickel S.
Specification and Derivation of Programs
in BROY82a, pp 103-132
1982
SILV86a *
Silverman W. & Hirsch M. & Houri A. & Shapiro E.
The Logix System User Manual Version 1.21
Draft
Last Revision July 6, 1986
to appear as technical report CS-21
Department of Computer Science,
The Weizmann Insitute of Science, Rehovot, Israel
1986
SIVI85a *
Sivilotti M. & Emerling M. & Mead C.
A Novel Associative Memory Implemented Using Collective
Computation
1985 Chapel Hill Conference on VLSI, pp 329-342
1985
SLEE80a
Sleep M.R.
Applicative Languages, Dataflow and Pure Combinatory
Code
Proc IEEE Compcon 80, pp 112-115
February 1980
SLEE82a *
Sleep M.R. & Holmstrom S.
A Short Concerning Lazy Reduction Rules of Append
Document, Computer Studies Centre, University of
East Anglia,May 1982
SLEE83a *
Sleep M.R.
Novel Architectures
Distributed Computing- A Review for Industry, SERC,
Manchester 1983
SLEE84
Sleep M.R. and Kennaway J.R.
The Zero Assignment Parallel Processor (ZAPP)
Project
in DUCE84
1984
SLEE86a *
Sleep M.R.
Directions in Parallel Architecture
in BCS86a
1986
SLOM82a
Sloman M.S.
The CONIC Communication System For Distributed
Process Control
Research Report 82/8
Department of Computing, Imperial College
October 1982
SLOM82b
Sloman M.S. & Magee J. & Kramer J. & Twiddle K.
Network Management Facilities in CONIC
Research Report 82/14
Department of Computing, Imperial College
September 1982
SLOM83a *
Sloman A. & Hardy S.
Poplog : A Multi-Purpose Multi-Language Program
Development Environment
AISB Quarterly, vol 47, pp 26-34
1983
SMIT85a *
Smithers T.
The Alvey Large Scale Demonstrator Project "Design
To Product"
DTOP/EXT/EDAI/05/1
Department of Artificial Intelligence, University
of Edinburgh
IKBS/MS 7/86 3.2, distributed with Alvey IKBS mailshot
July 1986
1985
SMOL86a *
Smolka G.
FRESH : A Higher-Order Language Based on Unfication
in DEGR86a, pp 469-524
1986
SMYT?? *
Smyth M.B.
Effectively Given Domains
(Revised Version)
Theory of Computation Report No 9
Dept of Computer Science, University of Warwick
SMYT76a *
Smyth M.B.
Powerdomains
Theory of Computation Report No 12
Dept of Computer Science, University of Warwick
May 1976
SMYT76a *
Smyth M.B.
Category-Theoretic Solution Of Recursive Domain
Equations
Theory of Computation Report No 14
Dept of Computer Science, University of Warwick
July 1976
SMYT78a *
Smyth M.B.
Power Domains
Journal of Computer and System Sciences, Vol 16,
pp 23-36
1978
SMYT82a *
Smyth M.B.
The Category-Theoretic Solution Of Recursive Domain
Equations
SIAM Journal Of Computing, Vol 11, No 4
pp 761-783
November 1982
SNYD79
Snyder A.
A Machine Architecture to Support an Object-Oriented
Language
MIT Laboratory for Computer Science, MIT/LCS/TR-209,
March 1979
SOHM85a *
Sohma Y. & Satoh K. & Kumon K. & Masuzawa H. & Itashiki A.
A New Parallel Inference Mechanism Based on Sequential
Processing IFIP TC-10 Working Conference on Fifth
Generation Computer Architecture
UMIST, Manchester
July 15-18 1985
SOLE85a
Soley M.S.
Generic Software for Emulating Multiprocessor
Architectures
Draft of MSc Thesis to be submitted May 1985
SOUT85a *
Souter J.
The Organisation of BSI Prolog Panel, and a
Classification of Relevant Documents
PS/87, 1 page
5th December 1985
SPEC82a *
Spector D.
Minimal Overhead Garbage Collection Of Complex List
Structure
ACM Sigplan Notices, Vol 17, No 3, pp 80-82
1982
SPIV84a
Spivey Mike
University of York Portable Prolog System Users Guide
University of York 1984
SPIV84a *
Spivey M. Towards a Formal Semantics For The Z
Notation
Technical Monograph PRG-41
Programming Research Group
Oxford University Computer Laboratory
October 1984
SRID84a *
Sridharan N.S.
A Semi-Applicative Language for Artificial Intelligence
Programming
Artificial Intelligence Department, BBN Labs, U.S.A.
Rough Draft
21 November 1984
SRIN86a *
Srini V.P.
An Architectural Comparison of Dataflow Systems
IEEE Computer, March 1986, pp 68-88
1986
STAL85a *
Stallard R.P.
Occam - A Brief Introduction
Occam - The Loughborough Implmentation
Computer Studies Laboratory Report
Dept of Computer Studies, Loughborough University of
Technology.
November 1985
STAM85a*
Stammers R.A.
Report to the Alvey Directorate on a Short Survey of The
Industrial Applications of Logic and Functional Programming
in the United Kingdom and United States
27 August 1985
STAP77a *
Staples J.
A Class of Replacement Systems With Simple Optimality
Theory
Bull. Aust. Math. Soc., Vol 17, pp335-350
1977
STAP80a
Staples J.
Computation on Graph-Like Expressions
Th. Comp. Sci., Vol 10, pp 171-185
1980
STAP80b
Staples J.
Optimal Evaluations Of Graph-Like Expressions
Th. Comp. Sci., Vol 10, pp 297-316
1980
STAR84a *
Stark W.R.
A Glimpse Into The Paradise of Combinatory Algebra
International Journal of Computer and Information
Sciences
Vol 13, No 3, pp 219-236
1984
STAV86a *
Stavridou V.
Introduction To OBJ
presented at The Alvey SIG FM One Day Colloquium on
The Specification
Language OBJ And Applications, Imperial College
Friday, 18th April, 1986
STEE76
Steele G.L.Jr. & Sussman G.J.
LAMBDA: The Ultimate Imperative
AI Memo no 353
Artificial Intelligence Laboratory, MIT
1976
STEE77a
Steele G.L.Jr.
Compiler Optimization Based on Viewing LAMBDA as
Rename Plus Goto
S.M. Thesis, MIT EE&CS, Cambridge.
Published as RABBIT: A Compiler for SCHEME (A Study
in Compiler Optimization),
AI TR 474, MIT Lab, Cambridge
STEE77b
Steele G.L.Jr.
Debunking The 'Expensive Procedure Call' Myth
Proc. ACM National Conference, pp 153-162, 1962
Also revised as AI Memo 443, MIT Lab, Cambridge
STEE78
Steele G.L.Jr. & Sussman G.J.
The Art Of The Interpreter; or, The Modularity Complex
(parts zero,one and two)
AI Memo 453, MIT AI Lab, Cambridge, 1978
STEE79a
Steele G.L.Jr. & Sussman G.J.
Design of LISP-Based Processors; or, SCHEME: A
Dielectric LISP; or, Finite Memories Considered Harmful;
of, LAMBDA The Ultimate Opcode
AI Memo 514, MIT AI Lab, Cambridge, 1979
Summarized in CACM 23 no 11, pp 629-645
STEE79b
Steele G.L.Jr. & Sussman G.J.
The Dream Of A Lifetime: A Lazy Scoping Mechanism
AI Memo 527, MIT Lab, Cambridge, 1979
STEE81a
Steel B.D.
EXPERT - The Implementation of a Data-Independent
Expert System With Quasi-Natural Language Information
Input
Department of Computing, Imperial College, M.Sc Thesis
81/23
August 1981
STEPA84a *
Stepankova O. & Stepanek P.
Transformations of Logic Programs
Journal of Logic Programming, Vol 1, No 4, pp 305-318
December 1984
STEPH86a *
Stephenson B.K.
Computer Architectures for Image Processing
in BCS86a
1986
STER84a *
Sterling L.
Logical Levels Of Problem Solving
Journal of Logic Programming, Vol 1, No 2, pp 151-164
August 1984
STIC82a *
Stickel M.E.
A Nonclausal Connection-Graph Resolution Theorem-Proving
Program
SRI International technical Note 268
October 1982
STIR85a
Stirling C.
Modal Logics for Communicating Systems
Internal report, CSR-193-85
Department of Computer Science, University of Edinburgh
October 1985
STIR86a *
A Compositional Reformulation of Owicki-Gries's Partial
Correctness Logic For A Concurrent While Language
To appear in ICALP 1986
1986
STOL85a *
Stolfo S.J. & Miranker D.M. & Mills R.C.
A Simple Preprocessing Scheme to Extract and Balance
Implicit Parallelism in the Concurrent Match of Production
Rules
Columbia University, New York, U.S.A.
April 16, 1985
IFIP TC-10 Working Conference on Fifth Generation Computer
Architecture,
UMIST, Manchester
July 15-18 1986
STOY77a
Stoy J.E.
Denotational Semantics: The Scott-Strachey Approach to
Programming Language
Theory
MIT Press, Cambridge Massachusetts
1977
STOY82a
Stoy J.
Some Mathematical Aspects Of Functional Programming
in DARL82a
1982
STOY82b
Stoy J.E.
Semantic Models
in BROY82a, pp 293-324
1982
STOY83a *
Stoye W.
The SKIM Microprogrammer's Guide
Computer Laboratory, University of Cambridge
Technical Report no 40
October 1983
STOYE84a *
Stoye W.
A New Scheme for Writing Functional Operating Systems
Computer Laboratory, University of Cambridge
Technical Report no 56
1984
STOYE84b *
Stoye W.R. & Clarke T.J.W. & Norman A.C.
Some Practical Methods for Rapid Combinator Reduction
Proceedings of 1984 ACM Symposium on Lisp and Functional
Programming
Austin, Texas
pp 159-166
1984
SUBR?? *
Subrahmanyam P.A. & You J-H.
Pattern Driven Lazy Reduction : A Unifying Evaluation
Mechanism for Functional and Logic Programs
11th ACM Symposium on Principles of Programming Languages
SUBR86a *
Subrahmanyam P.A. & You J.-H.
FUNLOG : A Computational Model Integrating Logic
Programming and Functional Programming
in DEGR86a, pp 157-200
1986
SUGIE85a *
Sugie M. & Yoneyama M. & Sakabe T. & Iwasaki M. &
Yoshizumi S. & Aso M. & Onai R.
Hardware Simulator of Reduction-Based Parallel Inference
Machine : PIM-R
in WADA86a, pp 13-24
1985
SUGIY83a
Sugiyama K. & Kameda M. & Akiyama K. & Makinouchi A.
A Knowledge Representation System in Prolog
ICOT Research Center, Technical Report TR-024
August 1983
SUGIY84a
Sugimoto M. & Kato H. & Yoshida H.
Design Concept for a Software Development Consultation
System
( Also in Second Japanese Swedish Workshop on Logic
Programming and Functional Programming, Uppsala, 1984 )
ICOT Research Center, Technical Report TR-071
August 1984
SUGIY85a *
Sugiyai I. & Ishikawa K.
Knowledge Realization and Transformation in KRISP
in WADA86a, pp 299-311
1985
SUNA85a *
Sunahara H. & Tokoro M.
On The Working Set Concept for Data-Flow Machines :
Policies and Their Evaluations
IFIP TC-10 Working Conference on Fifth Generation
Computer Architecture,
UMIST, Manchester
July 15-18 1985
SUSS75a
Sussman G.J. & Steele G.L.Jr.
SCHEME: An Interpreter for Extended Lambda Calculus
AI Memo 349, MIT AI Lab, Cambridge, 1975
SUSS82a
Sussman G.J.
LISP, Programming and Implementation
in DARL82a
1982
SUZU82a
Suzuki N. & Kurihara K. & Tanaka H. & Moto-oka T.
Procedure Level Data Flow Processing on Dynamic
Structure Multimicroprocessors
Journal of Information Processing Vol 5, No. 1
p11-16 March, 1982
SUZU82b
Suzuki N.
Experience with Specification and Verification of
Hardware using PROLOG Document,
Presented at Working Conference on VLSI Engineering,
Oct 1982
SUZU84a
Suzuki H.
MAID: A Man-Machine Interface for Domestic Affairs
ICOT Research Center, Technical Memorandum TM-0058
April 1984
SUZU85a *
Suzuki H. & Kiyono M. & Kougo S. & Takahashi M.
& Motoike S. & Niki T.
A Travel Consulatation System : Towards a Smooth
Conversation
in Japanese
in WADA86a, pp 226-235
1985
SVAN84a *
Svanaes D. & Aas E.J.
Test Generation Through Logic Programming
Integration, The VLSI Journal, 2, pp 49-67
1984
SYRE77a
Syre J.C. et al
Pipelining, Parallelism and Asynchronism in The LAU
System
Proc. 1977 Int. Conf. on Parallel Processing, pp 87-92
August 1977
SZER81a *
Szeredi P.
Mixed Language Programming - A Method For Producing
Efficient PROLOG Programs
Presented at Workshop "Logic Programming for Intelligent
Systems",
Los Angeles, California, U.S.A., 18-21 August 1981
also in MPROLOG Collection of Papers on Logic Programming,
November 1984
1981
SZER82a *
Szeredi P. & Santane-Toth E.
Prolog Applications in Hungary
In "The Fifth Generation : Dawn of the Second Computer
Age", International Conference, London, 7-9 July 1982
also in MPROLOG Collection of Papers on Logic Programming,
November 1984
1982
SZER82b *
Szeredi P.
Module Concepts For Prolog
DRAFT
Presented at Workshop on "Prolog Programming Environments",
Linkoping, Sweden, 24-26 March 1982
also in MPROLOG Collection of Papers on Logic Programming,
November 1984
1982
------------------------------
End of PROLOG Digest
********************