Privacy via subsumption

Information and Computation

Volumn 172, Issue 1, 2002, Pages 2-28

  Riecke, Jon G ^a   Stone, Christopher A ^b  

^a LUCENT TECHNOLOGIES   (United States)

^b Carnegie Mellon University   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER PROGRAMMING LANGUAGES; ERROR ANALYSIS; INFORMATION ANALYSIS; OBJECT ORIENTED PROGRAMMING;

CLASS-BASED LANGUAGES;

COMPUTER SCIENCE;

EID: 0037050645     PISSN: 08905401     EISSN: None     Source Type: Journal    
DOI: 10.1006/inco.2000.2925     Document Type: Article

References (28)

1. Abadi, M., and Cardelli, L. (1996), "A Theory of Objects," Springer-Verlag, New York/Berlin.
2. Bono, V., Bugliesi, M., Dezani, M., and Liquori, L. (1997), Subtyping constraints for incomplete objects, in "CAAP," Lecture Notes in Computer Science, Springer-Verlag, New York/Berlin.
3. Bono, V., Bugliesi, M., and Liquori, L. (1996), A lambda calculus of incomplete objects, in "Proceedings, Mathematical Foundations of Computer Science," Lecture Notes in Computer Science, Vol. 1113, pp. 218-229. Springer-Verlag, New York/Berlin.
4. Bono, V., and Liquori, L. (1995), A subtyping for the Fisher-Honsell-Mitchell calculus of objects, in "Proceedings, Computer Science Logic 1994," Lecture Notes in Computer Science, Vol. 933, pp. 16-30, Springer-Verlag, New York/Berlin.
5. Bracha, G., and Lindstrom, G. (1992), Modularity meets inheritance, in "Proceedings of the IEEE Computer Society International Conference on Computer Languages," pp. 282-290, IEEE Computer Society, Washington, D.C.
6. Bruce, K. B. (1994), A paradigmatic object-oriented language: Design, static typing, and semantics, J. Functional Programming 4(2), 127-206.
7. Bruce, K. B., Cardelli, L., Castagna, G., The Hopkins Object Group, Leavens, G., and Pierce, B. C. (1995), On binary methods, Theory and Practice of Object Systems 1(3), 217-238.
8. Cardelli, L., and Wegner, P. (1985), On understanding types, data abstraction and parametric polymorphism, Computing Surveys 17(4), 471-522.
9. Drossopoulou, S., Wragg, D., and Eisenbach, S. (1998), What is Java binary compatibility? -Version 2, available from http://www-dse.doc.ic.ac.uk in the file projects/slurp/papers.html#bchuge.
10. Felleisen, M. (1988), The theory and practice of first-class prompts, in "Conference Record of the Fifteenth Annual ACM Symposium on Principles of Programming Languages," pp. 180-190, ACM.
11. Fisher, K. (1996), "Type Systems for Object-Oriented Programming Languages," Ph.D. thesis, Department of Computer Science, Stanford University, 1996.
12. Fisher, K., Honsell, F., and Mitchell, J. C. (1994), A lambda calculus of objects and method specialization, Nordic J. Comput. (formerly BIT), 1, 3-37 [1993, a preliminary version appeared in "Proc. IEEE Symposium on Logic in Computer Science," pp. 26-38, IEEE].
13. Fisher, K., and Mitchell, J. C. (1995), A delegation-based object calculus with subtyping, in "Fundamentals of Computation Theory (FCT'95)" Lecture Notes in Computer Science, Vol. 965, pp. 42-61, Springer-Verlag, New York/Berlin.
14. Fisher, K., and Mitchell, J. C. (1996), The development of type systems for object-oriented languages, Theory and Practice of Object Systems, 1, 189-220 [1994, a preliminary version appeared in "Proc. Theoretical Aspects of Computer Software" Lecture Notes in Computer Science, Vol. 789, pp. 844-885].
15. Fisher, K., and Mitchell, J. C. (1997), On the relationship between classes, objects, and data abstraction, in "Proceedings of the International Summer School on Mathematics of Program Construction, Marktoberdorf, Germany," Lecture Notes in Computer Science. Springer-Verlag, New York/Berlin to appear [revised version to appear in "Theory and Practice of Object Systems"].
16. Fisher, K., and Reppy, S. H., MOBY objects and classes, unpublished manuscript, 1998.
17. Jategaonkar, L., and Mitchell, J. C. (1993), Type inference with extended pattern matching and subtypes, Fundamenta Informaticae 19, 127-166 [1988, a preliminary version appeared in "Proceedings of the ACM Symposium on Lisp and Functional Programming"].
18. Lakos, J. (1996), "Large-Scale C++ Software Design," Addison-Wesley, Reading, MA, 1996.
19. Liquori, L. (1996), An extended theory of primitive objects: First and second order systems, Tech. Rep. CS-23-96, Dipartimento di Informatica, Università di Torino.
20. Liquori, L. (1997), An extended theory of primitive objects: First order system, in suoka, editors, "Proceedings of ECOOP-97, International European Conference on Object Oriented Programming" (M. Aksit and S. Matsuoka, Eds.), Lecture Notes in Computer Science, Vol. 1241, Springer-Verlag, New York/Berlin.
21. Meyer, B. (1992), "Eiffel: The Language," Prentice-Hall, Englewood Cliffs, NJ.
22. Mitchell, J. C. (1990), Toward a typed foundation for method specialization and inheritance, in "Conference Record of the Seventeenth Annual ACM Symposium on Principles of Programming Languages," pp. 109-124. ACM.
23. Mitchell, J. C., and Plotkin, G. D. (1988), Abstract types have existential type, ACM Trans. Programming Languages and Systems 10(3), 470-502.
24. Plotkin, G. D. (1981), A structural approach to operational semantics, Tech. Rep. DAIMI FN-19, Computer Science Dept., Aarhus Univ., Denmark.
25. Rémy, D. (1994), Type inference for records in a natural extension of ML, in "Theoretical Aspects of Object-Oriented Programming" (C. A. Gunter and J. C. Mitchell, Eds.), pp. 67-95, MIT Press, Cambridge, MA [1989, an earlier version appeared in "Proceedings of the Sixteenth Annual ACM Symposium on Principles of Programming Languages," ACM].
26. Rémy, D., and Vouillon, J. (1997), Objective ML: A simple object-oriented extension of ML, in "Proceedings of the 24th ACM Symposium on Principles of Programming Languages," pp. 40-53, ACM Press.
27. Riecke, J. G., and Stone, C. A. (1998), Privacy via subsumption, in "Informal Workshop Record of the Fifth Workshop on Foundations of Object-Oriented Languages."
28. Wand, M. (1987), Complete type inference for simple objects, in "Proceedings, Symposium on Logic in Computer Science," pp. 37-44, IEEE.