A distributed object calculus

@inproceedings{Jeffrey2000ADO,
  title={A distributed object calculus},
  author={Alan Jeffrey},
  year={2000}
}
Distributed object-oriented languages are becoming increasingly accepted as network programming languages. The success of Java, and the Java security model in particular, has made the study of type systems for OO languages critical to the success of distributed programming. Abadi and Cardelli [1] have provided an excellent framework for the study of object-based OO languages in the object calculus. Gordon and Hankin [5] have shown how this work can be extended to deal with concurrent languages… CONTINUE READING

Citations

Publications citing this paper.

References

Publications referenced by this paper.
SHOWING 1-10 OF 15 REFERENCES

A Concurrent Object Calculus: Reduction and Typing

  • Electr. Notes Theor. Comput. Sci.
  • 1998
VIEW 4 EXCERPTS
HIGHLY INFLUENTIAL

A Theory of Objects

  • Monographs in Computer Science
  • 1996
VIEW 6 EXCERPTS
HIGHLY INFLUENTIAL

Seal: A Framework for Secure Mobile Computations

  • ICCL Workshop: Internet Programming Languages
  • 1998
VIEW 2 EXCERPTS

The safetynet project

A.S.A. Jeffrey, I. Wakeman
  • Available electronically from http://www.cogs.susx.ac.uk/projects/safetynet/
  • 1998
VIEW 1 EXCERPT

Similar Papers

Loading similar papers…