A framework for implementing pluggable type systems

ACM SIGPLAN Notices

Volumn 41, Issue 10, 2006, Pages 57-74

  Andreae, Chris ^a   Noble, James ^a   Markstrum, Shane ^b   Millstein, Todd ^b  

^a VICTORIA UNIVERSITY OF WELLINGTON   (New Zealand)

^b UNIVERSITY OF CALIFORNIA   (United States)

Author keywords

JavaCOP; Pluggable type systems

Indexed keywords

JAVACOP; PLUGGABLE TYPE SYSTEMS;

CONSTRAINT THEORY; LOGIC PROGRAMMING; SOFTWARE ENGINEERING;

COMPUTER PROGRAMMING LANGUAGES;

EID: 33750384116     PISSN: 03621340     EISSN: 03621340     Source Type: Journal    
DOI: 10.1145/1167515.1167479     Document Type: Article

References (51)

1. C. Andreae. JavaCOP - user-defined constraints on Java programs. Honours Report, Computer Science, Victoria University of Wellington, 2005.
2. C. Andreae, Y. Coady, C. Gibba, J. Noble, J. Vitek, and T. Zhao. STARS: Scoped types and aspects for real-time systems. In Proceedings of ECOOP 06, 2006.
3. K. Arnold, J. Gosling, and D. Holmes. The Java Programming Language Third Edition. Addison-Wesley, Reading, MA, third edition, 2000.
4. T. Ball and S. K. Rajamani. The SLAM project: Debugging system software via static analysis. In Proceedings of the 29th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, pages 1-3. ACM Press, 2002.
5. A. Birka and M. D. Ernst. A practical type system and language for reference immutability. In OOPSLA Proceedings, pages 35-49, New York, NY, USA, 2004. ACM Press.
6. J. Bloch. A metadata facility for the Java programming language. Technical Report JSR 175, www.jcp.org, 2002.
7. J. Boyland, J. Noble, and W. Retert. Capabilities for sharing: A generalisation of uniqueness and read-only. In ECOOP Proceedings, 2001.
8. G. Bracha. Pluggable type systems. In OOPSLA Workshop on Revival of Dynamic Languages, 2004.
9. G. Bracha and D. Ungar. Mirrors: Design principles for meta-level facilities of object-oriented programming languages. In OOPSLA Proceedings, 2004.
10. R. Cartwright and M. Pagan. Soft typing. In PLDI Proceedings, 1991.
11. Checkstyle Developers. Checkstyle. http://checkstyle.sourceforge.net, 2005.
12. S. Chiba. Load-time structural reflection in Java. In ECOOP Proceedings, 2000.
13. S. R. Chidamber and C. F. Kemerer. Towards a metrics suite for object oriented design. In OOPSLA Proceedings, 1991.
14. B. Chin, S. Markstrum, and T. Millstein. Semantic type qualifiers. In ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI 2005), June 2005.
15. B. Chin, S. Markstrum, T. Millstein, and J. Palsberg. Inference of user-defined type qualifiers and qualifier rules. In European Symposium on Programming, 2006.
16. D. G. Clarke, J. M. Potter, and J. Noble. Ownership types for flexible alias protection. In OOPSLA Proceedings, pages 48-64. ACM Press, 1998.
17. T. Cohen, J. Y. Gil, and I. Maman. JTL - the Java tools language. In OOPSLA Proceedings, Oct. 2006.
18. T. Copeland. PMD Applied. Centennial Books, Nov. 2005.
19. R. F. Crew. ASTLOG: a language for examining abstract syntax trees. In Proceedings of the USENIX Conference on Domain-Specific Languages, Santa Barbara, Oct. 1997.
20. J. Darcy. Pluggable annotation processing API, 2005.
21. L. DeMichiel. Enterprise. JavaBeans Specification, Version 3.0. SUN Microsystems, 2004.
22. C. K. Duby, S. Meyers, and S. P. Reiss. CCEL: A metalanguage for C++. In C++ Conference, pages 99-116, 1992.
23. M. Eichberg, M. Mezini, K. Ostermann, and T. Schäfer. Xirc: A kernel for cross-artifact information engineering in software development environments. In Working Conference on Reverse Engineering, 2004.
24. M. Eichberg, T. Schäfer, and M. Mezini. Using annotations to check structural properties of classes. In FASE, 2005.
25. T. Ekman and G. Hedin. Rewritable reference attributed grammars. In ECOOP Proceedings, 2004.
26. M. Fahndrich and K. R. M. Leino. Declaring and checking non-null types in an object-oriented language. In OOPSLA Proceedings, 2003.
27. C. Flanagan and S. N. Freund. Type-based race detection for Java. In Proceedings of the ACM SIGPLAN 2000 conference on Programming language design and implementation, pages 219-232. ACM Press, 2000.
28. J. S. Foster, M. Fähndrich, and A. Aiken. A Theory of Type Qualifiers. In Proceedings of the 1999 ACM SIGPLAN Conference on Programming Language Design and Implementation, pages 192-203, Atlanta, Georgia, May 1999.
29. J. S. Foster, T. Terauchi, and A. Aiken. Flow-sensitive type qualifiers. In Proceedings of the ACM SIGPLAN 2002 Conference on Programming language, design and implementation, pages 1-12. ACM Press, 2002.
30. C. Gibbs and Y. Coady. Making real-time abstractions concrete with aspects. In The 3rd Workshop on Java Technologies for Real-time and Embedded Systems, 2005. Held in conjunction with OOPSLA 2005.
31. J. Y. Gil and I. Maman. Micro patterns in Java code. In OOPSLA Proceedings, 2005.
32. J. Gosling, B. Joy, G. Steele, and G. Bracha. The Java Language Specification Second Edition. The Java Series. Addison-Wesley, Boston, Mass., 2000.
33. E. Hajiyev, M. Verbaere, and O. de Moor. Codequest: Scalable source code queries with datalog. In ECOOP Proceedings, 2006.
34. E. Hajiyev, M. Verbaere, O. de Moor, and K. de Volder. Codequest: Querying source code with datalog. In OOPSLA Companion, 2005.
35. S. Hallem, B. Chelf, Y. Xie, and D. Engler. A system and language for building system-specific, static analyses. In PLDI Proceedings, 2002.
36. J. Hogg. Islands: aliasing protection in object-oriented languages. In OOPSLA Proceedings, pages 271-285. ACM Press, 1991.
37. D. Hovemeyer and W. Pugh. Finding bugs is easy. In OOPSLA Companion, 2004.
38. A. Igarashi, B. C. Pierce, and P. Wadler. Featherweight Java: a minimal core calculus for Java and GJ. ACM Transactions on Programming Languages and Systems, 23(3):396-450, May 2001.
39. D. Janzen and K. D. Volder. Navigating and querying code without getting lost. In AOSD Proceedings, 2003.
40. S. Marlow and P. Wadler. A practical subtyping system for Erlang. In ICFP Proceedings, 1997.
41. N. Nystrom, M. R. Clarkson, and A. C. Myers. Polyglot: An extensible compiler framework for Java. In Proceedings of CC 2003: 12'th International Conference on Compiler Construction. Springer-Verlag, Apr. 2003.
42. N. Nystrom, X. Qi, and A. C. Myers. J&: software composition with nested intersection. In OOPSLA Proceedings, 2006.
43. OVM/J Consortium. The open virtual machine project. http://www.ovmj.org/, 2004.
44. A. Potanin, J. Noble, D. Clarke, and R. Biddle. Generic ownership for generic Java. In OOPSLA Proceedings, 2006.
45. M. Shomrat and A. Yehudai. Obvious or not?: regulating architectural decisions using aspect-oriented programming. In AOSD Proceedings, 2002.
46. M. Tatsubori, S. Chiba, M.-O. Killijiand, and K. Itano. OpenJava: A class-based macro system for Java. In Reflection and Software Engineering, volume 1826 of LNCS, 2000.
47. M. S. Tschantz and M. D. Ernst. Javari: adding reference immutability to Java. In OOPSLA Proceedings, pages 211-230, New York, NY, USA, 2005. ACM Press.
48. M. Verbaere, R. Ettinger, and O. de Moor. JunGL: a scripting language for refactoring. In Proceedings of the 28th International Conference on Software Engineering (ICSE), 2006.
49. J. Vitek and B. Bokowski. Confined types. In OOPSLA Proceedings, 1999.
50. A. K. Wright and R. Cartwright. A practical soft type system for scheme. TOPLAS, 19(1):87-152, 1997.
51. T. Zhao, J. Noble, and J. Vitek. Scoped types for real-time Java. In RTSS Proceedings, 2004.