Semantics-driven language design: Statically type-safe virtual types in object-oriented languages

Electronic Notes in Theoretical Computer Science

Volumn 20, Issue , 1999, Pages 50-75

  Bruce, Kim B ^a   Vanderwaart, Joseph C ^a  

^a WILLIAMS COLLEGE   (United States)

Author keywords

Language design; Parametric polymorphism; Semantics; Static type checking; Virtual classes

Indexed keywords

COMPUTATIONAL METHODS; COMPUTER PROGRAMMING LANGUAGES; MATHEMATICAL MODELS; OBJECT ORIENTED PROGRAMMING; SEMANTICS; VIRTUAL REALITY;

LANGUAGE DESIGN; PARAMETRIC POLYMORPHISM; STATIC TYPE CHECKING; VIRTUAL CLASSES;

COMPUTER SCIENCE;

EID: 0012717843     PISSN: 15710661     EISSN: None     Source Type: Journal    
DOI: 10.1016/S1571-0661(04)80066-5     Document Type: Conference Paper

References (27)

1. Amadio Roberto, Cardelli Luca. Subtyping Recursive Types. ACM Transactions on Programming Languages and Systems. 15:1993;575-631
2. Arnold Ken, Gosling James. "Java," 1996;Addison Wesley
3. Kim B. Bruce, Luca Cardelli, and Benjamin C. Pierce, Comparing object encodings, In Proceedings of TACS '97 (Theoretical Aspects of Computer Science, LNCS 1281 (1997), pp. 416-438.
4. Kim B. Bruce, Adrian Fiech, and Leaf Petersen, Subtyping is not a good "match" for object-oriented languages, In: ECOOP '97, LNCS 1241 (1991), pp. 104-127.
5. Kim Bruce, Marin Odersky, and Philip Wadler, A statically safe alternative to virtual types, in ECOOP '98, LNCS 1445 1998, pp. 523-549.
6. K. Bruce, A paradigmatic object-oriented programming language: design, static typing and semantics, Journal of Functional Programming 4 (1994), pp. 127-206. An earlier version of this paper appeared in the 1993 POPL Proceedings.
7. K. Bruce, A paradigmatic object-oriented programming language: design, static typing and semantics, Journal of Functional Programming 4 (1994), pp. 127-206. An earlier version of this paper appeared in the 1993 POPL Proceedings.
8. Kim B. Bruce, Angela Schuett and Robert van Gent, PolyTOIL: A typesafe polymorphic object-oriented language (extended abstract), In: ECOOP '95, LNCS 952 (1995), 27-51.
9. Canning P., Cook W., Hill W., Mitchell J., Olthoff w. F- bounded quantification for object-oriented programming. Functional Prog. and Computer Architecture. 1989;273-280
10. W. R. Cook, A proposal for making Eiffel type-safe, In: European Conf. on Object-Oriented Programming, 1989, pages 57-72.
11. Gamma E., Helm R., Johnson R., Vlissides J. Design Patterns: Abstraction and reuse of object-oriented designs. 1994;Addison-Wesley
12. J.-Y. Girard, Une extension de L'interpretation de Gödel à l'analyse, et son application à l'élimination des coupures dans l'analyse et la théorie des types, In J.E. Fenstad, author, 2nd Scandinavian Logic Symposium, North-Holland, 1971, pp. 63-92.
13. Atsushi Igarashi and Benjamin Pierce, Foundations for virtual types, In: Informal FOOL 6 electronic proceedings, 1998. Technical report, University of Pennsylvania, 1998. To appear in Proceedings of ECOOP '99.
14. Kristensen Bent Bruun, Madsen Ole Lehrmann, Moller-Pedersen Birger, Nygaard Kristen. The Beta programming language. Shriver Bruce, Wegner Peter. Research Directions in Object-Oriented Programming. 1987;7-48 M.I.T. Press, Cambridge, MA
15. Bent Brun Kristensen, Ole Lehrmann Madsen and Birger Moller-Pedersen and Kristen Nygaard, Abstraction mechanisms in the BETA programming language, In: Conference Proceedings of the 10th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL), 1983, pages 285-298.
16. O. Madsen and B. Moller-Pedersen, Virtual classes: A powerful mechanism in object-oriented programming, In: OOPSLA '89 Proceedings, ACM SIGPLAN Notices 24 (1989), pp. 307-406.
17. Meyer B. Eiffel: the language. 1992;Prentice-Hall
18. B. Meyer, Static typing and other mysteries of life, Technical report, Interactive Software Engineering, Inc., 1995. Text of invited address to OOPSLA '95.
19. Mitchell J.C. Type systems for programming languages. van Leeuwen J. Handbook of Theoretical Computer Science, Volume B. 1990;365-458 North-Holland
20. John C. Mitchell, "Foundations for Programming Languages," Foundations of Computing Series, MIT Press, 1996.
21. J.C. Mitchell and G.D. Plotkin, Abstract types have existential types, ACM Trans. On Programming Languages and Systems 10 (1988), pp. 470-502. Preliminary version appeared in Proc. 12th ACM Symp. on Principles of Programming Languages, 1985.
22. J.C. Mitchell and G.D. Plotkin, Abstract types have existential types, ACM Trans. On Programming Languages and Systems 10 (1988), pp. 470-502. Preliminary version appeared in Proc. 12th ACM Symp. on Principles of Programming Languages, 1985.
23. Didier Rémy and Jérôme Vouillon, On the (un)reality of virtual types, INRIA technical report, 16 pages, 1998.
24. Reynolds J.C. Towards a theory of type structure. Paris Colloq. on Programming, LNCS. 19:1974;408-425
25. C. Schaffert, T. Cooper, B. Bullis, M. Kilian, and C. Wilpolt, An introduction tot Trellis/Owl, In: OOPSLA '86 Proceedings, ACM SIGPLAN Notices 21 (1986), pp. 9-16.
26. Kresten Krab Thorup, Genericity in Java with virtual types, In: ECOOP '97, LNCS 1241 (1997), pp. 444-471.
27. Mads Torgersen, Virtual types are statically safe, In: Informal FOOL 5 electronic proceedings, URL:http://pauillac.inria.fr/~remy/fool/abstracts/5. html, 1997.