Français
English
identification
Menu
Recherche
Browse Collections
Aide
Français
English
identification
Generalized Typestate Checking Using Set Interfaces and Pluggable Analyses
Lam, Patrick
;
Kuncak, Viktor
;
Rinard, Martin
2004
Télécharger
Formats
Format
BibTeX
Voir
Télécharger
MARC
Voir
Télécharger
MARCXML
Voir
Télécharger
DublinCore
Voir
Télécharger
EndNote
Voir
Télécharger
NLM
Voir
Télécharger
RefWorks
Voir
Télécharger
RIS
Voir
Télécharger
Fichiers
Détails
Titre
Generalized Typestate Checking Using Set Interfaces and Pluggable Analyses
Auteur(s)
Lam, Patrick
;
Kuncak, Viktor
;
Rinard, Martin
Publié dans
SIGPLAN Notices
Volume
39
Numéro
3
Pages
46-55
Date
2004
DOI
https://doi.org/10.1145/981009.981016
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
Travail hors EPFL
Articles de journaux
Publié
Date de création de la notice
2007-08-21
Actions
Aperçu
Sélectionner le fichier :
LamETAL04GeneralizedTypestateCheckingUsingSets - n/a