Implementing Distributed Systems Using Linear Naming (1993)

by Alan Bawden
Venue:MIT AI Lab
Citations:4 - 0 self

Documents Related by Co-Citation

3242 Communication and Concurrency – R Milner - 1989
483 The Connection Machine – D Hillis - 1985
625 Compiling with Continuations – A Appel - 1992
120 An algorithm for optimal lambda calculus reduction – John Lamping - 1990
100 The Geometry of Optimal Lambda Reduction – Georges Gonthier, Martín Abadi, Jean-Jacques Lévy - 1992
54 Linear Logic Without Boxes – Georges Gonthier, Martín Abadi, Jean-Jacques Lévy - 1992
855 Efficiently computing static single assignment form and the control dependence graph – Ron Cytron, Jeanne Ferrante, Barry K. Rosen, Mark N. Wegman, F. Kenneth Zadeck - 1991
551 Dynamically discovering likely program invariants to support program evolution – M D Ernst, J Cockrell, W G Griswold, D Notkin - 2001
701 Interprocedural Slicing Using Dependence Graphs – Susan Horwitz, Thomas Reps, David Binkley - 1990