My actions
Close
Username
Password
Search
Submit
Help
Search tips
What's your PUBLISHER policy?
Check with SHERPA/ROMEO whether your PUBLISHER allows you to put your own papers online.
Access
Contact
Laboratory for Automated Reasonig an Analysis
Format
Export
I want to...
Search for similar records

Search


   
Close
Limit to these document types:
Publications
 Journal Articles
 Reviews
 Conference Papers
Monographs
 Books
 Thesis
 Book chapters
 Conference Proceedings
Reports
 Technical Reports
 Working papers
 Presentations & Talks
 Posters
 Presentations & Talks
Standards & Patents
 Standards
 Patents
Lectures & Teaching Material
 Teaching documents
 Student projects
Filter by publication status Filter by origin Fulltext availability
 Peer-reviewed publications
 Published  Accepted  Submitted
  Work produced at EPFL
  Publicly available  Restricted access
CONFERENCE PAPER

An Integrated Proof Language for Imperative Programs

Zee, Karen ; Kuncak, Viktor ; Rinard, Martin

Presented at: ACM Conf. Programming Language Design and Implementation (PLDI).

Date: 2009

Reference: LARA-CONF-2009-007

Record created on 2009-05-01, modified on 2010-03-13