Effective typestate verification in the presence of aliasing

ACM Transactions on Software Engineering and Methodology

Volumn 17, Issue 2, 2008, Pages

  Fink, Stephen J ^a   Yahav, Eran ^a   Dor, Nurit ^b   Ramalingam, G ^a   Geay, Emmanuel ^a  

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

^b IBM HAIFA RESEARCH LAB   (Israel)

Author keywords

Alias analysis; Program verification; Typestate

Indexed keywords

ALIAS ANALYSIS; PROGRAM VERIFICATION;

CODES (SYMBOLS); INFORMATION ANALYSIS; JAVA PROGRAMMING LANGUAGE;

VERIFICATION;

EID: 43449124115     PISSN: 1049331X     EISSN: 15577392     Source Type: Journal    
DOI: 10.1145/1348250.1348255     Document Type: Conference Paper

References (50)