An Integrated Proof Language for Imperative Programs

Zee, Karen

•

•

Rinard, Martin

2009

PLDI '09: Proceedings of the 30th ACM SIGPLAN Conference on Programming Language Design and Implementation

An Integrated Proof Language for Imperative Programs

conference paper

Name

ZeeETAL09IntegratedProofLanguageforImperativePrograms.pdf

Access type

openaccess

Size

245.16 KB

Format

Adobe PDF

Checksum (MD5)

d2323f98632d3818f7ca1c6d6ce6e0c7