Copy Link
Add to Bookmark
Report
AIList Digest Volume 4 Issue 103
AIList Digest Saturday, 26 Apr 1986 Volume 4 : Issue 103
Today's Topics:
Bibliography - References #3
----------------------------------------------------------------------
Date: 9 Apr 86 13:20:13 GMT
From: allegra!mit-eddie!think!harvard!seismo!mcvax!ukc!dcl-cs!nott-cs!
abc@ucbvax.berkeley.edu (Andy Cheese)
Subject: Bibliography - References #3
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
------------------------------
End of AIList Digest
********************
