Verifying object-oriented software: Lessons and challenges

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

Volumn 4424 LNCS, Issue , 2007, Pages 2-

  Rustan, K ^a   Leino, M ^a  

^a MICROSOFT RESEARCH   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER PROGRAMMING LANGUAGES; COMPUTER SOFTWARE; SEMANTIC WEB; THEOREM PROVING; VERIFICATION; COMPUTER SOFTWARE SELECTION AND EVALUATION; FORMAL LOGIC; SEMANTICS;

AUTOMATIC PROGRAM VERIFIERS; CONDITION GENERATION; OBJECT ORIENTED SOFTWARE;

OBJECT ORIENTED PROGRAMMING;

AUTOMATIC PROGRAMS; INFERENCE TECHNIQUES; OBJECT ORIENTED SOFTWARE; PROGRAM VERIFICATION; PROGRAMMING IDIOMS; PROGRAMMING LANGUAGE SEMANTICS; PROGRAMMING SYSTEM; VERIFICATION CONDITION;

EID: 37149052617     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: None     Document Type: Conference Paper

References (0)