Using Message Passing Instead of the GOTO Construct (1978)

Cached

Download Links

by Carl Hewitt

Active Bibliography

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