Copy Link
Add to Bookmark
Report

AIList Digest Volume 4 Issue 112

eZine's profile picture
Published in 
AIList Digest
 · 1 year ago

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
********************

← previous
next →
loading
sending ...
New to Neperos ? Sign Up for free
download Neperos App from Google Play
install Neperos as PWA

Let's discover also

Recent Articles

Recent Comments

Neperos cookies
This website uses cookies to store your preferences and improve the service. Cookies authorization will allow me and / or my partners to process personal data such as browsing behaviour.

By pressing OK you agree to the Terms of Service and acknowledge the Privacy Policy

By pressing REJECT you will be able to continue to use Neperos (like read articles or write comments) but some important cookies will not be set. This may affect certain features and functions of the platform.
OK
REJECT