596 search results - page 120 / 120 » Case Studies as Assessment Tools in Software Engineering Cla... |
171
Voted
ICFP
2009
ACM
15 years 11 months ago
2009
ACM
We present a new approach for constructing and verifying higherorder, imperative programs using the Coq proof assistant. We build on the past work on the Ynot system, which is bas...