Incremental reasoning for object oriented systems

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

Volumn 2635, Issue , 2004, Pages 302-333

  Soundarajan, Neelam ^a   Fridella, Stephen ^a  

^a OHIO STATE UNIVERSITY   (United States)

Author keywords

Behavior of polymorphic methods; Incremental design; Incremental reasoning

Indexed keywords

COMPUTER SCIENCE; COMPUTERS;

BASE CLASS; BEHAVIOR OF POLYMORPHIC METHODS; INCREMENTAL DESIGNS; INCREMENTAL REASONING; OBJECT ORIENTED APPROACH; OBJECT-ORIENTED SYSTEM;

ARTIFICIAL INTELLIGENCE;

EID: 34250172622     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-39993-3_15     Document Type: Article

References (27)

1. M. Abadi and K. Leino. A logic of oo programs. In Proceedings of TAPSOFT '97, pages 682-696. Springer-Verlag, 1997.
2. P. America. Designing an object oriented programming language with behavioral subtyping. In Foundations of Object-Oriented Languages, REX School/Workshop, LNCS 489, pages 69-90. Springer-Verlag, 1991.
3. M. Buchi and W. Weck. The greybox approach: when blackbox specifications hide too much. Technical Report TUCS TR No. 297, Turku Centre for Computer Science, 1999. available at http://www.tucs.abo.fi/.
4. L. Cardelli and P. Wegner. On understanding types, data abstraction, and polymorphism. ACM Computing Surveys, 1985.
5. O.J. Dahl. Verifiable Programming. Prentice-Hall, 1992.
6. K.K. Dhara and G.T. Leavens. Weak behavioral subtyping for types with mutable objects. In S. Brookes, M. Main, A. Melton, and M. Mislove, editors, Proc. of 11th Annual Conf. on Math. Found. of Programming, Elec Notes in Theoretical Computer Sc., pages 269-290. Elsevier, 1995.
7. K.K. Dhara and G.T. Leavens. Forcing behavioral subtyping through specification inheritance. In Proc. of 18th Int. Conf. on Softw. Eng., pages 258-267. IEEE Computer Soc., 1996.
8. O-J Dahl, B Myhrhaug, and K Nygaard. Simula 67 common base language. Technical Report S-2, Norwegian Computing Center, Oslo, 1968.
9. O.J. Dahl and K. Nygaard. Simula - an algol-based simulation language. Communications of the ACM, 9(9):671-678, Sept 1966.
10. S. Edwards. Representation inheritance: A safe form of 'white box' code inheritance. IEEE TSE, 23, 83-92, 1997.
11. E. Gamma, R. Helm, R. Johnson, and J. Vlissides. Design Patterns: Elements of Reusable OO Software. Addison-Wesley, 1995.
12. D. Garlan, S. Jha, D. Notkin, and J. Dingel. Reasoning about implicit invocation. In Proceedings of Foundations of Software Engineering (FSE-6), pages 209-221. ACM Press, 1998.
13. C.A.R. Hoare. Communicating Sequential Processes. Prentice-Hall, 1985.
14. C. Jones. Systematic Software Development Using VDM. Prentice-Hall, 1990.
15. I. Keidar, R. Khazan, N. Lynch, and A. Shvartsman. Inheritance-based technique for building simulation proofs incrementally. In M. Harrold, editor, 22nd Int. Conf. of Software Eng., pages 478-487. ACM, 2000.
16. G. Kiczales and J. Lamping. Issues in the design and specification of class libraries. In OOPSLA '92, pages 435-451, 1992.
17. J. Lamping. Typing the specialization interface. In OOPSLA, pages 201-214, 1993.
18. B. Liskov and J. Wing. A new definition of the subtype relation. In ECOOP, 1993.
19. B. Liskov and J. Wing. A behavioral notion of subtyping. ACM Trans. on Prog. Lang. and Systems, 16:1811-1841, 1994.
20. J. Misra and K. Chandy. Proofs of networks of processes. IEEE Trans. on Software Eng., 7:417-426, 1981.
21. B. Meyer. Object-Oriented Software Construction. Prentice Hall, 1997.
22. S. Matsuoka and A. Yonezawa. Analysis of inheritance anomaly in oo concurrent languages. In Agha, Wegner, and Yonezawa, editors, Research directions in concurrent OO programming, pages 107-150. MIT Press, 1993.
23. S. Owicki and D. Gries. An axiomatic proof technique for parallel programs. Acta Informatica, 6(1):319-340, 1976.
24. M. Sakkinen. Disciplined inheritance. In S. Cook, editor, Proceedings of ECOOP '89, pages 39-56. British Computer Workshop Series, 1989.
25. N. Soundarajan and O.-J. Dahl. Partial correctness semantics of CSP. Technical Report 66, Institute of Informatics, Oslo University, 1982.
26. R. Stata and J.V. Guttag. Modular reasoning in the presence of subclassing. In OOPSLA, pages 200-214. ACM Press, 1995.
27. J. Warmer and A. Kleppe. The Object Constraint Langauge. Addison-Wesley, 1999.