abc@nott-cs.UUCP (Andy Cheese) (04/09/86)
ABDA76a Abdali S.K. An Abstraction Algorithm for Combinatory Logic Journal of Symbolic Logic Vol 41, Number 1, March 1976 ABEL85a * Abelson H. & Sussman G.J. with Sussman J. Structure and Interpretation of Computer Programs MIT Press 1985 ABEL? Abelson H. & Sussman G.J. Computation: An Introduction to Engineering Design Massachusetts Institute of technology, U.S.A. ABEL? Abelson H. & Sussman G.J. Scheme Demonstration Programs for Structure and Interpretation of Computer Programs Massachusetts Institute of Technology, U.S.A. ABRA82a Abramsky S. SECD-M - A Virtual Machine for Applicative Multiprogramming Computer Systems Lab, Queen Mary College, Nov 82 ABRA82b Abramson H. Unification-Based Conditional Binding Constructs TR 82-7, Department of Computer Science, Univ of British Columbia, Canada August 1982 ABRA83a Abramsky S. On Semantic Foundations For Applicative Multiprogramming Computer Systems Lab, Queen Mary College, 1983 ABRA83b Abramson H. A Prological Definition of HASL a Purely Functional Language With Unification Based Conditional Binding Expressions TR 83-8, Department of Computer Science, Univ of British Columbia, Canada July 26, 1983 ABRI85a Abrial J.R. Programming as a Mathematical Exercise in HOA85a 1985 ACK79a Ackerman W.B. & Dennis J.B. VAL - Preliminary Reference Manual MIT Laboratory for Computer Science, June 79 AIDA84a Aida H. & Moto-oka T. Performance Measurement of Parallel Logic Programming System "Paralog" Dept. of Electrical Eng., University of Tokyo ALEX85a * Alexandridis N.A. & Bilalis N.A. & Tsanakas P.D. Using Functional Programming For Hierarchical Structures in Image Processing in Digital Techniques in Simulation, Communication and Control (IMACS) (ed Tzafestas S.G. ) pp 175-181 North Holland 1985 ALLI85a * Allison L. Programming Denotational Semantics II Computer Journal, Vol 28, no 5, pp 480-486 1985 AMAM82a Amamiya M. & Takahashi N. & Naruse T. & Yoshida M. A Data Flow Processor Array System for Solving Partial Differential Equations Int. Symp. on Applied Mathematics and Information Science, March 1982 ARBI75a Arbib M.A. & Manes E.G. Arrows, Structures and Functors : The Categorical Imperative Academic Press 1975 ARVI78a Arvind & Gostelow K.P. & Plouffe W. An Asynchronous Programming Language and Computing Machine Dept. of Information and Computer Science, Tech Rep 114A University of California Irvine, December 1978 ARVI83a Arvind & Dertouzos M.L. & Iannucci R.A. A Multiprocessor Emulation Facility MIT Lab for Computer Science Technical Report 302 October 1983 ARVI84a Arvind & Brock J.D. Resource Managers in Functional Programming Journal of Parallel and Distributed Computing 1, 5-21 1984 ARVI84b Arvind & Kathail V. & Pingali K. Sharing of Computation in Functional Language Implementations Lab for Computer Science Tech Rep ??? (sic), 24 July 1984 ASHC76a * Ashcroft E.A. & Wadge W. Lucid - A Formal System For Writing and Proving Programs SIAM J on Computing Vol 5 no 3, 1976 pp 336-354 1976 ASHC77a Ashcroft E.A. & Wadge W.W. LUCID, a Non-Procedural Language with Iteration CACM Vol 20 No 7 p519-526 July 1977 ASHC82a Ashcroft E.A. & Wadge W.W. R for Semantics ACM TOPLAS Vol 4 No 2 p283-294 April 1982 ASHC83a Ashcroft E.A. Proposal for a Demand-Driven Tagged Dataflow Machine SRI Document Sept 1983 ASH85a Ashcroft E.A. Eazyflow Architecture SRI Technical Report CSL-147, April 1985 ASH85b Ashcroft E.A. Ferds--Massive Parallelism in Lucid Document 1985 ASH85c Ashcroft E.A. & Wadge W.W. The Syntax and Semantics of Lucid SRI Technical Report CSL-147 April 1985 ASO84a Aso M. Simulator of XP's ICOT Research Center, Technical Report TR-041 January 1984 ATKI83a * Atkinson M.P & Bailey P.J. & Chisholm K.J. & Cockshott P.W. & Morrison R. "An Approach to Persistent Programming" The Computer Journal,Vol.26,No.4, pp 360-365 1983 AUGU84a * Augustsson L. A Compiler for Lazy ML Proceedings of 1984 ACM Symposium on LISP and Functional Programming, Austin, Texas pp 218-227 August 1984 AZAR85a * Azari H. & Veler Y. Functional Language Directed Data Driven machine Microprocessing and Microprogramming 16, pp 127-132 September/October 1985 BACK74a * Backus J. Programming Language Semantics and Closed Applicative Languages ACM Symposium on Principles of Programming Languages, 1974 pp 71-86 1974 BACK78a * Backus J. Can Programming be liberated from the von-Neumann Style? CACM Vol 21 No 8 p613-641 Aug 1978 BACK79a Backus J.W. On Extending The Concept Of Program And Solving Linear Functional Equations Draft Paper Distributed at Summer Workshop on Programming Methodology, University of California at Santa Cruz, August 1979 BACK81a Backus J.W. The Algebra of Functional Programs: Function Level Reasoning, Linear Equations, and Extended Definitions In "Formalization of Programming Concepts", LNCS 107 Springer Verlag April 1981 BAKE78a Baker, Henry B., Jr. List Processing in Real Time on a Serial Computer CACM 21 no 4, pp 280-294, 1978 BAKE78b Baker H.G. Actor Systems for Real Time Computation MIT Laboratory for Computer Science, MIT/LCS/TR-197, March 1978 BAKK76a * Bakker J.W. De Semantics and Termination of Nondeterministic Recursive Programs Proceedings 3rd International Colloquium on Automata Languages and Programming pp 435-477 Edinburgh University Press, 1976 BAKK79a * Bakker J.W. De & Zucker J.I. Derivatives of Programs mathematisch centrum iw 116/79 1979 BAKK80a Bakker J.De Mathematical Theory of Program Correctness Prentice Hall International Series in Computer Science, 1980 BARA85a * Barahona P. & Gurd J.R. Processor Allocation in a Multi-Ring Dataflow Machine Dept of Comp Sci, Univ of Manchester, Technical Report UMCS-85-10-3 1985 BARB84a * Barbuti R. & Bellia M. & Levi G. & Martelli M. On the Integration of Logic Programming and Functional Programming IEEE 1984 International Symposium on Logic Programming, pp 160-167 6 February 1984 BARE81a Barendregt H.P. The Lambda Calculus, Its Syntax and Semantics North Holland 1981 BARR85a * Barringer H. Up and Down the Temporal Way Dept of Comp Sci, Univ of Manchester, Technical Report UMCS-85-9-3 September 4, 1985 BCS86a * British Computer Society Reading Branch Parallel Processing Seminar, Proceedings Tuesday 21st January 1986 BELL80a * Bellia M & Degano P. & Levi G. A Functional Plus Predicate Logic Programming Language Proceedings of the Logic Programming Workshop, 14 July 1980 pp 334-347 1980 BERG79a * Bergstra J.A. & Tucker J.V. Algebraic Specifications of Computable and Semi-Computable Data Structures mathematisch centrum iw 115/79 1979 BERG79b * Bergstra J.A. & Tiuryn J. & Tucker J.V. Correctness Theories and Program Equivalence mathematisch centrum iw 119/79 1979 BERG79c * Bergstra J.A. & Tucker J.V. A Characterisation of Computable Data Types By Means of a Finite, Equational Specification Method mathematisch centrum iw 124/79 1979 BERG81a * Bergstra J.A. & Tucker J.V. Hoare's Logic and Peano's Arithmetic Mathematisch Centrum iw 160/81 1981 BERK75a * Berkling K. Reduction Languages For Reduction Machines Proc. 2nd Int. Symp. on Comp. Arch., pp 133-140 also available as an extended version as GMD Tech Rep ISF-76-8 14 September 1976 1975 BERK76a * Berkling K.J. A Symmetric Complement To The Lambda Calculus GMD Tech Rep ISF-76-7 14 September 1976 BERK82a * Berkling K.J. A Consistent Extension of the Lambda-Calculus as a Base for Functional Programming Languages Information and Control, vol 55, nos 1-3 oct/nov/dec 1982, pp 89-101 Academic Press 1982 BERL84a Berliner H. & Goetsch G. A Quantative Study of Search Methods and the Effect of Constraint Satisfaction CMU-CS-84-147 Dept of Comp Sci, Carnegie-Mellon Univ. July 1984 BERN80a * Bernstein A.J. Output Guards and Nondeterminism in Communicating Sequential Processes ACM Transactions on Programming Languages and Systems, Vol 2, No 2, pp 234 - 238 April 1980 BERR77a * Berry G. & Levy J-J. Minimal and Optimal Computations of Recursive Programs 4th ACM Symposium on Principles of Programming Languages pp 215-226 1977 BERT84a ed. Bertolazzi P VLSI: Algorithms and Architectures North Holland 1984 BETZ85a * Betz D. XLISP: An Experimental Object Oriented Language Version 1.4 January 1, 1985 BIC85a * Bic L. Processing of Semantic Nets on Dataflow Architectures Artificial Intelligence 27 pp 219 - 227 1985 BIRD76a Bird R.S. Programs & Machines- An Introduction to the Theory of Computation Wiley 1976 BIRD83a Bird R.S. Some Notational Suggestions for Transformational Programming Tech Rep no 153, Univ. of Reading, 1983 BIRD84a Bird R.S. Using Circular Programs to Eliminate Multiple Traversals of Data Acta Informatica Vol21 Fasc 3 1984 p239-250 BISH77a Bishop P.B. Computer Systems with a Very Large Address Space and Garbage Collection MIT Laboratory for Computer Science, MIT/LCS/TR-178, May 1977 BOBR80a Bobrow D.G. Managing Reentrant Structures Using Reference Counts ACM Trans. on Programming Languages and Systems, 2, no 3, pp 269-273 1980 BOHM81a * Bohm A.P.W. & Leeuwen J. Van A Basis for Dataflow Computing Dept of Computer Science, Univ of Utrecht, Tech Rep RUU-CS-81-6 1981 BOHM85a * Bohm A.P.W. & Gurd J.R. & Sargeant J. Hardware and Software Enhancement of the Manchester Dataflow Machine Document, Dept of Computer Science, Univ. of Manchester BORN81a * Borning A. & Bundy A. Using Matching in Algebraic Equation Solving Dept of Comp Sci, Univ of Washington, Technical Report No. 81-05-01 May 1981 BOSS84a * Bossi A. & Ghezzi C. Using FP As A Query Language For Relational Data-Bases Computer Languages, Vol 9, No 1, pp 25-37 1984 BOWE79a * Bowen K.A. Prolog Proceedings of the Annual Conference of the ACM 1979 pp 14-23 1979 BOW81a Bowen D.L. Implementation of Data Structures on a Data Flow Computer PhD Thesis, Dept of Comp Sci, Univ. of Manchester, April 1981 BOWE85a Bowen K.A. Meta-Level Programming and Knowledge Representation New Generation Computing, Vol 3, No 4, pp 359-383 1985 BOYE75a Boyer R.S. & Moore J.S. Proving Theorems about LISP Functions JACM Vol 22,No. 1, p129-144 BRAI83 Brain S. The Transputer-"exploiting the opportunity of VLSI" Electronic Product Design, December 1983 BRAI84a Brain S. Applying the Transputer Electronic Product Design, January 1984 BRAI84b Brain S. Writing Parallel Programs in OCCAM Electronic Product Design, Sept 1984 BRAM84a * Bramer M. & Bramer D. The Fifth Generation, An Annotated Bibliography Addison-Wesley Publishing Co., 1984 BROO84a Brookes S.D. Reasoning About Synchronous Systems CMU-CS-84-145 Dept of Comp Sci, Carnegie-Mellon Univ. March 1984 BROW84a Brownbridge D. Recursive Structures in Computer Systems PhD Thesis, Univ. of Newcastle upon Tyne, 1984 BROY82a eds Broy M. & Schmidt G. Proceedings of Nato Summer School on Theoretical Foundations of Programming Methodology, Munich, Dordrecht: Reidel, 1982 BROY82b Broy M. A Fixed Point Approach to Applicative Multiprogramming in BROY82a, pp 565-624 1982 BROY83a Broy M. Applicative Real-Time Programming Proc. 9th IFIP, Information Processing 1983, pp 259-264 North Holland 1983 BROY85a * Broy M. On The Herbrand-Kleene Universe For Nondeterministic Computations Theoretical Computer Science, 36, pp 1 - 19 March 1985 BRUI81a * Bruin A. De On the Existence of Cook Semantics Mathematisch Centrum iw 163/81 1981 BRUI85a * Bruin A. De & Bohm W. The Denotational Semantics of Dynamic Networks of Processes ACM Transactions on Programming Languages and Systems, Vol 7, No 4, pp 656-679 October 1985 BRUY83a * Bruynooghe M. & Pereira L.M. Deduction revision by Intelligent Backtracking Universidade Nova de Lisboa, report no UNL-10/83 July 1983 BRYA85a * Bryant R.E. Symbolic Verification of MOS Circuits 1985 Chapel Hill Conference on VLSI pp 419-438 1985 BUND85a * Bunder M.W. An Exension of Klop's Counterexample to the Church-Rosser Property to Lambda-Calculus With Other Ordered Pair Combinators Theoretical Computer Science 39, pp 337-342 North Holland August 1983 BUNE82a Buneman P. Frankel R.E. & Nikhil R. An Implementation Technique for Database Query Languages ACM TODS Vol 7 No. 2 p164-186 June 1982 BURG75a Recursive Programming Techniques Addison Wesley Publising Co., 1975 BURN85a * Burn G.L. & Hankin C.L. & Abramsky S. The Theory and Practise of Strictness Analysis for Higher Order Functions Research Report DoC 85/6 Dept of Computing, Imperial College April 1985 BURS69a Burstall R.M. Proving Properties of Programs by Structural Induction Computer Journal 12, p41 1969 BURS77a Burstall R.M. & Darlington J. A Transformation System for Developing Recursive Programs JACM Vol 24,No. 1,p44-67 BURS77b Burstall R.M. Design Considerations for a Functional Programming Language pp 54-57 Proc. Infotech State of the Art Conference, Copenhagen, 1977 BURS80a * Burstall R.M. & MacQueen D.B. & Sannella D.T. HOPE: An Experimental Applicative Language Proc of LISP Conference Aug 1980 (Also Edinburgh report CSR-62-80, 1981) BURS82a Burstall R.M. & Goguen J.A. Algebras, Theories and Freeness: An Introduction For Computer Scientists in BROY82a, pp 329-348 1982 BURS84a * Burstall R.M. Programming with Modules as Typed Functional Programming Proc. Int. Conf. on Fifth Gen. Computing Systems, Tokyo, Nov 84 BURT84a Burton F.W. Annotations to Control Parallelism and Reduction Order in the Distributed Evaluation of Functional Programs ACM TOPLAS Vol 6 No. 2 April 1984 p159-174 1984 BURT85a * Burton F.W. & Huntbach M.M. & Kollias J.G. Multiple Generation Text Files Using Overlapping Tree Structures Computer Journal, Vol 28, no 4, pp 414-416 1985 BUSH79a Bush V.J. A Data Flow Implementation of Lucid Msc Dissertation, Dept of Comp Sci, Univ. of Manchester, October 1979 BYTE85a * Byte Magazine, August 1985. Special Issue on Declarative Languages 1985 CAMP84a * ed. Campbell J.A. Implementations of Prolog Ellis Horwood Series Artificial Intelligence Ellis Horwood 1984 CARD?? * Cardelli L. A Semantics of Multiple Inheritance CARD84a * Cardelli L. Compiling a Functional Language Proceedings of 1984 ACM Symposium on Lisp and Functional Programming, Austin, Texas pp 208-217 August 1984 CARD85a * Cardelli L. Amber Proceedings of the Treizieme Ecole de Printemps d'Informatique Theorique, Le Val D'Ajol, Vosges, France May 1985 CARD?? Cardelli L. The Amber Machine CART79a * Cartwright R. & McCarthy J. First Order Programming Logic Proceedings ACM 6th Symposium on Principles of Programming Languages pp 68-80 1979 CART83a * Cartwright R. & Donahue J. The Semantics of Lazy (and Industrious) Evaluation CSL-83-9 , Xerox PARC 1983 CAT81a Catto A.J. Nondeterministic Programming in a Dataflow Environment PhD thesis, Dept of Comp Sci, Univ. of Manchester, June 1981 CHAM84a * eds. Chambers F.B. & Duce D.A. & Jones G.P. Distributed Computing Apic Studies in Data Processing no 20 Academic Press, 1984 CHAN84a Chang J.H. & DeGroot D. AND-Parallelism of Logic Programs Based on Static Data Dependency Analysis Dept. of Electrical Eng. & Computer Sci, Univ. of California,Berkely,Sept 1984 CHEE85a * Cheese A.B. The Applicability of SKI(BC) Combinators in a Parallel Rewrite Rule Environment Msc Thesis Department of Computer Science, University of Manchester October 1985 CHES80a * Chester D. HCPRVR: An Interpreter for Logic Programs Proc 1st Annual National Conference on Artificial Intelligence pp 93-95 1980 CHEW80a * Chew P. An Improved Algorithm for Computing with Equations IEEE 21st Annual Symposium on Foundations of Computer Science pp 108-117 1980 CHEW81a * Chew P. Unique Normal Forms in Term Rewriting Systems with Repeated Variables 13th Annual ACM Symposium on Theory of Computing (STOC) pp 7-18 1981 CHIK83a Chikayama T. ESP as Preliminary Kernel Language of Fifth Generation Computers ( Also in New Generation Computing, Vol 1, No 1, 1983 ) ICOT Research Center, Technical Report TR-005 1983 CHUR41a Church A. The Calculi of Lambda-Conversion Princeton University Press, Princeton, N.J., 1941 CLAC85a * Clack C. & Peyton-Jones S. Strictness Analysis - A Practical Approach in Proc. IFIP Conf. on Functional Programming Languages and Computer Architecture, Sept 16-19 '85, Nancy, France 1985 CLAR77a Clark K.L. & Sickel Predicate Logic: A Calculus For Deriving Programs Proc. 5th Int. Joint Conf. on Artif. Intell., Cambridge, Mass 1977 CLAR77b Clark K.L. & Tarnlund S. -A. A First Order Theory of Data and Programs Proc. IFIP 1977, pp 939-944 Amsterdam: North Holland CLAR78a Clark K.L. Negation As Failiure In "Logic and Databases", pp 293-322 New York: Plenum Press, 1978 CLAR79a Clark K.L. & McCabe F. The Control Facilities of IC-Prolog Internal Report, Dept of Computing, Imperial College 1979 CLAR79b Clark D.W. Measurements of Dynamic List Structure Use in LISP IEEE TOSE Vol SE-5 No 1, Jan 1979 CLAR80a Clark K.L. & Darlington J. Algorithm Classification Through Synthesis Computer Journal, 61-65, 1980 CLAR80b * Clarke J.W. & Gladstone P.J.S. & Maclean C.D. & Norman A.C. SKIM - S,K,I Reduction Machine Proceedings LISP Conference, Stanford, 1980 CLAR80c * Clark J.H. Structuring A VLSI System Architecture Lambda, second quarter, 1980 , pp25-30 1980 CLAR80d * Clark K.L. & McCabe F.G. IC-PROLOG: Aspects of its Implementation Proceedings of Logic Programming Workshop, Debrecen 1980 CLAR81a Clark D.W. & Lampson B.W. & McDaniel G.A. & Ornstein S.M. The Memory System of a High-Performance Personal Computer CSL-81-1 , Xerox PARC, Jan 1981 CLAR82a * Clark K.L. & Tarnlund S. -A. Logic Programming London: Academic Press, 1982 CLAR82b * Clark T.S. S-K Reduction Engine For An Applicative Language Dept of Comp Sci, University of Illinois at Urbana-Champaign Report no UIUCDCS-R-82-1119, UILU-ENG 82 1741 December 1982 CLAR83a * Clark K. & Gregory S. PARLOG: A Parallel Logic Programming Language (Draft) Research Report DOC 83/5, Dept. of Computing, Imperial College CLAR84a * Clark K. & Gregory S. PARLOG: Parallel Programming in Logic Research Report DOC 84/4, Dept. of Computing, Imperial College CLAR84b Clark K.L. & McCabe F.G. Micro-Prolog: Programming in Logic Prentice Hall International Series in Computer Science January 1984 CLAR85a Clarke E.M. Jr. The Characterization Problem For Hoare Logics in HOA85a 1985 CLAY84a Clayton B.D. ART Programming Primer Inference Corporation, 1984 CLOC81a * Clocksin W.F. & Mellish C.S. Programming in PROLOG Springer Verlag 1981 (2nd Edition 1984) CLOC83a * Clocksin W.F. Hortus Logico-Calculus Notes for Tutorial Session on Declarative Languages and Architectures 1983 CLOC83b * Clocksin W.F. The ZIP Virtual Machine Computer Laboratory, University of Cambridge CLOC84a Clocksin W.F. Memory Representation Issues for Prolog Implementation Computer Laboratory, University of Cambridge CLOC84b * Clocksin W.F. Notes on FlexiFlow Computer Laboratory, University of Cambridge Jan. 1984 CLOC84c * Clocksin W.F. On a Declarative Constraint Language Computer Laboratory, University of Cambridge Jan. 1984 CLOC84d * Clocksin W.F. What is Prolog-X? Computer Laboratory, University of Cambridge CLOC85a * Clocksin W.F. Implementation Techniques for Prolog Databases. Software - Practise and Experience Vol 15(7), pp 669-675 July 1985 CLOC85b * Clocksin W.F. Logic Programming and the Specification of Circuits Computer Laboratory, University of Cambridge Technical Report no 72 1985 COEL83a * Coelho H. Prolog: A Programming Tool For Logical Domain Modelling in Processes and Tools for Decision Suport (ed Sol H.G.), pp 37-45 North Holland 1983 COHE81a Cohen J. Garbage Collection of Linked Data Structures ACM Computing Surveys Vol 13 No.3 Sept 1981, pp 341-367 COLL60a Collins G.E. A Method For Overlapping and Erasure of Lists CACM 3, no 12, pp 655-657 1960 COLM73a Colmerauer A. & Kanoui H. & Pasero R. & Roussel P. Un Systeme de Communication Homme-machine en Francais Group Intelligence Artificielle Universite d,Aix Marseille, Luminy, 1973 CONE83a Conery J.S. The AND/OR Process Model for Parallel Execution of Logic Programs Phd Dissertation, Univ of California, Irvine, Tech rep 204, Information and computer science 1983 COOM84a * ed. Coombs M.J. Developments in Expert Systems Academic Press 1984 CORN79a * Cornish M. et al The TI Data Flow Architectures: The Power of Concurrency For Avionics Proc. 3rd Digital Avionics Systems Conf., pp 19-25 November 1979 CORY84a Cory H.T. & Hammond P. & Kowalski R.A. & Kriwaczek F. & Sadri F. & Sergot M. The British Nationality Act As A Logic Program Dept of Computing, Imperial College, London 1984 COST84a * Costa G. A Metric Characterization of Fair Computations in CCS Department of Computer Science, University of Edinburgh Internal Report CSR-169-84 October 1984 COST85a * Costa G. & Stirling C. Weak and Strong Fairness in CCS Department of Computer Science, University of Edinburgh Internal Report CSR-167-85 January 1985 COX83a Cox Brad J. Object Oriented Programming in C Unix review, October/Novemeber 1983 Page 67 COX84a Cox Brad J. Object Oriented Programming in C Unix Review, February/March 1984 Page 56 COUR82a Courcelle B. Fundamental Properties of Infinite Trees in BROY82a, pp 417-470 1982 COUR84a ed. Courcelle B. Ninth Colloquium on Trees in Algebra and Programming CUP 1984 COUS85a Cousineau G. & Curien P. -L. & Mauny M. The Categorical Abstract Machine CNRS-Universite Paris VII LITP 85-8 January 1985 CRAM * Crammond J.A. & Miller C.D.F. An Architecture For Parallel Logic Languages 2nd International Logic Programming Conference pp 183-194 CRAM85a * Crammond J.A. A Comparative Study of Unification Algorithms for OR_Parallel Execution of Logic Languages IEEE Transactions on Computers, Vol c-34, no 10, pp 911-917 October 1985 CURI85a Curien P. -L. Typed Categorical Combinatory Logic CNRS-Universite Paris VII LITP 85-15 February 1985 CURI85b Currien P. -L. Categorical Combinators, Sequentials Algorithms and Functional Programming CNRS-Universite Paris VII LITP 85-26 March 1985 CURR58a Curry H.B. & Feys R. Combinatory Logic, Vol 1 North Holland Publishing Company, Amsterdam, 1958 CURR72a Curry H.B & Hindley J.R. & Seldin J.P. Combinatory Logic, Vol II North Holland Publishing Company, Amsterdam, 1972 DA83a Da Silva J.G.D. & Watson I. A Pseudo Associative Store with Hardware hashing Proc. IEE, Part E, 1983 DAM82a Damas L. & Milner R. Principal Type Schemes For Functional Programs Proc. ACM Symposium on Principles of Programming Languages, pp 207-212, 1982 DARL75a Darlington J. Application of Program Transformation to Program Synthesis Proc of International Symposium on Proving and Improving Programs, Arc et Senans, France 1975 DARL76a Darlington J. & Burstall R.M. A System that Automaticaly Improves Programs Acta Informatica, Vol 6,p41-60 DARL77a Darlington J. Program Transformation and Synthesis Present Capabilities Report 77/43 Dept of Computing, Imperial College (Also in Artificial Intelligence Journal Vol 16, 1981) 1977 DARL79a Darlington J. A Synthesis of Several Sorting Algorithms Acta Informatica, Vol 11, no 1 1979 DARL80a Darlington J. An Abstract Scheme For a Multiprocessor Implementation of Applicative Languages Proc. of Joint SRC/Newcastle Univ. Workshop on VLSI, Machine Architecture and Very High Level Languages 1980 DARL80b Darlington J. Synthesis of Implementations For Abstract Data Types Report 80/4 Dept of Computing, Imperial College 1980 DARL80c Darlington J. The Design of Efficient Data Representations Dept of Computing, Imperial College 1980 DARL81a Darlington J. The Structured Description of Algorithm Derivations To Appear in Amsterdam Conf. on Algorithms October 1981 DARL81b * Darlington J. & Reeve M. ALICE- A Multi-Processor Reduction Machine for the Parallel Evaluation of Applicative Languages Proc of 1981 ACM Conf on Functional Programming Languages & Computer Architecture DARL82a Darlington J. & Henderson P. & Turner D.A. Functional Programming and its Applications- An Advanced Course Cambridge University Press 1982 DARL82b Darlington J. Program Transformation in DARL82a 1982 DARL83a * Darlington J. The New Programming:Functional & Logic Languages Distributed Computing- A Review for Industry, SERC, Manchester 1983 DARL83b * Darlington J. & Reeve M. ALICE- and the Parallel Evaluation of Logic Programs Invited Paper, 10th Annual Int. Symposium on Computer Architecture,1983 DARL83c * Darlington J. Unification of Logic and Functional Languages Dept. of Computing, Imperial College, Date Unknown DARL85a * Darlington J. & Field A.J. & Pull H. The Unification of Functional and Logic Languages Department of Computing, Imperial College Doc 85/3 February 1985 DAVI78a Davis A.L. The Architecture and System Method of DDM1: A Recursively Structured Data Driven Machine Proc. 5th Int. Symp on Comp. Arch., pp 210-215 April 1978 DEGR84a DeGroot D. Restricted And-Parallelism Proc. Int. Conf. 5th Generation Computer Systems, 1984, pp 471-478 1984 DEGR85a * DeGroot D. Alternate Graph Expressions for Restricted And-Parallelism IEEE Spring Compcon 1985, pp 206-210 1985 DEGR85b * DeGroot D. & Chang J-H Une Comparison de Deux Modeles d'Execution de Parallelisme "et" a Comparison of Two And-Parallel Execution Models Hardware and Software Components and Architectures for the 5th Generation, March 5-7 1985, pp 271-280 1985 DELI79a Deliyanni A. & Kowalski R.A. Logic and Semantic Networks CACM Vol 22,No 3,p184-192 DEN75a Dennis J.B. & Misunas D.P. A Preliminary Architecture for a Basic Dataflow Processor Proc. 2nd Annual Symposium on Computer Architecture SIGARCH vol 3, no 4 , Jan 75, pp 126-132 1975 DEN79a Dennis J.B. The Varieties of Data Flow Computers MIT Computation Structures Group, Memo 183, August 1979 DELV85a * Delves L.M. & Mawdsley S.C. DAP-Algol: A Development System for Parallel Algorithms Computer Journal, Vol 28, no 2, pp 148-153 1985 DERT84a Derthick M. Variations on the Boltzmann Machine Learning Algorithm CMU-CS-84-120 Dept of Comp Sci, Carnegie-Mellon Univ August 1984 DETT86a * Dettmer R. Flagship A Fifth Generation Machine Electronics and Power, pp 203-208 March 1986 DEU76a Duetsch & Peter L. & Bobrow & Daniel G. An Efficient, Incremental, Automatic Garbage Collector CACM Vol 19,no 9, pp 522-526, 1976 DIJK82a Dijkstra E.W. Lambek and Moser Revisited in BROY82a, pp 19-22 1982 DIJK82b Dijkstra E.W. Repaying our Debts in BROY82a, pp 135-141 1982 DIJK82c Dijkstra E.W. A Tutorial on the Split Binary Semaphore in BROY82a, pp 555-564 1982 DIJK85a Dijkstra E.W. Invariance and Non-Determinacy in HOA85a 1985 DONA85a * Donahue J. & Demers A. Data Types Are Values ACM Transactions on Programming Languages and Systems, vol 7, no 3 pp 426-445 July 1985 DOWN76a Downey P.J. & Sethi R. Correct Computation Rules For Recursive Languages SIAM Journal of Computing 5(3), pp 378-401, September 1976 DUCE84a * ed. Duce D.A. Distributed Computing Systems Programme IEE Digital Electronics and Computing Series no 5 Peter Peregrinus Ltd., 1984 DUCK85a * Duckworth R.J. & Brailsford D.F. & Harrison L. A Structured Data Flow Computer Internal Report, Comp Sci Group, Univ of Nottingham October 14, 1985 EGA79a Egan G.K. Data Flow: Its Applications to Decentralised Control PhD Thesis, Dept of Comp Sci, Univ. of Manchester, 1979 ELIT84a eds. Elithorn A. & Banerji R. Artificial and Human Intelligence: Symposium North Holland 1984 ENNA82a Ennals J.R. Beginning Micro-Prolog Ellis Horwood Series Artificial Intelligence Ellis Horwood Ltd., 1982 ENOM84a Enomoto H. & Yonezaki N. & Saeki M. & Chiba K. & Takizuka T. & Yokoi T. Natural Language Based System Development System TELL ICOT Research Center, Technical Report TR-067 June 1986 ENOM84b Enomoto H. & Yonezaki N. & Saeki M. Formal Specification and Verification for Concurrent Systems by TELL ICOT Research Center, Technical Report TR-068 June 1986 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 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 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 FILG82a * Filgueiras M. On The Implementation of Control in Logic Programming Languages Universidade 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 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 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 FREI77a Freidman D.P. & Wise D.P. 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 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 FUJI83a Fujita M. & Tanaka H. Moto-oka T. Verification with PROLOG and Temporal Logic Faculty of Eng. Univ. of Tokyo 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 FUTA85a Futatsugi K. & Goguen J.A. & Jouannaud J-P & Meseguer J. Principles of OBJ2 In Proc. 1985 Principles of Programming Languages 1985 GIER80a Gierz G. & Hofmann K.H. & Keimel K. & Lawson J.D. & Mislove M. & Scott D.S. A Compendium of Continuous Lattices Springer Verlag 1980 GLAS84a * Glaser H. & Hankin C. & Till D. Principles of Functional Programming Prentice Hall International, 1984 GLAU78a Glauert J.R.W. A Single-Assignment Language for Data Flow Computing MSc Dissertation, Dept of Comp Sci, Univ. of Manchester, January 1978 GLAU85a * Glauert J.R.W. & Holt N.P. & Kennaway J.R. & Sleep M.R. An Active Term Rewrite Model for Parallel Computation Document, Alvey DACTL group, March 1985 GLAU85b * Glauert J.R.W. & Holt N.P. & Kennaway J.R. & Sleep M.R. DACTL Report 3/5 Document, Alvey DACTL group, March 1985 GLAU85c * Glauert J.R.W. & Holt N.P. & Kennaway J.R. & Reeve M.J. & Sleep M.R. & Watson I. DACTL0: A Computational Model and an Associated Compiler Target Language University of East Anglia May 1985 GOEB85a Goebel R. The Design and Implementation of DLOG, a Prolog-Based Knowledge Representation System New Generation Computing, Vol 3, No 4, pp 385-401 1985 GOGU67a Goguen J.A. L-Fuzzy Sets Journal of Mathematical Analysis and Applications Vol 18 no 1, pp 145-174 1967 GOGU68a Goguen J.A. Categories of Fuzzy Sets Phd Dissertation Dept. of mathematics, Univ. of california, berkeley 1968 GOGU68b Goguen J.A. The Logic of Inexact Concepts Synthese, Vol 19, pp 325-373 1968-69 GOGU69a Goguen J.A. Categories of V-Sets Bulletin of the American Mathematical Society, Vol 75, no 3, pp 622-624 1969 GOGU71a Mathematical Representation of Hierarchically organised Systems in "Global Systems Dynamics" (ed. Attinger E. & Karger S.) Basel, Switzerland pp 112-128 1971 GOGU72a Goguen J.A. Systems and Minimal Realisation Proc. IEEE Conf. on Decision and Control, Miami Beach, Florida pp 42-46 1972 GOGU72b Goguen J.A. Minimal Realisation of Machines in Closed Categories Bulletin of the American Mathematical Society Vol 78, no 5, pp 777-783 1972 GOGU72c Goguen J.A. Hierarchical Inexact Data structures in Artificial Intelligence Problems Proc. 5th Hawaii Int. Conf. on System Sciences Honolulu, Hawaii, pp 345-347 1972 GOGU72d Goguen J.A. & Yacobellis R.H. The Myhill Functor, Input-Reduced Machines, and Generalised Krohn-Rhodes Theory Proc. 5th Princeton Conf. on Information Sciences and Systems Princeton, New Jersey pp 574-578 1972 GOGU72e Goguen J.A. On Homomorphisms, Simulation, Correctness and Subroutines for programs and Program schemes Proc. 13th IEEE Symp. on Switching and Automata Theory College Park, Maryland pp 52-60 1972 GOGU73a Goguen J.A. Realisation is Universal mathematical System Theory Vol 6, no 4, pp 359-374 1973 GOGU73b Goguen J.A. System theory concepts in Computer Science Proc. 6th Hawaii Int. Conf. on Systems Sciences Honolulu, Hawaii, pp 77-80 1973 GOGU73c Goguen J.A. The Fuzzy Tychonoff Theorem Journal of mathematical Analysis and applications vol 43, pp 734-742 1973 GOGU73d Goguen J.A. Categorical Foundations for general Systems Theory in "Advances in Cybernetics and Systems research" (ed. Pichler F. & Trappl R.) Transcripta Books, London pp 121-130 1973 GOGU74a Goguen J.A. Semantics of Computation Proc. 1st Int. Symp. on Category Theory Applied to Computation and Control (1974 American Association for the Advancement of Science, San francisco) Univ. of massachusetts at Amherst, 1974, pp 234-249 also published in LNCS vol 25, pp 151-163, springer-verlag 1975 GOGU74b Goguen J.A. & Thatcher J.W. Initial Algebra Semantics proc. 15th IEEE Symp. on Switching and Automata pp 63-77 1974 GOGU74c Goguen J.A. Concept Representation in Natural and Artificial languages: Axioms, extensions and Applications for Fuzzy sets" Int. Journal of man-Machine Studies vol 6, pp 513-561 1974 reprinted in "Fuzzy Reasoning and its Applications" (ed. Mamdani E.H. & Gaines B.R.) pp 67-115 Academic Press 1981 GOGU74d Goguen J.A. On Homomorphisms, Correctness, termination, Unfoldments and Equivalence of Flow Diagram Programs" Journal of Computer and System Sciences, vol 8, no 3, pp 333-365 1974 GOGU74e Goguen J.A. Some Comments on Applying Mathematical System Theory in "Systems Approaches and Environmental Problems" (ed. Gottinger H.W. & Vandenhoeck & Rupert) pp 47-67 (Gottingen, Germany) 1974 GOGU75a Goguen J.A. & Thatcher J.W. & Wagner E.G. & Wright J.B. Factorisation, Congruences, and the Decomposition of Automata and Systems in "Mathematical Foundations of Computer Science" LNCS Vol 28, pp 33-45, Springer-Verlag 1975 GOGU75b Goguen J.A. Objects International Journal of general systems, vol 1, no 4, pp 237-243 1975 GOGU75c Goguen J.A. Discrete-Time Machines in Closed Monoidal Categories, I, Journal of Computer and System sciences, Vol 10, No 1, February, pp 1-43 1975 GOGU75c Goguen J.A. & Thatcher J.W. & Wagner E.G. & Wright J.B. Abstract Data types as Initial algebras and the Correctness of Data Representations Proc. Conf. on Computer Graphics, Pattern recognition, and Data Structure (Beverly Hills, California), pp 89-93 1975 GOGU75d Goguen J.A. & Carlson L. Axioms for Discrimination Information IEEE Transactions on Information Theory, Sept '75 pp 572-574 1975 GOGU75e Goguen J.A. On Fuzzy Robot Planning in "Fuzzy Sets and Their Applications to Cognitive and Decision Processes (ed. Zadeh L.A. & Fu K.S. & Tanaka K. & Shimura M.) pp 429-448 Academic Press 1975 GOGU75f Goguen J.A. Robust Programming Languages and the Principle of Maximum Meaningfulness Proc. Milwaukee Symp. on Automatic Computation and Control (Milwaukee, Wisconsin) pp 87-90 1975 GOGU75g Goguen J.A. Complexity of Hierarchically Organised Systems and the Structure of Musical Experiences Int. Journal of General Systems, vol 3, no 4, 1975, pp 237-251 originally in UCLA Comp. Sci. Dept. Quarterly, October 1975, pp 51-88 1975 GOGU76a Goguen J.A. & Thatcher J.W. & Wagner E.G. & Wright J.B. Some Fundamentals of Order-Algebraic Semantics Proc. 5th Int. Symp. on Mathematical Foundations of Computer Sciences (Gdansk, Poland, 1976) LNCS vol 46, 1976, pp153-168, Springer-Verlag 1976 GOGU76b Goguen J.A. & Thatcher J.W. & Wagner E.W. & Wright J.B. Parallel Realisation of Systems, Using Factorisations and Quotients in Categories Journal of Franklin Institute, vol 301, no6, June '76, pp 547-558 1976 GOGU76c Goguen J.A. Correctness and Equivalence of Data Types Proc Symp. on Mathematical Systems Theory (Udine, Italy) Springer Verlag Lecture Notes (ed. Marchesini G.) pp 352-358 1976 GOGU76d Goguen J.A. & Thatcher J.W. & Wagner E.G. & Wright J.B. Rational Algebraic Theories and Fixed-point Solutions Proc. IEEE 17th Symp on Foundations of Computer Science (Houston, Texas), 1976, pp 147-158 1976 GOGU77a Goguen J.A. & Thatcher J.W. & Wagner E.G. & Wright J.B. Initial Algebra Semantics and Continuous Algebras JACM, vol 24, no 1, January 1977, pp 68-95 1977 GOGU77b Goguen J.A. Abstract Errors for Abstract Data Types in "Formal Descriptions of Programming Concepts" (ed. E.Neuhold) North-Holland, 1978, pp 491-522 also in Proc. IFIP Working Conf. on Formal Description of Programming Concepts (ed. Dennis J.) MIT Press, 1977, pp 21.1-21.32 1977 GOGU77c * Goguen J.A. & Burstall R.M. Putting Theories Together to Make Specifications Proc. 5th Int. Joint Conf. on Artificial Intelligence (MIT, Cambridge, Massachusetts), 1977, pp 1045-1058 1977 GOGU77d Goguen J.A. & Meseguer J. Correctness of Recursive Flow Diagram Programs Proc. Conf. on Mathematical Foundations of Comp. Sci. (Tatranska Lomnica, Czechoslovakia) pp 580-595 1977 GOGU77e Goguen J.A. Algebraic Specification Techniques UCLA Comp. Sci. Dept. Quarterly Vol 5, no 4 pp 53-58 1977 GOGU78a Goguen J.A. & Varela F. The Arithmetic of Closure Journal of Cybernetics, Vol 8, 1978 also in "Progress in Cybernetics and Systems research, vol 3" (ed. Trappl R. & Klir G.J. & Ricciardi L.) Hemisphere Pub Co. (Washington D.C.) 1978 GOGU78b Goguen J.A. & Ginali S. A Categorical Approach to General Systems in "Applied General Systems research" (ed. Klir G.) Plenum Press pp 257-270 1978 GOGU78c Goguen J.A. & Thatcher J.W. & Wagner E.G. An Initial Algebra Approach to the Specification, Correctness and Implementation of Abstract data Types in "Current Trends in Programming, vol 4, Data Structuring" pp 80-149 (ed. Yeh R.) Prentice Hall 1978 GOGU78d Goguen J.A. Some Design Principles and Theory for OBJ-0, a Language for Expressing and Executing Algebraic Specifications of Programs Proc. Int. Conf. on Mathematical Studies of Information Processing (Kyoto, Japan) pp 429-475 1978 GOGU78e Goguen J.A. & Linde C. Structure of Planning Discourse Journal of Social and Biological Structures, Vol 1 pp 219-251 1978 GOGU79a Goguen J.A. & Shaket E. Fuzzy Sets at UCLA Kybernetes, vol 8 pp 65-66 1979 GOGU79b Goguen J.A. & Varela F. Systems and Distinctions; Duality and Complementarity International Journal of General Systems, vol 5 pp 31-43 1979 GOGU79c Goguen J.A. & Tardo J.J. An Introduction to OBJ: A Language for writing and Testing formal algebraic specifications Reliable Software Conf. Proc. (ed. Yeh R.) (Cambridge, Massachusetts) pp 170-189 Prentice Hall 1979 GOGU79d Goguen J.A. Algebraic Specification in "Research Directions in Software Technology" (ed. Wegner P.) pp 370-376 MIT Press 1979 GOGU79e Goguen J.A. Some Ideas in Algebraic Semantics Proc. 3rd IBM Symp on Mathematical Foundations of Computer Science (Kobe, Japan) 53 pages 1979 GOGU79f Goguen J.A. Fuzzy Sets and the Social Nature of Truth in "Advances in Fuzzy Set Theory and Applications" (eds. Gupta M.M. & Yager R.) pp 49-68 North-Holland Press 1979 GOGU79g Goguen J.A. & Tardo J. & Williamson N. & Zamfir M. A Practical Method for Testing Algebraic Specifications UCLA Computer Science Quarterly, Vol 7, no 1 pp 59-80 1979 GOGU80a Goguen J.A. Thoughts on Specification, Design and Verification Software Engineering Notes, Vol 5, no 3 pp 29-33 1980 GOGU80b How to Prove Algebraic Inductive Hypotheses Without Induction: with Applications to the Correctness of Data Type Implementation Proc. 5th Conf. on Automated Deduction, (Les Arcs, France) (eds. Bibel W. & Kowalski R.) LNCS, vol 87 pp 356-373 Springer Verlag 1980 GOGU80c Goguen J.A. & Burstall R.M. The Semantics of CLEAR, a Specification Language in "Abstract Software Specification" (eds Bjorner D.) (Proc. 1979 Copenhagen Winter School) LNCS, vol 86 pp294-332 1980 GOGU80d Goguen J.A. & Linde C. On the Independence of Discourse Structure and Semantic Domain Proc. 18th Annual Meeting of the Association for Computational Linguistics, Parasession on Topics in Interactive Discourse (Univ. of Pennsylvania, Philadelphia, Pennsylvania) pp 35-37 1980 GOGU81a Goguen J.A. & Parsaye-Ghomi K. Algebraic Denotational Semantics Using Parameterised Abstract Modules Proc. Int. Conf on Formalising Concepts (Peniscola, Spain) (ed. Diaz J. & Ramos I.) LNCS, vol 107 pp 292-309 Springer verlag 1981 GOGU81b Goguen J.A. & Burstall R.M. An Informal Introduction to CLEAR, a Specification Language in "The Correctness Problem in Computer Science" (eds. Boyer R. & Moore J.) pp 185-213 Academic Press 1981 GOGU81c Goguen J.A. & Meseguer J. Completeness of many-Sorted Equational Logic SIGPLAN Notes, Vol 16, no 7, pp 24-32, 1981 also in SIGPLAN Notes, vol 17, no 1, pp 9-17, 1982 extended version as Tech Rep CSLI-84-15, Center for the Study of Language and Information, Standford Univ., September 1984 GOGU82a Goguen J.A. ORDINARY Specification of KWIC Index Generation Proc Workshop on Program Specification (ed. Staunstrup J.) LNCS, Vol 134 pp 114-117 Springer Verlag 1982 GOGU82b Goguen J.A. ORDINARY Specification of Some Constructions in Plane Geometry Proc Workshop on Program Specification (ed. Staunstrup J.) LNCS, Vol 134 pp 31-46 Springer verlag 1982 GOGU82c Goguen J.A. & Burstall R.M. Algebras, Theories and Freeness: An Introduction for Computer Scientists in "Theoretical Foundations of Programming Methodology" (eds. Broy M. & Schmidt G.) pp 329-348 D. Reidel 1982 GOGU82d Goguen J.A. & Meseguer J. Security Policies and Security Models Proc 1982 Berkeley Conf on Computer Security IEEE Computer Society Press pp 11-20 1982 GOGU82e Goguen J.A. Universal Realisation, Persistent Interconnection and Implementation of Abstract Modules Proc 9th Int Colloquium on Automata, Languages and Programming (Aarhus, denmark) LNCS, Springer Verlag 1982 GOGU82f Goguen J.A. Rapid Prototyping in the OBJ Executable Specification Language Proc Rapid Prototyping Workshop (Columbia, Maryland) 1982 also in Software engineering Notes, ACM Special Interest Group on Software engineering, vol 7, no 5, pp 75-84, 1983 GOGU83a Goguen J.A. & Meseguer J. & Plaisted D. Programming with Parameterised Abstract Objects in OBJ in "Theory and practise of Software technology" (eds. Ferrari D. & Bolognani M. & Goguen J.A.) pp 163-193 North-Holland 1983 GOGU83b Future Directions for Software Engineering in "Theory and Practise of Software Technology" (eds. Ferrari D. & Bolognani M. & Goguen J.A.) pp 243-244 North-Holland 1983 GOGU83c Goguen J.A. & Ferrari D. & Bologanani M. Theory and Practise of Software Technology North Holland 1983 GOGU83d Goguen J.A. & Meseguer J. Correctness of recursive Parallel Non-Deterministic Flow Programs Journal of Computer and System Sciences, vol 27, no 2 pp 268-290 October 1983 GOGU83e Goguen J.A. Parameterised Programming IEEE TOSE, vol SE-10, no 5, september 1984, pp 528-543 preliminary version in Proc. Workshop on Reusability in Programming, ITT, pp 138-150 1983 GOGU83f Goguen J.A. & Linde & Weiner J. Reasoning and Natural explanation International Journal of man-Machine Studies, Vol 19 pp 521-559 1983 GOGU83g Goguen J.A. & Burstall R.M. Introducing Institutions Logics of programs (Carnegie-mellon Univ., Pittsburgh PA, June 1983) LNCS, vol 164, Springer Verlag pp 221-256, 1984 GOGU84a Goguen J.A. & Meseguer J. Unwinding and Inference Control 1984 Symp on Security and privacy, IEEE, pp 75-86 1984 GOGU84b Goguen J.A. & Meseguer J. Equality, types, Modules and generics for Logic Programming Tech Rep no. CSLI-84-5, Center for the Study of Logic and Information, Stanford University, March 1984 also in Proc. 2nd int. Logic Programming Conf., Upsala, Sweden, pp 115-125 1984 GOGU84c Goguen J.A. & Bustall R.M. Some Fundamental Properties of Algebraic Theories: A Tool for Semantics of Computation, Part 1: Comma Categories, Colimits and Theories Theoretical Computer Science, vol 31, no 2, pp 175-209 1984 GOGU84d Goguen J.A. & Burstall R.M. Some Fundamental properties of Algebraic Theories: A Tool for Semantics of computation, Part 2: Signed and Abstract theories Theoretical Computer Science, vol 31, no 3 pp 263-295 1984 GOGU84e Goguen J.A. & Meseguer J. Equality, Types, Modules and (Why Not ?) Generics for Logic programming Journal of Logic programming, vol 1, no 2 pp 179-210 1984 GOGU84f Goguen J.A. & Murphy M. & Randle R.J. & Tanner T.A. & Frankel R.M. & Linde C. A Full Mission Simulator study of Aircrew performance: The measurement of Crew Coordination and descisionmaking factors and their relationships to Flight task performance Proc. 20th Annual Conf on Manual control, vol II (eds. Hartzell E.J. & Hart S.) NASA Conference publication 2341, pp 249-262 1984 GOGU84g Goguen J.A. & Linde C. & Murphy M. Crew Communication as a factor in Aviation Accidents Proc 20th Annual Conf on Manual control, vol II (eds. Hartzell E.J. & Hart S.) NASA Conference Publication 2341, pp 217-248 1984 GOGU85a Goguen J.A. Meseguer J. EQLOG: Equality, Types and Generic Modules for Logic Programming In Functional and Logic Programming, Prentice Hall 1985 GOGU85b Goguen J.A. & Jouannaud J-P & Meseguer J. Operational Semantics for Order-Sorted Algebra In Proc. ICALP 1985 GOGU85c Goguen J.A. & Meseguer J. Initiality, Induction and Computability to appear in "Algebraic Methods in Semantics" (ed. Nivat M. & Reynolds J. ) Cambridge U.P. chapter 14, pp 459-540 approx. 1985 GOGU85d Goguen J.A. & Meseguer J. Completeness of Many-Sorted Equational Logic to appear in Houston Journal of Mathematics 1985 GOGU85e * Goguen J.A. & Futatsugi K. & Jouannaud J.-P. & Meseguer J. Principles of OBJ2 Proc 1985 Symp on Principles of programming languages, ACM pp 52-66 1985 GOLD81a Goldfarb W. The Undecidability Of The Second Order Unification Problem Theoretical Computer Science 13, pp 225-230, 1981 GOOD83a Goodall A. Language Of Intelligence (PROLOG) Systems International p21-24 Jan 1983 GOOD85a Good D.I. Mechanical Proofs about Computer Programs in HOA85a 1985 GORD79a * Gordon M.J. & Milner R. & Wadsworth C.P. Edinburgh LCF Lecture Notes In Computer Science, Vol 78 Berlin: Springer Verlag, 1979 GORD85a * Gordon M. HOL : A Machine Oriented Formulation of Higher order Logic Computer Laboratory, University of Cambridge Technical Report no 68 July 16 1985 GOST79a Gostelow K.P. & Thomas R.E. A View of Dataflow Proc. Nat. Comp. Conf., Vol 48, pp 629-636 1979 GOTO82a Goto A. & Moto-oka T. Basic Architecture of Highly Parallel Processing System for Inference Document Univ. of Tokyo, Dec 1982 GREE85a * Greene K.J. A Fully Lazy Higher Order Purely Functional Programming Language with Reduction Semantics CASE Center Technical Report No. 8503 CASE Center, Syracuse University, New York December 1985 GREG85a * Gregory S. Design, Application and Implementation of a Parallel Programming Language PhD Thesis, Dept of Computing, Imperial College, Univ of London September 1985 GRIE77a Gries D. An Exercise in Proving Parallel Programs Correct CACM, 20, no 12, pp 921-930 1977 GRIS71a Griswold R.E. & Poage J.F. & Polonsky J.P. The Snobol-4 Programming Language Prentice Hall 1971 GRIS84a * Griswold R.E. Expression Evaluation in the Icon Programming Language Proceedings of 1984 ACM Symposium on Lisp and Functional Programming Austin, Texas pp 177-183 1984 GUES76a * Guessarian I. Semantic Equivalence of Program Schemes and its Syntactic Characterization Proceedings 3rd International Colloquium on Automata Languages and Programming pp 189-200 Edinburgh University Press, 1976 GUNN84a * Gunn H.I.E. & Harland D.M. Polymorphic Programming II. An Orthogonal Tagged High Level Architecture Abstract Machine Software - Practise and Experience, Vol 14(11), pp 1021-1046 November 1984 GURD78a * Gurd J. & Watson I. & Glauert J. A Multi-Layered Data Flow Computer Architecture Internal Report, Dept of Comp Sci, Univ of Manchester 1978 GURD85a * Gurd J. & Kirkham C.C. & Watson I. The Manchester Prototype Dataflow Computer CACM, vol 28, p 34-52, 1985 GUTT75a Guttag J.V. The Specification and Application to programming of Abstract Data Types PhD dissertation, Univ. of Toronto, Dept of Comp Sci 1975 GUTT77a Guttag J.V. Abstract Data Types and the Development of Data Structures CACM Vol 20, no 6, pp 396-404, June 1977 GUTT78a Guttag J.V. & Horowitz E. & Musser D.R. Abstract Data Types and Software Validation CACM Vol 21, pp 1048-1064, december also USC Information Sciences Institute Tech. Rep. Aug 76 1978 GUTT78b Guttag J.V. & Horning J.J. The Algebraic Specification of Abstract Data Types Acta Informatica, 10, 1, pp 27-52 1978 GUTT80a Guttag J.V. Notes on Type Abstraction (version 2) IEEE Trans. on Soft. Eng. Vol SE-6, no 1, pp 13-23, January 1980 GUTT82a Guttag J. Notes On Using Types and Type Abstraction In Functional Programming in DARL82a 1982 GUZM81a * Guzman A. A heterarchical Multi-Microprocessor Lisp Machine 1981 IEEE Computer Society Workshop on Computer Architecture for Pattern Analysis and Image Database Management, Hot Springs, Virginia pp 309 - 317 November 11-13, 1981 HALI84a * Halim Z. A Data-/Demand-Driven Model for the Evaluation of PARLOG And-Relations and Conditional Equations Document, Dept of Computer Science, Univ. of Manchester Jan 1984 HAMI85a * Hamilton A.G. Program Construction in Martin-Lof Type Theory T.R. 24 Tech Rep, Dept of Comp Sci, Univ of Stirling June 1985 HAMM83a Hammond P. & Sergot M. A Prolog Shell for Logic-Based Expert Systens Proc. 3rd BCS Expert Systems Conf. pp 95-104, 1983 HAMM83b Hammond P. Representation of DHSS Regulations as a Logic Program B.C.S. Expert Systems Conference 1983 HAMM84a Hammond K. The KRC Manual CSA/16/1984, DSAG-3, Univ. of East Anglia, May 1984. HANK85a * Hankin C.L. & Osmon P.E. & Shute M.J. COBWEB - A Family of Fifth Generation Computer Architectures 25th January 1985 HANS79a Hansson A. & Tarnlund S. -A. A Natural Programming Calculus Proc. 6th IJCAI, Tokyo, Japan, pp 348-355, 1979 HARL84a * Harland D.M. Polymorphic Programming Languages Ellis Horwood 1984 HARR81a * Harrison P.G. Efficient Storage Management for Functional Languages Dept of Computing, Imperial College, Research Report no DOC 81/12 August 1981 HASE84a Hasegawa R. A List Processing Orientated Data Flow Machine Architecture Electrical Communication Lab, Nippon Telegraph and Telephone Public Corporation HATT83a Hattori T. & Yokoi T. Basic Constructs of the SIM Operating System ( Also in New Generation Computing, Vol 1, No 1, 1983 ) ICOT Research Center, Technical Memorandum TM-0009 June 1986 HATT84a * Hattori T. & Tsuji J. & Yokoi T. SIMPOS: An Operating System for a Personal Prolog Machine PSI ICOT Research Center, Technical Report TR-055 April 1984 HATT84b * Hattori T. & Yokoi T. The Concepts and Facilities of SIMPOS Supervisor ICOT Research Center, Technical Report TR-056 April 1984 HATT84c Hattori T. & Yokoi T. The Concepts and Facilities of SIMPOS File System ICOT Research Center, Technical Report TR-059 April 1984 HAYE84a Hayes P.J. Entity-Oriented Parsing CMU-CS-84-138 Dept of Comp Sci, Carnegie-Mellon Univ. 9 June 1984 HEND76a * Henderson P. & Morris J.M. A Lazy Evaluator Proceedings 3rd POPL Symposium, Atlanta Georgia, 1976, pp 95-103 HEND80a * Henderson P. Functional Programming: Application and Implementation Prentice Hall 1980 HEND82a Henderson P. Purely Functional Operating Systems in DARL82a 1982 HEND83a * Henderson P. & Jones G.A. & Jones S.B. The Lispkit Manual, vol 1 and vol 2 (sources) Oxford University Programming Research Group Technical Monograph PRG-32(i) and PRG-32(ii) 1983 HEND84a * Henderson P. Specifications and Programs FPN-5 Dept of Comp Sci, Univ. of Stirling Paper presented at Centre for Software Reliability Workshop, City University, April1984 to be published in "Software; Requirements, Specification and Testing" (ed Dr. T. Anderson) pub. Blackwell Scientific Publications July 1984 HEND84b Henderson P. Some Distributed Systems FPN-6 Dept of Comp Sci, Univ. of stirling July 1984 HEND84c * Henderson P. Process Combinators FPN-7 Dept of Comp Sci, Univ of Stirling August 1984 HEND84d * Henderson P. Communcating Functional Programs FPN-8 Dept of Comp Sci, Univ of Stirling September 1984 HEND84e * Henderson P. Me Too - A Language for Software Specification and Model Building - Preliminary Report FPN-9 First Draft : October 1984 Second Draft : December 1984 1984 HENN76a * Hennessy M. & Ashcroft E.A. The Semantics of Nondeterminism Proceedings 3rd International Colloquium on Automata Languages and Programming pp 478 - 493 Edinburgh University Press, 1976 HEWI73a Hewitt C. et al. Actor Induction and Meta-Evaluation 1st ACM Symposium on Principles of Programming Languages 1973 HEWI77a Hewitt C. Viewing Control Structures as Patterns of Passing Messages AI Journal 8, no 3, pp 323-364, 1977 HEWI79a Hewitt C. Control Structure as Patterns of Passing Messages Artificial Intelligence: An MIT Perspective ,The MIT Press p433-465 1979 HEWI80a * Hewitt C. The Apiary Network Architecture for Knowledgeable Systems Proc. 1980 LISP Conf. p107-117 HIKI83a Hikita T. Average Size of Turner's Translation to Combinator Program ICOT research Center, Technical Report TR-017 August 1983 HINDI84a Hindin Harvey J. Fifth-Generation Computing: Dedicated Software is The Key Computer Design, Sept 1984, page 150 HINDL69a Hindley R. The Principal Type Scheme of an Object in Combinatory Logic Trans. American Mathematical Society 146, pp 29-60 1969 HINDL83a * Hindley R. The Completeness Theorem For Typing Lambda-Terms Theoretical Computer Science 22, pp 1-17 North Holland January 1983 HIRA83a Chart Parsing in Concurrent Prolog ICOT research Center, Technical Report TR-007 May 1983 HOAR82a Structure of an Operating System in BROY82a, pp 643-658 1982 HOAR85a eds. Hoare C.A.R. & Sheperdson J.C. Mathematical Logic and Programming Languages Prentice Hall International Series in Computer Science, 1985. First published in the Philosophical Transactions of the Royal Society, Series A, Volume 3/12, 1984. HOAR85b Hoare C.A.R. Programs are Predicates in HOA85a 1985 HOCK81a * Hockney R.W. & Jesshope C.R. Parallel Computers Adam Hilger Ltd., Bristol 1981 HOFF82a * Hoffmann C.M. & O'Donnell M.J. Programming With Equations ACM Transactions on Programming Languages and Systems, Vol 4, No 1 pp 83-112 January 1982 HOFF83a Hoffmann C.M. & O'Donnell M. Implementation of an interpreter for abstract equations ACM Conference on Computer Science 1983 HOGG78a Hogger C.J. Program Synthesis in Predicate Logic Proc. AISB/GI Conf. on Artif. Intell, Hamburg, pp 18-20 1978 HOGG78b Hogger C.J. Goal Oriented Derivation of Logic Programs Proc. MFCS Conf., Polish Acadamy of Sciences, Zakopane, pp 267-276 1978 HOGG81a Hogger C.J. Derivation of Logic Programs J. Ass. Comput. Mach. 28, pp 372-422 1981 HOGG84a Hogger C.J. Introduction to Logic Programming Academic Press 1984 HOLL80a Holloway J. & Steele G.L.Jr. & Sussman G.J. & Bell A. The Scheme-79 Chip AI Memo 559, MIT Lab, Cambridge, 1980 HOLL80b Holloway J. & Steel G. & Sussman G.J. & Bell A. The Scheme 79 Chip Proceedings LISP Conference, Stanford, 1980 HOLT86a * Holt N. Parallel Processing For Fifth Generation Systems in BCS86a 1986 HOMM80a * Hommes F. & Kluge W. & Schlutter H. A Reduction Machine Architecture and Expression Oriented Editing GMD ISF 80.04 1980 HOPK79a Hopkins R.P. et al A Computer Supporting Data Flow, Control Flow and Updatable Memory Computing Laboratory, Univ of Newcastle upon Tyne Tech Rep 144 1979 HORA85a * Horacek H. Semantic/Pragmatic Representation Language Forschungsstelle fur Informationswissenschaft und Kunstiliche Intelligenz Universitat Hamburg LOKI Report NLI - 2.1 December 1985 HSIA83a * Hsiang J. & Dershowitz N. Rewrite Methods For Clausal and Non-Clausal Theorem Proving 10th EATCS International Colloquium on Automata, Languages and Programming pp 331-346 1983 HSIA84a Hsiao D.K. Advanced Database Machine Architectures Prentice Hall 1984 HUD81a Hudak P. Call-Graph Reclamation: An Alternative Storage Reclamation Scheme AMPS Technical Memorandum #4 August 1981 HUD81b Hudak P. Real-Time Mark-Scan Garbage Collection on a Distributed Applicative Processing System AMPS Technical Memorandum #5 October 1981 HUD84a Hudak P. & Kranz D. A Combinator Based Compiler For a Functional Language 11th Symposium on Principles of Programming Languages pp 122-132 1984 HUDA84b Hudak P. & Keller R.M. Garbage Collection and Task Deletion in Distributed Applicative Processing System Proc. Conf. on LISP and Functional Programming, ACM, August 1984 HUDA84c * Hudak P. ALFL Reference Manual and Programmers Guide Dept of Computer Science, University of Yale, Technical Report YALEU/DCS/TR-322 Second Edition October 1984 HUDA84d * Hudak P. Distributed Applicative Processing Systems : Project Goals, Motivation, and Status Report Dept of Computer Science, University of Yale, Technical Report YALEU/DCS/TR-317 May 1, 1984 HUDA85a * Hudak P. & Goldberg B. Distributed Execution of Functional Programs Using Serial Combinators IEEE Transactions on Computers, Vol c-34, no 10, pp 881-891 October 1985 HUDA85b * Hudak P. & Guzman J.C. A Proof-Stream Semantics for Lazy Narrowing Dept of Computer Science, University of Yale, Research Report YALEU/DCS/RR-446 December 1985 HUDA85c * Hudak P. & Young J. Higher-Order Strictness Analysis in Untyped Lambda Calculus Dept of Comp Sci, Univ of Yale October 1985 HUDA85d * Hudak P. & Smith L. Para-Functional Programming: A Paradigm for Programming Multiprocessor Systems Dept of Comp Sci, Univ of Yale October 1985 HUDA85e * Hudak P. Functional Programming on Multiprocessor Architectures Dept of Comp Sci, Univ of Yale, Research Report YALEU/DCS/RR-447 December 1985 HUET73a Huet G.P. The Undecidability of Unification in Third Order Logic Information and Control 22, pp 257-267 1973 HUET75a Huet G.P. Unification in the Typed Lambda Calculus Proc. Symposium on the Lambda Calculus and Computer Science Theory, Springer Verlag, LNCS 37, pp 192-212 1975 HUET80a Huet G.P. & Oppen D. Equations and Rewrite Rules: a Survey Report CSL-111, SRI International 1980 HUGH82a * Hughes R.J.M. Super-Combinators:a new Implementation Method for Applicative Languages Proc. ACM Symposium on LISP and Functional Languages (Aug 1982) p1-10 HUGH82b * Hughes R.J.M. Graph Reduction with Super-Combinators Oxford University Programming Research Group Technical Monograph PRG-28 June 1982 HUGH83a * Hughes R.J.M. The Design and Implementation of Programming languages Oxford University Programming Research Group Technical Monograph PRG-40 (published as monograph september 84) July 1983 HUGH84a * Hughes R.J.M. Reference Counting with Circular Structures in Virtual Memory Applicative Systems Programming Research Group, Oxford University 1984 HUGH84b Hughes R.J.M. Parallel Functional Programs Use Less Space Programming Research Group, Oxford University 1984 HUGH84c Hughes G.E. & Cresswell M.J. A Companion to Modal Logic Methuen 1984 HUTC86a * Hutchinson A. A Data Structure and Algorithm for a Self-Augmenting Heuristic Program Computer Journal, Vol 29, No 2, pp 135-150 April 1986 HWAN84a Hwang K. Computer Architecture and Parallel Processing McGraw Hill 1984 -- Andy Cheese