An Integrated Proof Language for Imperative Programs
2009
Files
Détails
Titre
An Integrated Proof Language for Imperative Programs
Auteur(s)
Zee, Karen ; Kuncak, Viktor ; Rinard, Martin
Publié dans
PLDI '09: Proceedings of the 30th ACM SIGPLAN Conference on Programming Language Design and Implementation
Pages
338–351
Présenté à
ACM Conf. Programming Language Design and Implementation (PLDI)
Date
2009
Mots-clés (libres)
Autres identifiant(s)
Afficher la publication dans Web of Science
Laboratoires
LARA
Le document apparaît dans
Production scientifique et compétences > I&C - Faculté Informatique & Communications > IINFCOM > LARA - Laboratoire d'analyse et de raisonnement automatisés
Publications validées par des pairs
Papiers de conférence
Travail produit à l'EPFL
Publié
Publications validées par des pairs
Papiers de conférence
Travail produit à l'EPFL
Publié
Date de création de la notice
2009-05-01