Using Message Passing Instead of the GOTO Construct (1978)

Cached

Download Links

by Carl Hewitt

Active Bibliography

1165 Proof-Carrying Code – George C. Necula - 1997
1484 An axiomatic basis for computer programming – C. A. R. Hoare - 1969
474 Literate programming – Donald E. Knuth - 1984
473 MULTILISP: a language for concurrent symbolic computation – Robert H. Halstead - 1985
449 Uniprocessor Garbage Collection Techniques – Paul R. Wilson
418 Simplification by cooperating decision procedures – Greg Nelson, Derek C. Oppen - 1979
347 An Efficient Unification Algorithm – Alberto Martelli, Ugo Montanari - 1982
235 A Foundation for Actor Computation – Gul Agha, Ian A. Mason, Scott F. Smith, Carolyn L. Talcott - 1998
308 Definitional interpreters for higher-order programming languages – John C. Reynolds - 1972