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)
Type
conference paper
DOI
10.1145/1542476.1542514
Web of Science ID

WOS:000267268400030

Author(s)
Zee, Karen
Kuncak, Viktor  orcid-logo
Rinard, Martin
Date Issued

2009

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

338

End page

351

Subjects

Algorithms

•

Languages

•

Reliability

•

Verification

•

verification

•

theorem prover

•

proof system

Editorial or Peer reviewed

REVIEWED

Written at

EPFL

EPFL units
LARA  
Event name
ACM Conf. Programming Language Design and Implementation (PLDI)
Available on Infoscience
May 1, 2009
Use this identifier to reference this record
https://infoscience.epfl.ch/handle/20.500.14299/38237