P-logic: property verification for Haskell programs (2002)
by
Richard B. Kieburtz
| Citations: | 10 - 1 self |
BibTeX
@MISC{Kieburtz02p-logic:property,
author = {Richard B. Kieburtz},
title = {P-logic: property verification for Haskell programs},
year = {2002}
}
Years of Citing Articles
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
Proof-supported logical verification of program properties has been a topic of research interest for more than 30 years. The feasibility of proof construction as a verification technique has been demonstrated through many examples of its application, yet it remains a technique rarely used in practice for a variety of reasons, both technical and sociological. The lack of verification logics for modern programming languages remains a strong deterrent to the use of proof-supported verification.
