On Modular Pluggable Analyses Using Set Interfaces
2003
Files
Détails
Titre
On Modular Pluggable Analyses Using Set Interfaces
Auteur(s)
Lam, Patrick ; Kuncak, Viktor ; Rinard, Martin
Date
2003
Note
MIT CSAIL report number 933
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
Travail hors EPFL
Rapports techniques
Publié
Travail hors EPFL
Rapports techniques
Publié
Date de création de la notice
2007-08-21