Viewing Control Structures as Patterns of Passing Messages

[1]  Adele Goldberg,et al.  Personal Dynamic Media , 1977, Computer.

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

[3]  Kenneth M. Kahn,et al.  An actor-based computer animation language , 1976, UODIGS '76.

[4]  Peter Henderson,et al.  A lazy evaluator , 1976, POPL.

[5]  Victor R. Lesser,et al.  A Multi-Level Organization For Problem Solving Using Many, Diverse, Cooperating Sources Of Knowledge , 1975, IJCAI.

[6]  Douglas B. Lenat,et al.  BEINGS: Knowledge as Interacting Experts , 1975, IJCAI.

[7]  Peter B. Bishop,et al.  Garbage Collection in a Very Large Address Space , 1975 .

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

[9]  Charles Rich,et al.  Understanding LISP Programs: Towards a Programmer's Apprentice , 1974 .

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

[11]  C. A. R. Hoare,et al.  Monitors: an operating system structuring concept , 1974, CACM.

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

[13]  Carl Hewitt,et al.  A Universal Modular ACTOR Formalism for Artificial Intelligence , 1973, IJCAI.

[14]  Jean Vuillemin,et al.  Correct and optimal implementations of recursion in a simple programming language , 1973, J. Comput. Syst. Sci..

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

[16]  John C. Reynolds,et al.  Definitional Interpreters for Higher-Order Programming Languages , 1972, ACM '72.

[17]  Carl Hewitt,et al.  Procedural Embedding of knowledge in Planner , 1971, IJCAI.

[18]  C. Hewitt.  Planner: a language for manipulating models and proving theorems in a robot" ijcai-69 , 1970 .

[19]  John C. Reynolds,et al.  GEDANKEN—a simple typeless language based on the principle of completeness and the reference concept , 1970, Commun. ACM.

[20]  P. J. Landin,et al.  Correspondence between ALGOL 60 and Church's Lambda-notation , 1965, Commun. ACM.

[21]  Daniel P. Friedman,et al.  CONS Should Not Evaluate its Arguments , 1976, ICALP.

[22]  Robin Milner,et al.  Processes: A Mathematical Model of Computing Agents , 1975 .

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

[24]  William H. Burge,et al.  Stream Processing Functions , 1975, IBM J. Res. Dev..

[25]  Robert G. Herriot,et al.  A Uniform View of Control Structure in Programming Languages , 1974, IFIP Congress.

[26]  J. M. Cadiou,et al.  Recursive definitions of partial functions and their computations , 1972, Proving Assertions About Programs.

[27]  David Allen Fisher,et al.  Control structures for programming languages , 1970 .

[28]  Robert S. Barton,et al.  Ideas for computer systems organization : a personal survey software engineering course iii , 1970 .

[29]  Allen Newell,et al.  Some Problems Of Basic Organization In Problem-Solving Programs , 1962 .

[30]  A. Church.  The calculi of lambda-conversion , 1941 .