Using Message Passing Instead of the GOTO Construct (1978)

Cached

Download Links

by Carl Hewitt

Active Bibliography

11 Modelling Distributed Systems – Akinori Yonezawa, Carl Hewitt - 1977
222 A Foundation for Actor Computation – Gul Agha, Ian A. Mason, Scott F. Smith, Carolyn L. Talcott - 1998
6 Dynamic Graphics using Quasi Parallelism – Kenneth M. Kahn, Carl Hewitt - 1978
100 Lambda-Calculus Schemata – Michael J. Fischer - 1993
Library of Congress Cataloging-in-Publication Data – Harold Abelson, Gerald Jay Sussman, Julie Sussman, Foreword Alan J. Perlis, London England, Mcgraw-hill Book Company
24 A Theorem Prover for a Computational Logic – Robert S. Boyer, J Strother Moore - 1990
Lambda-Calculus and Functional Programming – Jonathan P. Seldin
9 On the Search for Tractable Ways of Reasoning about Programs – C. B. Jones - 2001
16 The Early Search for Tractable Ways of Reasoning About Programs – C. B. Jones - 2003
Data Abstraction – In Section Weintroduced
75 Scheme: An interpreter for extended lambda calculus – Gerald Jay Sussman, Guy L Steele Jr. - 1975
4 A New Protection Model for Component-Based Operating Systems – Greg Law - 2001
33 Representing Knowledge of Large-Scale Space – Benjamin Jack Kuipers - 1977
1 Concurrent, Object-Oriented Natural Language Parsing: The – Parsetalk Model Udo, Udo Hahn, Susanne Schacht, Norbert Brker - 1994
25 Concurrent, Object-Oriented Natural Language Parsing: The ParseTalk Model РUdo Hahn, Susanne Schacht, Norbert Br̦ker - 1994
74 The Incremental Garbage Collection of Processes – Henry G. Baker, Carl Hewitt - 1977
Programming Languages – B. Wegbreit
7 The Many Disguises of Accumulation – Eerke Boiten - 1991
6 Recursion Versus Iteration at Higher-Orders – A.J. Kfoury - 1997