Permissive interfaces

ESEC/FSE'05 - Proceedings of the Joint 10th European Software Engineering Conference (ESEC) and 13th ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE-13)

Volumn , Issue , 2005, Pages 31-40

  Henzinger, Thomas A ^a   Jhala, Ranjit ^b   Majumdar, Rupak ^c  

^a UNIVERSITY OF CALIFORNIA   (United States)

^b UNIVERSITY OF CALIFORNIA   (United States)

^c UNIVERSITY OF CALIFORNIA   (United States)

Author keywords

Modular verification; Software interfaces

Indexed keywords

ALGORITHMIC LANGUAGES; COMPUTER SOFTWARE; GRAPH THEORY; MATHEMATICAL MODELS; SYSTEMS ANALYSIS;

LIBRARY CALLS; MODULAR VERIFICATION; SOFTWARE INTERFACES; TYPESTATE SYSTEM;

INTERFACES (COMPUTER);

EID: 32344438703     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1095430.1081713     Document Type: Conference Paper

References (14)

1. R. Alur, P. Cerny, G. Gupta, and P. Madhusudan. Synthesis of interface specifications for Java classes. In POPL, pp. 98-109. ACM 2005.
2. G. Ammons, R. Bodik, and J.R. Larus, Mining specifications. In POPL, pp. 4-16. ACM 2002.
3. J. Cobleigh, D. Giannakopoulou, and C.S. Pasareanu. Learning assumptions for compositional verification. In TACAS, LNCS 2619, pp. 331-346. Springer 2003.
4. M. Das, S, Lerner, and M. Seigle, ESP: Path-sensitive program verification in polynomial time. In PLDI, pp. 57-68, ACM 2002.
5. L. de Alfaro and T.A. Henzinger. Interface automata. In FSE, pp. 109-120. ACM 2001.
6. E.W. Dijkstra, A Discipline of Programming. Prentice-Hall 1976.
7. M.A. Fahndrich and R. DeLine. Typestates for objects. In ECOOP, LNCS 3086, pp. 465-490. Springer 2004.
8. J.S. Foster, T. Terauchi, and A. Aiken. Flow-sensitive type qualifiers. In PLDI, pp. 1-12, ACM 2002.
9. D. Giannakopoulou, C.S. Pasareanu, and H. Barringer. Assumption generation for software component verification. In ASE, pp. 3-12. IEEE 2002.
10. S. Graf and H, Saïdi. Construction of abstract state graphs with PVS. In CAV, LNCS 1254, pp. 72-83. Springer 1997.
11. T.A. Henzinger, R. Jhala, R. Majumdar, and K.L. McMillan. Abstractions from proofs. In POPL, pp. 232-244. ACM 2004.
12. T.A. Henzinger, R. Jhala, R. Majumdar, and G. Sutre. Lazy abstraction. In POPL, pp. 58-70. ACM 2002.
13. R.E. Strom and S. Yemini. Typestate: A programming language concept for enhancing software reliability, IEEE Trans. Software Engineering, 12:157-171, 1986.
14. J. Whaley, M.C. Martin, and M.S. Lam. Automatic extraction of object-oriented component interfaces. In ISSTA, pp. 218-228. ACM 2002.