32032 search results - page 3 / 6407 » Verified programming in Guru |
CC
2005
Springer
14 years 28 days 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...
POPL
2006
ACM
14 years 7 months ago
2006
ACM
ICFP
2010
ACM
13 years 8 months ago
2010
ACM
FMOODS
2008
13 years 8 months 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
14 years 1 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...