32032 search results - page 3 / 6407 » Verified programming in Guru |
CC
2005
Springer
15 years 4 months ago
2005
Springer
Abstract. This tool demonstration presents Hob, a system for verifying data structure consistency for programs written in a general-purpose programming language. Our tool enables t...
ICFP
2010
ACM
14 years 11 months ago
2010
ACM
114
click to vote
FMOODS
2008
15 years 5 days ago
2008
Reasoning about object-oriented programs is hard, due to , dynamic binding and the need for data abstraction and framing. Reasoning about concurrent object-oriented programs is eve...
ISSTA
2006
ACM
15 years 4 months ago
2006
ACM
We present a method to verify the correctness of parallel programs that perform complex numerical computations, including computations involving floating-point arithmetic. The me...