JavaCOP: Declarative pluggable types for java

ACM Transactions on Programming Languages and Systems

Volumn 32, Issue 2, 2010, Pages

  Markstrum, Shane ^a   Marino, Daniel ^b   Esquivel, Matthew ^b   Millstein, Todd ^b   Andreae, Chris ^c   Noble, James ^c  

^a BUCKNELL UNIVERSITY   (United States)

^b UNIVERSITY OF CALIFORNIA   (United States)

^c VICTORIA UNIVERSITY OF WELLINGTON   (New Zealand)

Author keywords

JavaCOP; Pluggable type systems

Indexed keywords

ABSTRACT SYNTAX TREES; DECLARATIVE LANGUAGES; DOMAIN SPECIFIC; ON FLOW; PROGRAM CONSTRAINTS; PROGRAMMING LANGUAGE; SENSITIVE INFORMATIONS; SUPPORT TYPES; TEST FRAMEWORK; TYPE SYSTEMS;

APPLICATION PROGRAMMING INTERFACES (API); COMPUTER AIDED SOFTWARE ENGINEERING; DATA FLOW ANALYSIS; LINGUISTICS; XML;

SECURITY OF DATA;

EID: 76749167110     PISSN: 01640925     EISSN: 15584593     Source Type: Journal    
DOI: 10.1145/1667048.1667049     Document Type: Article

References (54)

1. ALDRICH, J.,KOSTADINOV, V., AND CHAMBERS, C. 2002. Alias annotations for program understanding. In Proceedings of the 17th ACMSIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA'02). M. Ibrahim and S. Matsuoka, Eds. ACM Press, New York, 311-330.
2. ANDREAE, C., COADY, Y., GIBBA, C., NOBLE, J., VITEK, J., AND ZHAO, T. 2006a. Scoped types and aspects for real-time systems. In Proceedings of the 20th European Conference on Object-Oriented Programming (ECOOP'06). Lecture Notes in Computer Science, vol.4067. Springer,124-147.
3. ANDREAE, C., NOBLE, J.,MARKSTRUM, S., AND MILLSTEIN, T. 2006b. A framework for implementing pluggable type systems. In Proceedings of the 21st Annual ACM SIGPLAN Conference on Object- Oriented Programming, Systems, Languages, and Applications (OOPSLA'06). ACM Press, New York, 57-74.
4. ARNOLD, K.,GOSLING, J., AND HOLMES, D. 2000. The Java Programming Language, 3rd ed. Addison- Wesley, Reading, MA.
5. BLOCH, J. 2002. A metadata facility for the Java programming language. Tech. rep. JSR 175. http://www.jcp.org.
6. BOYAPATI, C., KHURSHID, S., AND MARINOV, D. 2002. Korat: Automated testing based on Java predicates. In Proceedings of the ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA'02). P. G. Frankl, Ed. ACM Press, New York, 123-133.
7. BOYLAND, J. 2001. Alias burying:Unique variables without destructive reads. Softw. Pract. Exper. 31, 6, 533-553.
8. BOYLAND, J.,NOBLE, J., AND RETERT,W. 2001. Capabilities for sharing: A generalisation of uniqueness and read-only. In Proceedings of the 15th European Conference on Object-Oriented Programming (ECOOP'01). J. L. Knudsen, Ed. Lecture Notes in Computer Science, vol.2072. Springer, 2-27.
9. BRACHA, G. 2004. Pluggable type systems. OOPSLAWorkshop on Revival of Dynamic Languages. http://pico.vub.ac.be/∼wdmeuter/RDL04/papers/Bracha.pdf.
10. BRUNETON, E., LENGLET, R., AND COUPAYE, T. 2002. ASM: A Java bytecode manipulation and analysis framework. In Proceedings of the Adaptable and Extensible Component Systems Conference. http://asm.objectweb.org.
11. CHALIN, P. AND JAMES, P. R. 2007. Non-Null by default in Java: Alleviating the nullity annotation burden. In Proceedings of the 21st European Conference on Object-Oriented Programming (ECOOP'07). E. Ernst, Ed. Lecture Notes in Computer Science, vol.4609. Springer, 227-247.
12. CHARLES, P., GROTHOFF, C., SARASWAT, V., DONAWA, C., KIELSTRA, A., EBCIOGLU, K., VON PRAUN, C., AND SARKAR, V. 2005. X10: An object-oriented approach to non-uniform cluster computing. In Proceedings of the 20th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA'05). R. E. Johnson and R. P. Gabriel, Eds. ACM Press, New York, 519-538.
13. CHIN, B.,MARKSTRUM, S., AND MILLSTEIN, T. 2005. Semantic type qualifiers. In Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI'05). V. Sarkar and M. W. Hall, Eds. ACM Press, New York, 85-95.
14. CHIN, B., MARKSTRUM, S., MILLSTEIN, T., AND PALSBERG, J. 2006. Inference of user-defined type qualifiers and qualifier rules. In Proceedings of the 15th European Symposium on Programming Languages and Systems (ESOP'06), P. Sestoft, Ed. Lecture Notes in Computer Science, vol.3924, Springer, 264-278.
15. COHEN, T., GIL, J. Y., AND MAMAN, I. 2006. JTL - The Java tools language. In Proceedings of the 21st Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA'06). ACM Press, New York, 89-108.
16. CREW, R. F. 1997. ASTLOG: A language for examining abstract syntax trees. In Proceedings of the Conference on Domain-Specific Languages. C. Ramming, Ed. USENIX Association, 229-243.
17. DANIEL, B., DIG, D., GARCIA, K., AND MARINOV, D. 2007. Automated testing of refactoring engines. In Proceedings of the 6th JointMeeting of the European Software Engineering Conference and the ACMSIGSOFT International Symposium on Foundations of Software Engineering (ESEC/SIGSOFT FSE'07). I. Crnkovic and A. Bertolino, Eds. ACM Press, New York, 185-194.
18. DUBY, C. K.,MEYERS, S., AND REISS, S. P. 1992. CCEL: A metalanguage for C++. In Proceedings of the USENIX C++ Conference. USENIX Association, 99-116.
19. EICHBERG, M., SCHÄFER, T., ANDMEZINI,M. 2005. Using annotations to check structural properties of classes. In Proceedings of the 8th International Conference on Fundamental Approaches to Software Engineering (FASE'05). M. Cerioli, Ed. Lecture Notes in Computer Science, vol.3442, Springer, 237-252.
20. EKMAN, T. AND HEDIN, G. 2004. Rewritable reference attributed grammars. In Proceedings of the 18th European Conference on Object-Oriented Programming (ECOOP'04). M. Odersky, Ed. Lecture Notes in Computer Science, vol.3086, Springer, 144-169.
21. ERNST, M. 2007. Java annotations on types. Tech. rep. JSR 308. http://www.jcp.org.
22. FÄHNDRICH, M. AND LEINO, K. R. M. 2003. Declaring and checking non-null types in an objectoriented language. In Proceedings of the 18th ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages and Applications (OOPSLA'03), R. Crocker and G. L. Steele, Jr., Eds. ACM Press, New York, 302-312.
23. FISCHER, J.,MARINO, D.,MAJUMDAR, R., AND MILLSTEIN, T. 2009. Fine-Grained access control with object-sensitive roles. In Proceedings of the 23rd European Conference on Object-Oriented Programming (ECOOP'09). S. Drossopoulou, Ed. Lecture Notes in Computer Science, vol.5653. Springer, 173-194.
24. FLANAGAN, C. AND FREUND, S. N. 2000. Type-Based race detection for Java. In Proceedings of the ACM SIGPLAN 2000 Conference on Programming Language Design and Implementation (PLDI'00). J. Larus and M. Lam, Eds. ACM Press, New York, 219-232.
25. FOSTER, J. S., FÄHNDRICH, M., AND AIKEN, A. 1999. A theory of type qualifiers. In Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI'99). B. G. Ryder and B. Zorn, Eds. ACM Press, New York, 192-203.
26. FOSTER, J. S. AND MA, K. 2007. Inferring aliasing and encapsulation properties for Java. In Proceedings of the 22nd Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages and Applications (OOPSLA'07). ACM Press, New York, 423-440.
27. GABRIEL, R. P.,BACON, D. F., LOPES, C. V., AND STEELE JR., G. L., Eds. 2007. Proceedings of the 22nd Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA'07). ACM Press, New York.
28. GAMMA, E.,HELM, R., JOHNSON, R. E., AND VLISSIDES, J. 1995. Design Patterns: Elements of Reusable Object-Oriented Software. Addison-Wesley, Boston, MA.
29. GOSLING, J., JOY, B., STEELE, G., AND BRACHA, G. 2000. The Java Language Specification, 2nd ed. The Java Series. Addison-Wesley, Boston, MA.
30. GREENFFIELDBOYCE, D. AND FOSTER, J. S. 2007. Type qualifier inference for Java. In Proceedings of the 22nd Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages and Applications (OOPSLA'07). 321-336.
31. HAJIYEV, E., VERBAERE, M., AND DE MOOR, O. 2006. CodeQuest: Scalable source code queries with data-log. In Proceedings of the 20th European Conference on Object-Oriented Programming (ECOOP'06). Lecture Notes in Computer Science, vol.4067, Springer, 2-27.
32. HOU, D. AND HOOVER, H. J. 2006. Using SCL to specify and check design intent in source code. IEEE Trans. Softw. Engin. 32, 6, 404-423.
33. HOVEMEYER, D. AND PUGH, W. 2004. Finding bugs is easy. OOPSLA Companion 2004: Companion to the 19th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications. J. M. Vlissides and D. C. Schmidt, Eds. ACM Press, New York, 132-136.
34. IGARASHI, A., PIERCE, B. C., AND WADLER, P. 2001. Featherweight Java: A minimal core calculus for Java and GJ. ACM Trans. Program. Lang. Syst. 23, 3, 396-450.
35. JANZEN, D. ANDVOLDER,K.D. 2003. Navigating and querying codewithout getting lost. In Proceedings of the 2nd International Conference on Aspect-Oriented Software Development (AOSD'03). W. G. Griswold and M. Aksit, Eds. ACM Press, New York, 178-187.
36. JSR 302. 2006. JSR 302: Safety critical java technology. http://jcp.org/en/jsr/detail∼id=302
37. JUNIT. 2000. JUnit homepage. http://junit.org.
38. MARKSTRUM, S. 2009. Enforcing and validating user-defined programming disciplines. Ph.D. thesis, University of California, Los Angeles, CA.
39. MILICEVIC, A., MISAILOVIC, S., MARINOV, D., AND KHURSHID, S. 2007. Korat: A tool for generating structurally complex test inputs. In Proceedings of the 29th International Conference on Software Engineering (ICSE'07). J. Knight and M. Cohen, Eds. IEEE Computer Society, 771-774.
40. MILLSTEIN, T. D., FROST, C., RYDER, J., AND WARTH, A. 2009. Expressive and modular predicate dispatch for java. ACM Trans. Program. Lang. Syst. 31, 2.
41. MYERS, A. C. 1999. JFlow: Practical mostly-static information flow control. In Proceedings of the 26th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (PoPL'99). A. W. Appel and A. Aiken, Eds. ACM Press, New York, 228-241.
42. NYSTROM, N.,CLARKSON,M. R., ANDMYERS, A. C. 2003. Polyglot: An extensible compiler framework for Java. In Proceedings of the 12th International Conference on Compiler Construction (CC'03). G. Hedin, Ed. Lecture Notes in Computer Science, vol.2622. Springer, 138-152.
43. NYSTROM, N., QI, X., AND MYERS, A. C. 2006. J&: Software composition with nested intersection. In Proceedings of the 21st Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages and Applications (OOPSLA'06). G. E. Harris, Ed. ACM Press, New York, 21-36.
44. PAPI, M. M., ALI, M., CORREA JR., T. L., PERKINS, J. H., AND ERNST, M. D. 2008. Practical pluggable types for Java. In Proceedings of the ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA'08). B. G. Ryder and A. Zeller, Eds. ACM Press, New York, 201-212.
45. PIERCE, B. C. 2002. Types and Programming Languages. MIT Press, Cambridge, MA.
46. POLYGLOT. 2004. Polyglot extensible compiler framework. http://www.cs.cornell.edu/Projects/ polyglot.
47. POLYGLOT5. 2007. Polyglot for Java 5. http://www.cs.ucla.edu/ ∼milanst/projects/polyglot5.
48. ROBERSON, M.,HARRIES, M.,DARGA, P. T., AND BOYAPATI, C. 2008. Efficient software model checking of soundness of type systems. In Proceedings of the 23rd Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA'08). G. E. Harris, Ed. ACM Press, New York, 493-504.
49. TARR, P. L. AND COOK,W. R.,EDS. 2006. Proceedings of the 21st Annual ACMSIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA'06). ACM Press, New York.
50. THOMAS, D.,ED. 2006. Proceedings of the 20th European Conference on Object-Oriented Programming (ECOOP'06). Lecture Notes in Computer Science, vol.4067. Springer.
51. VALL̀EE-RAI, R., HENDREN, L., SUNDARESAN, V., LAM, P., GAGNON, E., AND CO, P. 1999. Soot - A Java optimization framework. In Proceedings of the Conference of the Centre for Advanced Studies on Collaborative Research (CASCON'99). S. A. MacKay and J. H. Johnson, Eds. IBM, 125-135.
52. VITEK, J. AND BOKOWSKI, B. 1999. Confined types. In Proceedings of the 14th ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA'99). B. Hailpern, L. Northrop, and A. M. Berman, Eds. ACM Press, New York, 82-96.
53. WARTH, A., STANOJEVIC, M., AND MILLSTEIN, T. 2006. Statically scoped object adaptation with expanders. In Proceedings of the 21st Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages and Applications (OOPSLA'06). P. L. Tarr and W. R. Cook, Eds. ACM Press, New York, 37-56. (Pubitemid 46726073)
54. WAL, A. 2007. T.J. Watson libraries for analysis (WALA). http://wala.sf.net.