Statically checkable design level traits

Proceedings - 13th IEEE International Conference on Automated Software Engineering, ASE 1998

Volumn 1998-October, Issue , 1998, Pages 217-220

  Gil, Y ^a   Eckel, Y ^b  

^a IBM T J WATSON RESEARCH CENTER   (United States)

^b TECHNION ISRAEL INSTITUTE OF TECHNOLOGY   (Israel)

Author keywords

[No Author keywords available]

Indexed keywords

AUTOMATION;

ALIAS ANALYSIS; COMPILER CONSTRUCTION; DESIGN DECISIONS; DETAILED DESIGN; HIGHER-LEVEL ABSTRACTION; INHERITANCE RELATIONSHIPS; UNDERSTANDABILITY; VARIABLE ANALYSIS;

SOFTWARE ENGINEERING;

EID: 84954186842     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ASE.1998.732651     Document Type: Conference Paper

References (29)

1. A.V.Aho, R.Sethi, and J.D.Ullman.Compilers: Principles, Techniques, and Tools. Addison-Wesley, 1986.
2. P. S. Almeida. Balloon types: Controlling sharing of state in data types. In M. Akşit and S. Matsuoka, editors, Proceedings of the 11th European Conference on Object-Oriented Programming, number 1241 in Lecture Notes in Computer Science, pages 32-59, Jyväskylä, Finland, June 9-13 1997. ECOOP'97, Springer Verlag.
3. V. Benzaken and X. Schaefer. Static integrity constraint management in object-oriented database programming languages via predicate transformers. In M. Akşit and S. Matsuoka, editors, Proceedings of the 11th European Conference on Object-Oriented Programming, number 1241 in LectureNotes in Computer Science, pages 60-84, Jyväskylä, Finland, June 9-13 1997. ECOOP'97, Springer Verlag.
4. L. Cardelli. Typeful programming. Technical Report 45, Digital EquipmentCorporationSystemResearchCenter, Jan. 1993.
5. L. Cardelli and P. Wegner. On understanding types, data abstractions, and polymorphism. ACM Comput. Surv., 17(4):471-522, 1985.
6. M. P. Cline and G. A. Lomow. C++ FAQs: Frequently Asked Questions. Addison-Wesley, 1995.
7. S. K. Cormac Flanagan, Matthew Flatt and S. Weirich. Catching bugs in the web of program invariants. In Proceedings of the 1996 ACM SIGPLAN Conference on Programming Language Design and Implementation, pages 23-32, Philadelphia, PA, May 1996. PLDI'96, Acm SIGPLAN Notices 31(5) May 1996.
8. S. K. Cormac Flanagan, Matthew Flatt and S. Weirich. Static detection of dynamic memory errors. In Proceedings of the 1996 ACM SIGPLAN Conference on Programming Language Design and Implementation, pages 44-53, Philadelphia, PA, May 1996.PLDI'96, AcmSIGPLANNotices 31(5) May 1996.
9. A. Eden, J. Y. Gil, and A. Yehudai. Formallanguage for design patterns. extended abstract, 1997.
10. E. Gamma, R. Helm, R. Johnson, and J. Vlissides. Design Patterns: Elements of Reusable Object-Oriented Software. Professional Computing. Addison-Wesley, 1995.
11. J. Gil and Y. Eckel. Ownership and decency. Manuscript., Nov. 1997.
12. R. Helm, I. M. Holland, and D. Gangopadhyay. Contracts: Specifiying behavioral compositions in objecoriented systems. In N. K. Meyrowitz, editor, Proceedings of ECOOP=Object-Oriented Programming Systems, Languages, and Applications, pages 169-180, Ottawa, Canada, Oct. 21-25 1990. OOPSLA'90, Acm SIGPLAN Notices 25(10) Oct. 1990.
13. D. Jackson. Aspect: Detecting bugs with abstract dependences. ACM Transactions on Software Engineering and Methodology, 4:109-145, Apr. 1995.
14. J. L. Jensen, M. E. Jorgensen, N. Klarlund, and M. I. Schwartzbach. Automatic verification of pointer programs using monadic second-order logic. In Proceedings of the 1997 ACM SIGPLAN Conference on Programming Language Design and Implementation, pages 226-234, Las Vegas, NE, May 1997.PLDI'97, AcmSIGPLANNotices 32(5) May 1997.
15. K. Kennedy. A survey of data flow analysis techniques. In S. S. Muchnick and N. D. Jones, editors, Program Flow Analysis: Theory and Applications, chapter 1. Prentice-Hall, 1981.
16. G. Kildall. A unified approach to global program optimization. In Conference Record ofACMSymposiumon Principles of Programming Languages, pages 194-206, Boston, MA, Oct. 1973.
17. N. Klarlund, J. Koistinen, and M. I. Schwartzbach. Formal design constraints. In Proceedings of the 11th Annual Conferenceon Object-OrientedProgramming Systems, Languages, and Applications, pages 370-383, San Jose, California, Oct. 6-10 1996. OOPSLA'96, Acm SIGPLAN Notices 31(10) Oct. 1996.
18. D. E. Knuth. Semantics of context-free languages. Mathematical Systems Theory, 2(2):127-145, 1968.Correction [?].
19. K. Lieberherr, I. Holland, and A. Riel. Object oriented programming: An objective sense of style. In N. K. Meyrowitz, editor, Proceedings of the 3rd Annual Conference on Object-Oriented Programming Systems, Languages, and Applications, SanDiego, California, Sept. 25-30 1988.OOPSLA' 88, Acm SIGPLAN Notices 23(11) Nov. 1988.
20. K. J. Lieberherr and I. M. Holland. Assuring good style for object oriented programs. IEEE Software, pages 38-48, Sept. 1989.
21. B. Meyer. Object-Oriented Software Construction. International Series in Computer Science. Prentice-Hall, 1988.
22. B.Meyer. Object-Oriented SoftwareConstruction. Prentice-Hall, second edition, 1997.
23. M. Mezini. Maintaining the consistency and behavior of class libraries during their evolution. In Proceedings of the 12th Annual Conference on Object-Oriented Programming Systems, Languages, and Applications, pages 1-21, Atlanta, Georgia, Oct. 5-9 1997. OOPSLA'97, Acm SIGPLAN Notices 32(-) Oct. 1997. To appear.
24. N. H. Minsky. Towards architectural invariants of evolving systems. Manuscript, Jan 1997.
25. R. O'Callahan and D. Jackson. Lackwit: A program understanding tool based on type inference. Manuscript.
26. M. Page-Jones. What Every Programmer Should Know About Object-Oriented Design. Dorset House Publishing, 1995.
27. B. K. Rosen. Degrees of availability as an introduction to the general theory of data flow analysis. In S. S. Muchnick and N. D. Jones, editors, Program Flow Analysis: Theory and Applications, chapter 2. Prentice-Hall, 1981.
28. M. Sagiv, T. Reps, and R. Wilhelm. Solving shape-analysis problems in languages with destructive updating. In ACM Symposium on Principles of Programming Languages. ACM, Jan. 1996. http://ww.cs.wisc.edu/wpis/papers/popl96.ps.
29. M. Sharir and A. Pnueli. Two approaches to interprocedural data flow analysis. In S. S. Muchnick and N. D. Jones, editors, Program Flow Analysis: Theory and Applications, chapter 7. Prentice-Hall, 1981.