conference paper

An Integrated Proof Language for Imperative Programs

Zee, Karen
•
Kuncak, Viktor  
•
Rinard, Martin
2009
PLDI '09: Proceedings of the 30th ACM SIGPLAN Conference on Programming Language Design and Implementation
ACM Conf. Programming Language Design and Implementation (PLDI)
Loading...
Thumbnail Image
Name

ZeeETAL09IntegratedProofLanguageforImperativePrograms.pdf

Access type

openaccess

Size

245.16 KB

Format

Adobe PDF

Checksum (MD5)

d2323f98632d3818f7ca1c6d6ce6e0c7