An Integrated Proof Language for Imperative Programs
2009
Files
Details
Title
An Integrated Proof Language for Imperative Programs
Author(s)
Zee, Karen ; Kuncak, Viktor ; Rinard, Martin
Published in
PLDI '09: Proceedings of the 30th ACM SIGPLAN Conference on Programming Language Design and Implementation
Pages
338–351
Conference
ACM Conf. Programming Language Design and Implementation (PLDI)
Date
2009
Keywords
Other identifier(s)
View record in Web of Science
Laboratories
LARA
Record Appears in
Scientific production and competences > I&C - School of Computer and Communication Sciences > IINFCOM > LARA - Laboratory for Automated Reasoning and Analysis
Peer-reviewed publications
Conference Papers
Work produced at EPFL
Published
Peer-reviewed publications
Conference Papers
Work produced at EPFL
Published
Record creation date
2009-05-01