TY - GEN
T1 - Modular reasoning in object-oriented programming
AU - Naumann, David A.
PY - 2008
Y1 - 2008
N2 - Difficulties in reasoning about functional correctness and relational properties of object-oriented programs are reviewed. An approach using auxiliary state is briefly described, with emphasis on the author's work. Some near term challenges are sketched.
AB - Difficulties in reasoning about functional correctness and relational properties of object-oriented programs are reviewed. An approach using auxiliary state is briefly described, with emphasis on the author's work. Some near term challenges are sketched.
UR - http://www.scopus.com/inward/record.url?scp=84885658101&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=84885658101&partnerID=8YFLogxK
U2 - 10.1007/978-3-540-69149-5_13
DO - 10.1007/978-3-540-69149-5_13
M3 - Conference contribution
AN - SCOPUS:84885658101
SN - 9783540691471
T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
SP - 105
EP - 115
BT - Verified Software
T2 - 1st IFIP TC 2/WG 2.3 Conference on Verified Software: Theories, Tools, Experiments, VSTTE 2005
Y2 - 10 October 2005 through 13 October 2005
ER -