abc@nott-cs.UUCP (Andy Cheese) (04/09/86)
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 Referencr 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 -- Andy Cheese