Evolving Parallel Programs

This report describes research conducted at the Artificial Intelligence Laboratory of the Massachusetts Institute of Technology. Support for this research was provided in part by the Office of Naval Research of the Department of Defense under Contract N00014-75-C-0522.

[1]  Carl Hewitt,et al.  Synchronization in actor systems , 1977, POPL.

[2]  Thomas E. Cheatham,et al.  Symbolic Evaluation and the Analysis of Programs , 1979, IEEE Transactions on Software Engineering.

[3]  Brian Cantwell Smith,et al.  Towards a programming apprentice , 1974, IEEE Transactions on Software Engineering.

[4]  John C. Reynolds.  Programming with Transition Diagrams , 1978 .

[5]  Mary Shaw,et al.  Abstraction and Verification in Alphard: Introduction to Language and Methodology , 1976 .

[6]  Zohar Manna,et al.  PROPERTIES OF PROGRAMS AND PARTIAL FUNCTION LOGIC , 1969 .

[7]  Gerald Jay Sussman,et al.  Programming Viewed as an Engineering Activity , 1978 .

[8]  John McCarthy,et al.  A basis for a mathematical theory of computation, preliminary report , 1899, IRE-AIEE-ACM '61 (Western).

[9]  Jacob Palme.  Protected program modules in simula 67 , 1973 .

[10]  Carl Hewitt,et al.  Comparative Schematology , 1970 .

[11]  E. Lohse,et al.  A Correspondence Between ALGOL 60 and Church's Lambda- Notation: Part I* , 1965 .

[12]  Ira P. Goldstein,et al.  The computer as coach: As athletic paradigm for intellectual education , 1977, ACM '77.

[13]  Andy Hisgen,et al.  A language implementation design for a multiprocessor computer system , 1978, ISCA '78.

[14]  Alan Borning,et al.  ThingLab - An Object-Oriented System for Building Simulations Using Constraints , 1977, IJCAI.

[15]  C. A. R. Hoare,et al.  Communicating sequential processes , 1978, CACM.

[16]  Patrick Greussay,et al.  Iterative interpretation of tail-recursive LISP procedures , 1978, LISPB.

[17]  Carl Hewitt,et al.  Actor semantics of PLANNER-73 , 1975, POPL '75.

[18]  O. J. Dahl,et al.  Simula Begin , 1979 .

[19]  Gerald Jay Sussman,et al.  SLICES: At the Boundary Between Analysis and Synthesis , 1977 .

[20]  John F. Shoch,et al.  An overview of the programming language Smalltalk-72 , 1979, SIGP.

[21]  Carl Hewitt,et al.  Preliminary Design of the APIARY for VLSI Support of Knowledge-Based Systems , 1979 .

[22]  Richard Fikes,et al.  A Network-Based Knowledge Representation and Its Natural Deduction System , 1977, IJCAI.

[23]  Lori A. Clarke,et al.  A System to Generate Test Data and Symbolically Execute Programs , 1976, IEEE Transactions on Software Engineering.

[24]  Carl Hewitt,et al.  Viewing Control Structures as Patterns of Passing Messages , 1977, Artif. Intell..

[25]  Edsger W. Dijkstra,et al.  Guarded commands, nondeterminacy and formal derivation of programs , 1975, Commun. ACM.

[26]  Daniel P. Friedman,et al.  Aspects of Applicative Programming for Parallel Processing , 1978, IEEE Transactions on Computers.

[27]  H. R. Strong,et al.  Translating recursion equations into flow charts , 1970, J. Comput. Syst. Sci..

[28]  David C. Luckham,et al.  Program Verification and Verification Oriented Programming , 1977, IFIP Congress.

[29]  L. Peter Deutsch.  An interactive program verifier , 1973 .

[30]  Richard C. Waters.  Automatic Analysis of the Logical Structure of Programs , 1978 .

[31]  Irene Greif,et al.  Semantics of communicating parallel processes , 1975 .

[32]  Carl Hewitt,et al.  Protection and Synchronization in Actor Systems , 1974 .

[33]  S. Ward.  FUNCTIONAL DOMAINS OF APPLICATIVE LANGUAGES , 1974 .

[34]  Carl Hewitt,et al.  PLANNER: A Language for Proving Theorems in Robots , 1969, IJCAI.

[35]  Gerald Jay Sussman,et al.  The Revised Report on SCHEME: A Dialect of LISP. , 1978 .

[36]  Edmond Schonberg,et al.  Programming by Refinement, as Exemplified by the SETL Representation Sublanguage , 1979, TOPL.

[37]  Daniel G. Bobrow,et al.  On Overview of KRL, a Knowledge Representation Language , 1976, Cogn. Sci..

[38]  C. Torrance.  Review: Kurt Gödel, The Consistency of the Axiom of Choice and of the Generalized Continuum-Hypothesis with the Axioms of Set Theory , 1941 .

[39]  Donald E. Knuth,et al.  Structured Programming with go to Statements , 1974, CSUR.

[40]  Henry Lieberman,et al.  Specifying and Proving Properties of Guardians for Distributed Systems , 1979, Semantics of Concurrent Computation.

[41]  John Darlington,et al.  A Transformation System for Developing Recursive Programs , 1977, J. ACM.

[42]  Richard J. Waldinger,et al.  QA4: A Procedural Calculus for Intuitive Reasoning. , 1972 .

[43]  James C. King,et al.  A new approach to program testing , 1974, Programming Methodology.

[44]  Carl Hewitt,et al.  Concurrent Systems Need Both Sequences And Serializers , 1979 .

[45]  John Seely Brown,et al.  A tutoring and student modelling paradigm for gaming environments , 1976, SIGCSE '76.

[46]  Dennis McLeod,et al.  The semantic data model: a modelling mechanism for data base applications , 1978, SIGMOD Conference.

[47]  Carl Hewitt,et al.  STEREOTYPES as an ACTOR Approach Towards Solving the Problem of Procedural Attachment in FRAME Theories , 1975, TINLAP.

[48]  Henry Lieberman,et al.  Security and Modularity in Message Passing , 1979 .

[49]  Carl Hewitt,et al.  Laws for Communicating Parallel Processes , 1977, IFIP Congress.

[50]  J. D Ichbiah,et al.  General Concepts of the Simula 67 Programming Language , 1972 .

[51]  Carl Hewitt,et al.  Description and Theoretical Analysis (Using Schemata) of Planner: A Language for Proving Theorems and Manipulating Models in a Robot , 1972 .

[52]  米澤 明憲,et al.  Specification and verification techniques for parallel programs based on message passing semantics , 1978 .

[53]  Howard E. Shrobe,et al.  Initial Report on a Lisp Programmer's Apprentice , 1978, IEEE Transactions on Software Engineering.

[54]  Gilles Kahn,et al.  Coroutines and Networks of Parallel Processes , 1977, IFIP Congress.

[55]  C KingJames.  A new approach to program testing , 1975 .