conference paper

An Integrated Proof Language for Imperative Programs

Zee, Karen
•
Kuncak, Viktor  orcid-logo
•
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)