PROLOG-REQUEST@SU-SCORE.ARPA (Chuck Restivo, The Moderator) (10/27/86)
PROLOG Digest Tuesday, 28 Oct 1986 Volume 4 : Issue 62
Today's Topics:
LP Library - Declarative Language Bibliography, Part F
----------------------------------------------------------------------
Date: Mon, 6 Oct 86 15:15:20 MDT
From: Lauren Smith <ls%lambda@LANL.ARPA>
Subject: Part F
FAGE83a
Fages F. & Huet G.P.
Complete Sets Of Unifiers And Matches In Equational
Theories
Proc. 8th Colloquium on Trees In Algebra And
Programming
Springer Verlag, LNCS 159, pp 205-220, 1983
FAHL83a
Fahlman S.E. & Hinton G.E. & Sejnowski T.J.
Massively Parallel Architectures for AI: NETL,THISTLE,and
Boltzmann Machines
Proc. National Conf. on Artificial Intelligence, Aug 1983
p109-113
FAIR82a
Fairburn J.
Ponder, And Its Type System
Cambridge Computer Lab Technical Report 31, 1982
FAIR85a *
Fairbairn J.
Design and Implementation of a Simple Typed Language
Based on the Lambda Calculus
Computer Laboratory, University of Cambridge, Tech Rep no 75
(also submitted as PhD thesis in December 1984)
1985
FARK83a *
Farkas Zs. & Szeredi P. & Santane-Toth E.
LDM - A Program Specification Support System
to be published in "Logic Programming and its Applications",
(eds. Canaghem M. van & Warren D.)
in the series "Advances in Artificial Intelligence"
Ablex Publ. Corp., 1983
revised version of paper published in Proceedings of the
First International Logic Programming Conference, Marseille,
pp 123-128, 14-17 September 1982
also in MPROLOG Collection of Papers on Logic Programming,
November 1982
1983
FARR79a
Farrell E.P. et al
A Concurrent Computer Architecture and Ring Based
Implementation Proc 6th Int. Symp. on Comp. Arch., pp 1-11
April 1979
FAUS82a
Faustini A.A.
An Operational Semantics for Pure Dataflow
Springer Verlag LNCS 140
1982
FAUS83a
Faustini A.A. Mathews S.G. & Yaghi A.G
The pLUCID Programming Manual
University of Warwick Distributed Computing Report No. 4 ,
1983
FEHR84a *
Fehr E.
Expressive power of Typed and Type-Free Programming Languages
Theoretical Computer Science 33 (1984) pp 195-238
North Holland
1984
FEHR84b *
Fehr E.
Dokumentation eines PROLOG-Interpreters implementiert in der
funktionalen Sprache BRL
GMD Nr 122
November 1984
FENT86a *
Fenton N.E. & Whitty R.W.
Axiomatic Approach to Software Metrication Through Program
Decomposition
The Computer Journal, Vol 29, No 4, pp 330-339
1986
FILG82a *
Filgueiras M.
On The Implementation of Control in Logic Programming
LanguagesUniversidade Nova de Lisboa, Tech rep UNL
8/82
1982
FINN85a *
Finn S.
The Simplex Programming Language
Department of Computing Science, University of Stirling
27th March 1985
FISC79a *
Fischer M.J. & Ladner R.E.
Propositional Dynamic Logic of Regular Programs
Journal of Computer and System Sciences, 18, pp 194-211
1979
FOLE?
Foley J.
A Multi-Ring Dataflow Machine
PhD Thesis, Dept of Computer Science, Univ. of
Manchester In Preparation
FOO86a *
Foo N.Y.
Dewey Indexing of Prolog Traces
Computer Journal, Vol 29, no 1, pp 17-19
1986
FOST86a *
Foster I.T. & Kusalik A.
The Logical Treatment of Secondary Storage
submitted to International Logic Programming Conference,
Salt Lake City, USA
November 1985
FOST86b *
Foster I.T. & Gregory S. & Ringwood G. & Satoh K.
A Sequential Implementation of PARLOG
Dept of Computing, Imperial College, Research Report DOC 86/2
accepted for 3rd International Logic Programming Conference,
Imperial College
March 1986
FOST86c *
Foster I.T.
The Compilation of PARLOG For The Sequential PARLOG machine
Dept of Computing, Imperial College
February 1986
FOST86d *
Foster I.T.
The Parlog Programming System (PPS), Version 0.2
Department of Computing, Imperial College
20 June 1986
FRAN86a *
Francez N. & Hailpern B. & Taubenfeld G.
Script : A Communication Abstraction Mechanism and its
Verification Science of Computer Programming, 6, pp 35-88
1986
FREI74a
Freidman D.P.
The Little LISPer
Science Research Associates, Palo Alto
1974
FREI76a *
Freidman D.P. & Wise D.S.
CONS Should Not Evaluate Its Arguments
Proceedings 3rd International Colloquium on Automata
Languages and Programming
pp 257-284
Edinburgh University Press, 1976
FREI76b *
Freidman D.P. & Wise D.S
Garbage Collecting A Heap Which Includes A Scatter Table
Information Processing Letters, Vol 5, No 6, pp 161-164
December 1976
FREI77a
Freidman D.P. & Wise D.S.
Applicative Multiprogramming
Tech rep no 72, Indiana univ., Bloomington
1977
FREI77b
Freidman D.P. & Wise D.S.
Aspects of Applicative Programming for File Systems
SIGPLAN notices Vol 12 no 3 march 77 pp 41-55
1977
FREI78a
Friedman D.P. Wise D.S.
A Note on Conditional Expressions
CACM 21(11), pp 931-933, November 1978
FREI78b *
Freidman D.P. & Wise D.S.
Functional Combination
Computer Languages, 3, pp 31-35
1978
FREI78c
Freidman D.P. & Wise D.S.
Unbounded Computational Structures
Software, Practise and Experience, 8, pp 407-415
1978
FREI79a *
Freidman D.P. & Wise D.S.
Reference Counting Can Manage The Circular Environments
of Mutual Recursion Information Processing Letters, 8, no
2, pp 921-930
1979
FREI80a
Freidman D.P. & Wise D.S.
An Indeterminate Constructor for Applicative programming
Conf. Record of ACM Symp. on Princ. of Prog. Langs.,
Las Vegas
1980
FREN86a *
Frenkel K.A.
Evaluating Two Massively Parallel Machines
Communications of the ACM, Vol 29, No 8, pp 752-758
August 1986
FRIB84a *
Fribourg L.
Oriented Equational Clauses As A Programming Language
Journal of Logic Programming, Vol 1, No 2, pp 165-178
August 1984
FRIB85a *
Fribourg L.
SLOG : A Logic Programming Language Interpreter Based
On Clausal Superposition And Rewriting
IEEE 1985 International Symposium On Logic Programming
pp 172-184
1985
FROS85a *
Frost R.A.
Using Semantic Concepts to Characterise Various Knowledge
Representation Formalisms: A Method of Facilitating the
Interface of Knowledge Base System Components
Computer Journal, Vol 28, no 2, pp 112-116
1985
FUCH85a
ed. Fuchs H.
1985 Chapel Hill Conference on Very large Scale
Integration ISBN 0 88175 103 0
Blackwell Scientific Pubs.
1985
FUJIM85a *
Fujimoto R.M.
The Simon Simulation And Development System
Dept of Computer Science, University of Utah
presented at Summer Computer Simulation Conference
July 1985
FUJIT83a
Fujita M. & Tanaka H. Moto-oka T.
Verification with PROLOG and Temporal Logic
Faculty of Eng. Univ. of Tokyo
FUJIT85a *
Fujita M. & Ishisone M. & Nakamura H. & Tanaka H.
& Moto-oka T.
Using the Temporal Logic Programming Language Tokio for
Algorithm Description and Automatic CMOS Gate Array
Synthesis
in WADA86a, pp 246-255
1985
FURU83a *
Furukawa K. & Takeuchi A. & Kunifuji S.
Mandala: A Concurrent Prolog Based Knowledge Programming
Language/System
ICOT Research center, Technical Report TR-029
November 1983
FURU83b *
Furukawa K. & Nakajima R. & Yonezawa A.
Modularization and Abstraction in PROLOG
Document ETL
ICOT Research Center, Technical Report TR-022
( Also in New Generation Computing, Vol 1, No 2, 1983 )
August 1983
FURU83c
Furukawa K.
Mandala: A Knowledge Programming Language on Concurrent
Prolog ICOT Research Center, Technical Memorandum TM-0028
October 1983
FURU84a *
Furukawa K. & Kunifuji S. & Takeuchi A. & Ueda K.
The Conceptual Specification of the Kernel Language Version 1
( Also in Workshop on Implementation of Concurrent Prolog,
Rehovot, 1984 )
ICOT Research Center, Technical Report TR-054
March 1984
FURU84a *
Furukawa K. & Takeuchi A. & Kunifuji S. & Yasukawa H. & Ohki M.
& Ueda K.
Mandala: A Logic Based Knowledge Programming System
( Also in Second Japanese Swedish Workshop on Logic Programming
and Functional Programming, Uppsala, 1984 )
ICOT Research Center, Technical Report TR-076
August 1984
FURU84b
Furukawa K.
Syntactic Parsing with POPS - Its parsing Time Order and the
Comparison With Other Systems
ICOT Research Center, Technical Memorandum TM-0073
September 1984
FURU86a
Furukawa K.
ICOT's Project - A Project Report
a talk delivered at the Third Weizmann Institute Workshop
1986
FUTA85a
Futatsugi K. & Goguen J.A. & Jouannaud J-P & Meseguer J.
Principles of OBJ2
In Proc. 1985 Principles of Programming Languages
1985
FUTO82a *
Futo I. & Szeredi J.
A Discrete Simulation System Based On Artificial
Intelligence Methods
Discrete Simulation and Related Fields, pp 135-150
(ed. Javor A.)
North Holland Publishing Company
IMACS, 1982
also in MPROLOG Collection of Papers on Logic Programming,
November 1984
1982
FUTO85a *
Futo I.
Combined Discrete/Continuous Modeling and Problem Solving
1985 SCS MultiConferences on AI Graphics and Simulation
also in MPROLOG Collection of Papers on Logic Programming,
November 1984
1985
------------------------------
End of PROLOG Digest
********************