PROLOG-REQUEST@SU-SCORE.ARPA (Chuck Restivo, The Moderator) (11/16/86)
PROLOG Digest Monday, 17 Nov 1986 Volume 4 : Issue 73
Today's Topics:
Announcement - Fourth Symposium on Logic Programming,
LP Library - Lauren Smith's Declarative Language Bibliography, Part T
----------------------------------------------------------------------
Date: 11 Nov 86 17:14:53 N (Tue)
From: enea!sicsten!seif@seismo.CSS.GOV
Subject: Fourth Symposium on Logic Programming
'87 SLP
Call for Papers
Fourth Symposium on Logic Programming
Sponsored by the IEEE Computer Society
August 31 - September 4, 1987
San Fransisco, CA
The Conference solicits papers in all areas of logic
programming, including, but not confined to:
Parallel and Concurrent Logic Programming Languages
Implementations on Multiprocessors
Computer Architectures for Logic Programming
Logic Databases
Logic Programming and Other Programming Paradigms
Logical Extensions of Logic Programming Languages
Performance Evaluation
Expert Systems Based on Logic Programming
Semantics, Program Transformations, and Theory
Applications of Logic Programming
Please submit full papers, indicating accomplishments of
substance and novelty, and including appropriate citations of
related work. The suggested page limit is 25 double-spaced
pages. Send eight copies of your manuscript no later than
February 21, 1987 to:
Seif Haridi
SLP'87 Program Chairperson
Swedish Institute of Computer Science
Box 1263
S-163 13 Spanga
SWEDEN
Electronic Mail: enea!sics!seif@mcvax.uucp
Acceptance will be mailed by April 15, 1987. Camera-ready copy
will be due by June 7, 1987.
Conference Chairperson: David Scott Warren, Quintus Computer
Systems Inc
Program Committee Members
Ken Bowen, Syracuse University
Andrzej Ciepielewski, SICS
Al Despain, U.C. Berkeley
Herve Gallaire, ECRC, Munich
Steve Gregory, Imperial College
Lynette Hirschman, SDC
Peter Kogge, IBM, Owego
William Kornfeld, Quintus Computer Systems Inc
Jean-Louis Lassez, IBM Yorktown
George Luger, University of New Mexico
Roger Nasr, MCC/DEC
Ross Overbeek, Argonne National Lab.
Kotagiri Ramamohanarao, Melbourne University
Leon Sterling, Case Western Reserve Univ.
Mark Stickel, SRI International
Sten-Ake Tarnlund, Uppsala University
Shunichi Uchida, ICOT
David Scott Warren, Quintus Computer Systems Inc
------------------------------
Date: Fri 14 Nov 86 05:44:35-PST
From: Chuck Restivo <Restivo@Score.Stanford.EDU>
Subject: Lauren Smith's Bibliography, Part T
TAGU84a
Taguchi A. & Miyazaki N. & Yamamoto A. & Kitakami H.
& Kaneko K. & Murakami K.
INI: Internal Network in Programming Laboratory ICOT
and Its Future
ICOT Research Center, Technical Memorandum TM-0044
February 1984
TAGU84b
Taguchi A.
Writing in a Foreign Language and Programming Warnier's
Methodology - A Study of Processes
ICOT Research Center, Technical Memorandum TM-0057
April 1984
TAGU84c
Taguchi A.
A Personal Perspective on Some Aspects of the FGCS
- PreliminaryConsiderations for Fifth Generation
Computer Networks
ICOT Research Center, Technical Memorandum TM-0077
September 1984
TAKAG84a
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
TAKAH85a *
Takahashi H. & Maruyama H.
PRESET - A Debugging Environment for Prolog
in WADA86a, pp 90-99
1985
TAKEI84a
Takei K.
Progress in the Initial Stage of the FGCS Project
ICOT Research Center, Technical Memorandum TM-0074
September 1984
TAKEI84b *
Takei K. & Chikayama T. & Takagi S.
ESP - An Object Oriented Logic Programming Language
ICOT Research Center, Technical Memorandum TM-0075
September 1984
TAKEU82a
Takeuchi A. & Shapiro E.Y.
Object Oriented Programming in Relational Language
ICOT Document
TAKEU82b
Takeuchi A.
Let's Talk Concurrent Prolog
ICOT Research Center, Technical Memorandum TM-0003
December 1982
TAKEU83a *
Takeuchi A. & Furukawa K.
Interprocess Communication in Concurrent Prolog
( Also in "Proceedings of Logic Programming Workshop
'83", Portugal )
ICOT Research Center, technical Report TR-006
May 1983
TAKEU85a *
Takeuchi A. & Furukawa K.
Bounded Buffer Communication in Concurrent Prolog
New Generation Computing, Vol 3, No 2, pp 145-155
1985
TAKI84a
Taki K. & Yokota M. & Yamamoto A. & Nishikawa H.
& Uchida S. & Nakazima H. & Mitsuishi A.
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
TAMA85a *
Tamaki H.
A Distributed Unification Scheme For Systolic Logic
Programming
Proceedings of 1985 IEEE International Conference on
Parallel Processing
pp 552-559
1985
TANA82a *
Tanaka J. & Keller R.M.
Code Optimisation in a Functional Language
In Workshop on Functional Programming, Japan Inf.
Processing Soc.
(ed Ida T.)
December 1982
TANA84a *
Tanaka Y.
A Multiport Page-memory Architecture and a Multiport
Disk-Cache System
New Generation Computing, Vol 2, No 3, pp 241-260
1984
TANA85a *
Tanaka J. & Yokomori T. & Kishishita M.
AND-OR Queueing in Extended Concurrent Prolog
in WADA86a, pp 156-167
1985
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
TARL84a *
Tarlecki A.
Quasi-Varieties in Abstract Algebraic Institutions
Department of Computer Science, University of Edinburgh
Internal Report CSR-173-84
November 1984
TARN77a *
Tarnlund S.-A.
Horn Clause Computability
BIT 17, 1977, pp 215-226
1977
THAT82a *
Thatcher J.W. & Wagner E.G. & Wright J.B.
Data Type Specification : Parameterization and the Power
of Specification Techniques
ACM Transactions on Programming Languages and Systems,
Vol 4, No 4
pp 711-732
October 1982
THOM85a *
Thompson S.J.
Laws in Miranda
University of Kent Computing Laboratory Report No 35
December 1985
THOM86a *
Thompson S.J.
Proving Properties of Functions Defined on Lawful Types
University of Kent Computing Laboratory Report No 37
May 1986
THOR84a *
Thorelli L.-E.
Proposal for a Lowlevel Object Oriented Architecture
The Royal Institute of Technology, Dept. of
Telecommunication Systems - Computer Systems, Stockholm,
Sweden
TRITA-CS-8402
1984
TIB84a *
ed. Tiberghien J.
New Computer Architectures
International Series in Computer Science
Academic Press
1984
TICK83a *
Tick E.
An Overlapped Prolog Processor
Technical Note 308
SRI International
October 1983
TICK84a
Tick E. & Warren D.H.D.
Towards a Pipelined Prolog Processor
Proc. 1984 Int. Symp. on Logic Programming
pp 29-40
1984
TICK84b *
Tick E. & Warren D.H.D.
Towards A Pipelined Prolog Processor
New Generation Computing 2, pp 323-345
1984
TICK?? *
Tick E. & Warren D.H.D.
Towards A Pipelined Prolog Processor
Artficial Intelligence Center, SRI International, U.S.A.
TILL85a *
Tillotson M.
Introduction to the Functional Programming Language
"Ponder" Computer Laboratory, University of Cambridge,
Tech Rep no 65
1985
TODA84a *
Toda I.
Communication and Knowledge Engineering
New Generation Computing, Vol 2, No 3, pp 205-206
1984
TODA85a *
Toda K. & Yamaguchi Y. & Uchibori Y. & Yuba T.
Preliminary Measurements of the ETL LISP-Based Data-Driven
Machine
IFIP TC-10 Working Conference on Fifth Generation Computer
Architecture,
UMIST, Manchester
July 15-18 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
TOMU85a *
Tomura S.
TDProlog : An Extended Prolog with Term Description
in WADA86a, pp 180-191
1985
TRAN86a *
Handout for IEE Computing and Control Division Colloquium
on "The Transputer :
Applications and Case Studies"
Organised by Professional Group C2 ( Hardware and Systems
Engineering )
Digest No : 1986/91
IEE, Savoy Place, London
Friday 23rd May 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
TREL83a *
Treleaven P.C.
The New Generation of Computer Architecture
Proceedings of 10th Annual International Symposium on
Computer Architecture
ACM SIGARCH, 11, 3, pp 402-409
June 13-17 1983
TREL84a *
Treleaven P.C.
General-Purpose Memory
ICOT Research Center, Technical Memorandum TM-0047
February 1984
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
------------------------------
End of PROLOG Digest
********************