Copy Link
Add to Bookmark
Report
AIList Digest Volume 4 Issue 112
AIList Digest Sunday, 4 May 1986 Volume 4 : Issue 112
Today's Topics:
Bibliography - References #6
----------------------------------------------------------------------
Date: 9 Apr 86 13:24:10 GMT
From: allegra!mit-eddie!think!harvard!seismo!mcvax!ukc!dcl-cs!nott-cs!
abc@ucbvax.berkeley.edu (Andy Cheese)
Subject: Bibliography - References #6
TAKA84a
Takagi S. & Chikayama T. & Hattori T. & Tsuji J. & Yokoi T. & Uchida S. &
Kurokawa T. & Sakai K.
Overall Design of SIMPOS
( Also in "Proceedings of 2nd Int'l Conference of Logic Programming", Uppsala,
1984 )
ICOT Research Center, Technical Report TR-057
April 1984
TAKE82a
Takeuchi A. & Shapiro E.Y.
Object Oriented Programming in Relational Language
ICOT Document
TAKE82b
Takeuchi A.
Let's Talk Concurrent Prolog
ICOT Research Center, Technical Memorandum TM-0003
December 1982
TAKE83a *
Interprocess Communication in Concurrent Prolog
( Also in "Proceedings of Logic Programming Workshop '83", Portugal )
ICOT Research Center, technical Report TR-006
May 1983
TAKI84a
Hardware Design and Implementation of the Personal Sequential Inference Machine
(PSI)
( Also in "Proceedings of FGCS 84", Tokyo, 1984 )
ICOT Research Center, Technical Report TR-075
August 1984
TAMA83a *
Tamaki M.
A Transformation System for Logic Programs Which Preserves Equivalence
ICOT research Center, Technical report TR-018
August 1983
TANA82a
Tanaka J. & Keller R.M.
Code Optimisation in a Functional Language
In Workshop on Functional Programming, Japan Inf. Processing Soc.
December 1982
TANI81a *
Tanimoto S.L.
Towards Hierarchical Cellular Logic: Design Considerations for Pyramid
Machines
Dept of Comp Sci, Univ of Washington, Technical Report #81-02-01
February 1981
TARJ72
Tarjan R.
Depth-First Search & Linear Graph Algorithms
SIAM Journal of Computing Vol 1 Part 2 p146-60 1972
TARN77a *
Tarnlund S.-A.
Horn Clause Computability
BIT 17, 1977, pp 215-226
1977
THOM85a *
Thompson S.J.
Laws in Miranda
University of Kent Computing Laboratory Report No 35
December 1985
TIB84
ed. Tiberghien J.
New Computer Architectures
International Series in Computer Science
Academic Press
1984
TICK84
Tick E. & Warren D.H.D.
Towards a Pipelined Prolog Processor
Proc. 1984 Int. Symp. on Logic Programming
pp 29-40
1984
TILL85a *
Tillotson M.
Introduction to the Functional Programming Language "Ponder"
Computer Laboratory, University of Cambridge, Tech Rep no 65
1985
TOGG86a *
Toaggi M. & Watanabe H.
An Inference Engine For Real-Time Fuzzy Control: VLSI Design and Implementation
To appear in Proc. of Japan-USA Symp. on flexible Automation, July 14-15, 1986,
Osaka, Japan
1986
TREL78
Treleaven P.C.
Principle Components of Data Flow Computer
Proc. 1978 Euromicro Symp. , pp 366-374
October 1978
TREL80a
Treleaven P.C. & Mole G.F.
A Multi-Processor Reduction Machine For User-Defined Reduction Languages
Proc. 7th Int. Symp. on Comp. Arch., pp 121-129
April 1980
TREL80b
ed. Treleaven P.C.
VLSI: Macine Architecture and Very High Level Languages
Proc of the joint SRC/Univ of Newcastle upon Tyne Workshop,
Computing Laboratory, Univ. of Newcastle Upon Tyne,
Tech Rep 156
December 1980
TREL81a
Treleaven P.C. & Hopkins R.P.
Decentralised Computation
Proc 8th Int Symp on Comp Arch, pp 279-290
May 1981
TREL81b
Treleaven P.C. & Hopkins R.P.
A Recursive (VLSI) Computer Architecture
Computing Laboratory, Univ of Newcastle Upon Tyne
Tech Rep 161
March 1981
TREL81
Treleaven P.C. et al
Data Driven and Demand Driven Computer Architecture
Computer Lab, Univ of Newcastle Upon Tyne
Tech Rep 168,
July 1981
TREL82a
Treleaven P.C.
Computer Architecture For Functional Programming
in DARL82a
1982
TREL82b
Treleaven P.C. Brownbridge D.R. & Hopkins R.P.
Data Driven and Demand Driven Computer Architecture
ACM Computing Surveys Vol 14 No. 1 Jan 1982
TSUJ84a
Tsuji J. & Kurokawa T. & Tojyo S. & Iima Y. & Nakazawa O. & Enomoto S.
Dialog Management in the Personal Sequential Inference Machine (PSI)
( Also in "Proceedings of ACM 84", San Francisco, 1984 )
ICOT Research Center, Technical report TR-046
March 1984
TURN76
Turner D.A.
SASL Language Manual
CS/79/3 Dept. of Computational Science, University of St. Andrews ,1976
(CS/75/1)
TURN79a
Turner D.A.
A New Implementation Technique for Applicative Languages
Software Practice & Experience Vol 9 p31-49 ,1979
TURN79b
Another Algorithm for Bracket Abstraction
Journal of Symbolic Logic, Vol 44, no. 2,
June 1979
TURN80
Turner D.A.
Programming Languages- Current and Future Developments
Infotech State of the Art Conference on Software Development Techniques
1980
TURN81a
Turner D.A.
The Semantic Elegance of Applicative Languages
Proc. 1981 ACM Conf on Functional Programming Languages & Computer
Architecture p85-92
TURN81b
Turner D.A.
Aspects of the Implementaion of Programming Languages
D.Phil Thesis, Oxford University
1981
TURN82a
Turner D.A.
Recursion Equations As A Programming Language
in DARL82a
1982
TURN82b
Turner D.A.
Functional Programming and Proofs of Program Correctness
In "Tools and Notions For Program Correctness"
(ed. D. Neel), pp 187-209
Cambridge University Press
1982
TURN85a
Turner D.A.
Functional Programs as Executable Specifications
in HOA85a
1985
TURN85b *
Turner R. & Lowden B.G.T.
An Introduction to the Formal Specification of Relational Query Languages
Computer Journal, vol 28, no 2, pp 162-169
1985
UCHI82a
Uchida S. & Yokota M. & Yamamoto A. & Taki K. & Nishikawa H. &
Chikayama T. & Hattori T.
The Personal Sequential Inference Machine, Outline Its Architecture and
Hardware System
ICOT Research Center, Technical Memorandum TM-0001
November 1982
UCHI82b
Uchida S.
Towards A New Generation Computer Architecture
( Also in "VLSI Architecture", Prentice Hall, 1984 )
ICOT research center Technical Report TR-001
July 1982
UCHI83a
Uchida S.
Inference Machine: From Sequential to Parallel
( Also in "Proceedings of 10th International Symposium on Computer
Architecture", Sweden, 1983, IEEE Computer Society Press )
ICOT Research Center, Technical report TR-011
may 1983
UCHI83b
Uchida S. & Yokota M. & Yamamoto A. & Taki K. & Nishikawa H.
Outline of the Personal Sequential Inference Machine:PSI
( Also in New Generation Computing, Vol 1, No 1, 1983 )
ICOT Research Center, Technical Memorandum TM-0005
April 1983
UEDA84a
Ueda K. & Chikayama T.
Efficient Stream/Array Processing in Logic Programming LAnguage
( Also in "Proceedings of FGCS 84", Tokyo, 1984 )
ICOT Research Center, Technical Report TR-065
April 1984
ULLM85a *
Ullmann J.R. & Haralick R.M. & Shapiro L.G.
Computer Architecture for Solving Consistent Labelling Problems
Computer Journal, Vol 28, no 2, pp 105-111
1985
UMEY84a
Umeyama S. & Tamura K.
Parallel Execution of Logic Programs
Electrotechnical Lab., MITI Ibakaraki, Japan
UNGA82
Ungar D.M. & Patterson D.A.
Berkeley Smalltalk: Who Knows Where the Time Goes ?
In Smalltalk-80, Bits of History, Words of Advice, Glenn Krasner
1982
UNGA84
Ungar D. & Blau R. & Foley P. & Samples D. & Patterson D.A.
Architecture of SOAR: Smalltalk on a RISC
11th Symp. on Comp. Arch., Ann Arbor
June 1984
VALI85
Valiant L.G.
Deductive Learning
in HOA85a
1985
VANE76a *
Van Emden M.
Verification Conditions As Programs
Proceedings 3rd International Colloquium on Automata Languages and Programming
pp 99-119
Edinburgh University Press, 1976
VASS85a *
Access to Specific Declarative Knowledge by Expert Systems : The Impact of
Logic Programming
Decision Support Systems 1, pp 123-141
April 1985
VEGD84
Vegdahl S.R.
A Survey of Proposed Architectures for the Execution of Functional Languages
IEEE TOC C-33 No12, Dec 1984, p1050-1071
VUIL74a *
Vuillemin J.
Correct and Optimal Implementation of Recursion In A Simple Programming
Language
J. Comp. Sys., 9, no 3, pp 332-354
1974
WADG85
Wadge W.W. & Ashcroft E.A.
Lucid, The Dataflow Programming Language
Apic Studies in Data Processing no. 22
Academic Press, 1985
WADL76a
Wadler P.L.
Analysis of an Algorithm for Real Time Garbage Collection
Comm ACM Vol 19 No 9 p491-500 Sept 1976
WADL84a *
Wadler P.
Listlessness is Better Than Laziness: Lazy Evaluation and Garbage Collection
at Compile-Time
Proceedings ACM Symposium on LISP and Functional Programming, Austin, Texas
August 1984
WADL84b *
Wadler P.
Listlessness is Better Than Laziness
PhD Dissertation, Carnegie-Mellon University
August 1984
WADL85a *
Wadler P.
A Splitting Headache : Strict vs Lazy Semantics for Pattern Matching in
Lazy Languages
Oxford University, Computing Laboratory
January 1985
Addenda November 1985
WADL85b *
Wadler P.
An Introduction to Orwell (DRAFT)
Oxford University, Computing Laboratory
1 April 1985
revised December 1985
WADL85c
Wadler P.
Listlessness is Better Than Laziness II: Composing Listless Functions
Workshop on Programs as Data Objects, Copenhagen
October 1985
( To be published as LNCS by Springer-Verlag )
WADL86a *
Plumbers and dustmen: Fixing a space leak with a garbage collector
posted to fp@uea.sp
1986
WADS71a
Wadsworth C.P.
Semantics and Pragmatics of The Lambda Calculus
D.Phil Thesis, Univ. of Oxford
1971
WADS84a *
Wadsworth C.P.
Report on the IOTA Programming System and other Japanese Advanced Research
Rutherford Appleton Laboratory, RAL-84-090, August 1984
WARR77a
Warren D.H.D. & Pereira L.M. Pereira F.
PROLOG-The Language and its Implementation Compared to LISP
Proc. Symp. on AI and Programming Languages, 1977
Sigplan 8(12) or Sigart 64 pp 109-115
WARR77b
Warren D.H.D.
Applied Logic - Its Use and Implementation as a Programming Tool
Phd Dissertation
Dept of AI, Univ of Edinburgh
1977
WARR82a*
Warren D.H.D.
Higher Order Extensions to PROLOG: Are They Needed ?
in Machine Intelligence 10
(eds Hayes J.E. & Michie D. & Pao Y-H )
pp 441-454
Ellis Horwood Ltd
1982
WARR83a *
Warren D.H.D.
An Abstract Prolog Instruction set
Technical Note 309, SRI International
31 August 1983
WATP84
Watson P.
A Functional Language Computer
Conversion Report Univ. of Manchester Sept 1984
WATP85a *
Watson P.
A Reference Count Garbage Collection Scheme For Distributed Computers
Draft Document, Dept of Computer Science, Univ. of Manchester, March 1985
WATP85b *
Watson P.
Report on Visit to the U.S.A.
Document, Dept of Computer Science, Univ of Manchester, April 1985
WATP85c *
Watson P.
Higher Order Functions in EFL
Document, Dept of Computer science, Univ. of Manchester, 24 May 1985
WATS79
Watson I. & Gurd J.
A Prototype Data Flow Computer With Token Labeling
Proc. Nat. Comp. Conf., Vol 48, pp 623-628
1979
WATS83a *
Watson I.
Functional Logic Programming
Document, Dept of Computer Science, Univ. of Manchester, April 1983
WATS84a *
Watson I. (& Ashcroft A.)
A Demand Driven Dataflow Machine/Tagged Data-Driven Reduction Machine
Document, Dept of Computer Science, Univ. of Manchester ,March 1984
WATS84b *
Watson I.
Another Model (And Machine)
Document, Dept of Computer Science, Univ. of Manchester ,May 1983
WATS84c *
Watson I.
Higher Order Functions
Document, Dept of Computer Science, Univ. of Manchester ,Aug 1984
WATS85a *
Watson I.
A Parallel SKI(BC) Combinators Model
Document, PMP/MU/IW/00005, Dept of Computer Science, Univ. of Manchester,
March 1985
WATS85b *
Watson Ian & Watson Paul & Woods Viv
Parallel Data-Driven Graph Reduction
Document, Dept. of Computer Science, Univ. of Manchester
WEIH85a *
Weihrauch K.
Type 2 Recursion Theory
Theoretical Computer Science 38, pp 17-33
May 1985
WHIT80a
White J.L.
Address/Memory Management for a Gigantic LISP Environment or, GC
Considered Harmful
Proc. 1980 LISP Conf. p119-127
WHITE78
Whitelock P.J.
A Conventional Language for Data Flow Computing
MSc Dissertation, Dept of Comp Sci, Univ. of Manchester, October 1978
WILL80
Williams J.H.
On The Development Of The Algebra Of Functional Programs
Report No RJ2983, IBM Research Laboratory, San Jose, California, October 1980
WILL81
Williams J.H.
Formal Representations For Recursively Defined Functional Programs
in "Formalization Of Programmming Concepts",
Lecture Notes in Computer Science, no 107, Springer Verlag, April 1981
WILL82
Williams J.H.
Notes on The FP Style Of Functional Programming
in DARL82a
1982
WILN80
Wilner W.
Recursive Machines
Xerox Parc Internal Report
1980
WINS84
Winston P. & Horn K.P.
Lisp
Second Edition
Addison Wesley Publishing Company
1984
WINS? *
Winskel G.
Categories of Models for Concurrency
Computer Laboratory, University of Cambridge
Technical Report no 58
WINT80
WinterStein G. & Dausmann M. & Persch G.
Deriving Different Unification Algorithms From a Specification in Logic
Proc. of Logic Programming workshop, Debrecen, Hungary
(ed S. -A. Tarnlund), pp 274-285
1980
WIRS82a
Wirsing M. & Broy M.
An Analysis of Semantic Models For Algebraic Specifications
in BROY82a, pp 351-412
1982
WISE79a
Wise D.S.
Morris's Garbage Compaction Algorithm Restores Reference Counts
ACM Trans. on Programming Languages and Systems, 1, no 1, pp 115-122
1979
WISE82a
Wise D.S.
Interpreters For Functional Programming
in DARL82a
1982
WORL85a
Worley J. & Arabe J. & Tu K.G.
The Architecture and Design of the Functional Programming Machine
Document, Computer Sci. Dept. , Univ. of California, Los Angeles
YAO82
Yao S.B. Waddle V.E. & Housel B.C.
View Modeling and Integration Using the Functional Data Model
IEEE TOSE Vol SE-8 No.6 p544-553 ,Nov 1982
YASU83a *
Yasukawa H.
LFG in Prolog - Toward A Formal System for Representing Grammatical
Relations
ICOT Research Center, technical report TR-019
August 1983
YASU83b *
Yasuura H.
On The Parallel Computational Complexity of Unification
ICOT Research Center, Technical report TR-027
October 1983
YOKOI83a
Yokoi T.
A Perspective of the Japanese FGCS Project
( Presented to IJCAI, F.R.G., 1983 )
ICOT Research Center, Technical Memorandum TM-0026
September 1983
YOKOM84a *
Yokomori T.
A Note on the Set Abstraction in Logic Programming Language
( Also in "Proceedings of FGCS 84", Tokyo, 1984 )
ICOT Research Center, Technical Report TR-060
April 1984
YOKOT83a
Yokota H. & Kunifuji S. & Kakuta T. & Miyazaki N. & Shibayama S. & Murakami K.
An Enhanced Inference Mechanism for Generating Relational Algebra Queries
( Also in "Proceedings of Third ACM SIGACT-SIGMOD Symp. on Principles of
Database Systems", Waterloo, Canada, 1984 )
ICOT Research Center, Technical Report TR-026
October 1983
YOKOT84a
Yokota M. & Yamamoto A. & Taki K. & Nishikawa H. & Uchida S.
The Design and Implementation of a Personal Sequential Inference Machine: PSI
( Also in New Generation Computing, Vol 1, No 2, 1984 )
ICOT Research Center, Technical Report TR-045
February 1984
------------------------------
End of AIList Digest
********************
