CJ: Enhancing java with safe type conditions

ACM International Conference Proceeding Series

Volumn 208, Issue , 2007, Pages 185-198

  Huang, Shan Shan ^a   Zook, David ^a   Smaragdakis, Yannis ^b  

^a Georgia Institute of Technology

^b UNIVERSITY OF OREGON   (United States)

Author keywords

Aspect oriented programming; Language extensions; Meta programming

Indexed keywords

CONSTRAINT THEORY; INTERFACES (COMPUTER); METADATA; PROGRAM COMPILERS; STATIC ANALYSIS;

ASPECT ORIENTED PROGRAMMING; JAVA COLLECTIONS FRAMEWORK (JCF); LANGUAGE EXTENSIONS; META-PROGRAMMING;

JAVA PROGRAMMING LANGUAGE;

EID: 34548225429     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1218563.1218584     Document Type: Conference Paper

References (31)

1. A. Alexandrescu. Modern C++ Design. Addison-Wesley, 2001.
2. G. Bracha and W. Cook. Mixin-based inheritance. In N. Meyrowitz, editor, Proceedings of the Conference on Object-Oriented Programming: Systems, Languages, and Applications / Proceedings of the European Conference on Object-Oriented Programming, pages 303-311, Ottawa, Canada, 1990. ACM Press.
3. G. Bracha, M. Odersky, D. Stoutamire, and P. Wadler. Making the future safe for the past: Adding genericky to the Java programming language. In C. Chambers, editor, ACM Symposium on Object Oriented. Programming: Systems, Languages, and Applications (OOPSLA), pages 183-200, Vancouver, BC, 1998.
4. W.-N. Chin, F. Craciun, S.-C. Khoo, and C Popeea. A flow-based approach for variant parametric types. In Proceedings of the 2006 ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages & Applications (OOPSLA '06), volume 41, pages 273-290, New York, NY, USA, 2006. ACM Press.
5. D. Draheim, C Lutteroth, and G. Weber. A type system, for reflective program generators. In Generative Programming and Component Engineering (GPCE), 2005.
6. S. Ducasse, O. Nierstrasz, N. Schärli, R. Wuyts, and A. P. Black. Traits: A mechanism, for fine-grained reuse. ACM Trans. Program. Lang. Syst., 28(2):331-388, 2006.
7. B. Emir, A. Kennedy, C Russo, and D. Yu. Variance and generalized constraints for C# generics. In Proceedings of the European Conference on Object-Oriented Programming (ECOOP). Springer, 2006.
8. A. Garrido and R. Johnson. Analyzing multiple configurations of a C program. In 21st International Conference of Software Maintenance. IEEE, 2005.
9. S. S. Huang, D. Zook, and Y. Smaragdakis. Statically safe program generation with SafeGen. In Generative Programming and Component Engineering (GPCE), pages 309-326, 2005.
10. S. S. Huang, D. Zook, and Y. Smaragdakis. cJ: Enhancing Java with safe type conditions. Technical report, 2006. http://www.cc.gatech.edu/~ssh/cJ/cj/ full.pdf.
11. A. Igarashi, B. Pierce, and P. Wadler. Featherweight Java: A minimal core calculus for Java and GJ. In L. Meissner, editor, Proceedings of the 1999 ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages & Applications (OOPSLA '99), volume 34(10), pages 132-146, N. Y., 1999.
12. A. Igarashi and M. Viroli. Variant parametric types: A flexible subtyping scheme for generics. ACM Trans. Program. Lang. Syst., 28(5):795-847, 2006.
13. ISO Standards Committee. ISO/IEC standard 14882: Programming languages - C++, 1998.
14. J. Järvi, J. Willcock, and A. Lumsdaine. Associated types and constraint propagation for mainstream object-oriented generics. In ACM Symposium on Object Oriented Programming: Systems, Languages, and Applications (OOPSLA), pages 1-19, 2005.
15. A. Kennedy and D. Syme. Design and implementation of generics for the .NET Common Language Runtime. In Conference on Programming Language Design and Implementation (PLDI). ACM, 2001.
16. G. Kiczales, E. Hilsdale, J. Hugunin, M. Kersten, J. Palm, and W. Griswold. Getting started with AspectJ. Communications of the ACM, 44(10):59-65, 2001.
17. G. Kiczales, J. Lamping, A. Menhdhekar, C. Maeda, C. Lopes, J.-M. Loingtier, and J. Irwin. Aspect-oriented programming. In M. Akjit and S. Matsuoka, editors, Proceedings European Conference on Object-Oriented Programming, volume 1241, pages 220-242. Springer-Verlag, Berlin, Heidelberg, and New York, 1997.
18. P. Lam, V. Kuncak, and M. Rinard. Crosscutting techniques in program specification and analysis. In AOSD '05: Proceedings of the 4th international conference on. Aspect-oriented software development, pages 169-180, New York, NY, USA, 2005. ACM Press.
19. B. Liskov. CLU Reference Manual. Springer-Verlag New York, Inc., Secaucus, NJ, USA, 1983.
20. V. Litvinov. Constraint-based polymorphism in Cecil: Towards a practical and static type system. In OOPSLA '98 Conference Proceedings, volume 33(10), pages 388-411, 1998.
21. B. McNamara and Y. Smaragdakis. Static interfaces in C++. In C++ Template Programming Workshop, Oct. 2000.
22. A. C. Myers, J. A. Bank, and B. Liskov. Parameterized types for Java. In Conference Record of POPL '97: The 24th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, pages 132-145, New York, NY, 1997.
23. D. J. Pearce and J. Noble. Relationship aspects. In AOSD'06: Proceedings of the 5th International Conference on Aspect-oriented Software Development, pages 75-86, New York, NY, USA, 2006. ACM Press.
24. D. Rémy. Type checking records and variants in a natural extension of ML. In Symposium on Principles of Programming Languages (POPL), pages 77-88. ACM Press, 1989.
25. N. Scharli, S. Ducasse, O. Nierstrasz, and A. Black. Traits: Composable units of behavior. In European Conference on Object Oriented Programming (ECOOP). Springer LNCS 2743, 2003.
26. J. Siek and A. Lumsdaine. Concept checking: Binding parametric polymorphism in C++. In C++ Template Programming Workshop, Oct. 2000.
27. Y. Smaragdakis and D. Batory. Implementing layered designs with mixin layers. In Proceedings of the European Conference on Object-Oriented Programming (ECOOP), pages 550-570. Springer-Verlag LNCS 1445, 1998.
28. M. Torgersen, E. Ernst, and C. P. Hansen. Wild fj. In. FOOL 2005: Foundations of Object-Oriented Languages, Long Beach, California, 2005. ACM Press.
29. M. Torgersen, C. P. Hansen, E. Ernst, P. von der Ahé, G. Bracha, and N. Gafter. Adding wildcards to the Java programming language. In OOPS track of the Symposium on Applied Computing (SAC), 2004.
30. A. K. Wright and M. Felleisen. A syntactic approach to type soundness. Information and Computation, 115(1):38-94, 1994.
31. D. Yu, A. Kennedy, and D. Syme. Formalization of generics for the .NET common, language runtime. In 31st Symposium on Principles of Programming Languages (POPL). ACM, 2004.