A type system and analysis for the automatic extraction and enforcement of design information

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 2743, Issue , 2003, Pages 275-302

  Lam, Patrick ^a   Rinard, Martin ^a  

^a MASSACHUSETTS INSTITUTE OF TECHNOLOGY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

DATA STRUCTURES; EXTRACTION; OBJECT ORIENTED PROGRAMMING;

ANALYSIS AND MODELING; ASSOCIATED TYPES; AUTOMATIC EXTRACTION; DESIGN INFORMATION; INDIRECT INTERACTIONS; MODEL EXTRACTION ALGORITHMS; OBJECT REFERENCING RELATIONSHIPS; STRUCTURAL MODELS;

ALGORITHMS;

EID: 35248854618     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-45070-2_13     Document Type: Article

References (29)

1. J. Aldrich, C. Chambers, and D. Notkin. Archjava: Connecting software architecture to implementation. In 24th International Conference on Software Engineering, Orlando, FL, May 2002.
2. J. Aldrich, V. Kostadinov, and C. Chambers. Alias annotations for program understanding. In Proceedings of the 17th Annual Conference on Object-Oriented Programming Systems, Languages and Applications, Seattle, WA, Nov. 2002.
3. L. O. Andersen. Program Analysis and Specialization for the C Programming Language. PhD thesis, DIKU, University of Copenhagen, May 1994.
4. J. Bloch et al. JSR175: A metadata facility for the Java™ programming language, Apr 2002.
5. B. Bokowski and J. Vitek. Confined types. In Proceedings of the 14th Annual Conference on Object-Oriented Programming Systems, Languages and Applications, Denver, CO, Nov. 1999.
6. C. Boyapati, R. Lee, and M. Rinard. Ownership types for safe programming: Preventing data races and deadlocks. In Proceedings of the 17th Annual Conference on Object-Oriented Programming Systems, Languages and Applications, Seattle, WA, Nov. 2002.
7. C. Boyapati and M. Rinard. A parameterized type system for race-free Java programs. In Proceedings of the 16th Annual Conference on Object-Oriented Programming Systems, Languages and Applications, Tampa Bay, Florida, Oct. 2001.
8. J. Choi, M. Burke, and P. Carini. Efficient flow-sensitive interprocedural computation of pointer-induced aliases and side effects. In Conference Record of the Twentieth Annual Symposium on Principles of Programming Languages, Charleston, SC, Jan. 1993. ACM.
9. D. Clarke and S. Drossopoulou. Ownership, encapsulation and disjointness of type and effect. In Proceedings of the 17th Annual Conference on Object-Oriented Programming Systems, Languages and Applications, Seattle, WA, Nov. 2002.
10. D. Clarke, J. Potter, and J. Noble. Ownership types for flexible alias protection. In Proceedings of the 13th Annual Conference on Object-Oriented Programming Systems, Languages and Applications, Vancouver, Canada, Oct. 1998.
11. M. Das. Unification-based pointer analysis with directional assignments. In Proceedings of the SIGPLAN '00 Conference on Program Language Design and Implementation, Vancouver, Canada, June 2000.
12. D. D'Souza and A. Wills. Objects, Components, and frameworks with UML: the catalysis approach. Addison-Wesley, Reading, Mass., 1998.
13. J. Ellson, E. Ganser, E. Koutsofios, and S. North. Graphviz. Available from http://www.research.att.com/sw/tools/graphviz.
14. M. Emami, R. Ghiya, and L. Hendren. Context-sensitive interprocedural points-to analysis in the presence of function pointers. In Proceedings of the SIGPLAN '94 Conference on Program Language Design and Implementation, pages 242-256, Orlando, FL, June 1994. ACM, New York.
15. M. Fahndrich, J. Foster, Z. Su, and A. Aiken. Partial online cycle elimination in inclusion constraint graphs. In Proceedings of the SIGPLAN '98 Conference on Program Language Design and Implementation, Montreal, Canada, June 1998.
16. N. Heintze and O. Tardieu. Ultra-fast aliasing using CLA: A million lines of code in a second. In Proceedings of the SIGPLAN '01 Conference on Program Language Design and Implementation, Snowbird, UT, June 2001.
17. D. Jackson and M. Rinard. The future of software analysis. In A. Finkelstein, editor, The Future of Software Engineering. ACM, New York, June 2000.
18. D. Jackson and A. Waingold. Lightweight extraction of object models from byte-code. In 21st International Conference on Software Engineering, Los Angeles, CA, May 1999.
19. V. Kuncak, P. Lam, and M. Rinard. Role analysis. In Proceedings of the 29th Annual ACM Symposium on the Principles of Programming Languages, Portland, OR, Jan. 2002.
20. W. Landi and B. Ryder. A safe approximation algorithm for interprocedural pointer aliasing. In Proceedings of the SIGPLAN '92 Conference on Program Language Design and Implementation, San Francisco, CA, June 1992.
21. G. Murphy, D. Notkin, and K. Sullivan. Software reflexion models: Bridging the gap between source and high-level models. In Proceedings of the ACM SIGSOFT 95 Symposium on the Foundations of Software Engineering, Washington, DC, Oct. 1995.
22. R. O'Callahan. Generalized Aliasing as a Basis for Program Analysis Tools. PhD thesis, School of Computer Science, Carnegie Mellon Univ., Pittsburgh, PA, Nov. 2000.
23. R. O'Callahan and D. Jackson. Lackwit: A program understanding tool based on type inference. In 1997 International Conference on Software Engineering, Boston, MA, May 1997.
24. E. Ruf. Context-insensitive alias analysis reconsidered. In Proceedings of the SIGPLAN '95 Conference on Program Language Design and Implementation, La Jolla, CA, June 1995.
25. A. Salcianu and M. Rinard. Pointer and escape analysis for multithreaded programs. In Proceedings of the 8th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, Snowbird, UT, June 2001.
26. M. Shapiro and S. Horwitz. Fast and accurate flow-insensitive points-to analysis. In Proceedings of the 24th Annual ACM Symposium on the Principles of Programming Languages, Paris, France, Jan. 1997.
27. B. Steensgaard. Points-to analysis in almost linear time. In Proceedings of the 23rd Annual ACM Symposium on the Principles of Programming Languages, St. Petersburg Beach, FL, Jan. 1996.
28. J. Warmer and A. Kieppe. The Object Constraint Language: Precise Modeling with UML. Addison-Wesley, Reading, Mass., Redwood City, CA, 1998.
29. R. Wilson and M. Lam. Efficient context-sensitive pointer analysis for C programs. In Proceedings of the SIGPLAN '95 Conference on Program Language Design and Implementation, La Jolla, CA, June 1995. ACM, New York.