Langue:

Conference record of POPL 2002 : the 29th ACM SIGPLAN-SIGACT symposium on principles of programming languages papers presented at the Symposium, Portland, Oregon, 16-18 January 2002

ACM Symposium on Principles of Programming Languages ACM Symposium on Principles of Programming Languages 29th Portland, Or. 2002 ; ACM Special Interest Group on Algorithms and Computation ; Association for Computing Machinery Special Interest Group on Programming Languages Etats Unis ; Association for Computing Machinery États-Unis

Voir les exemplaires

Titre:
Conference record of POPL 2002 : the 29th ACM SIGPLAN-SIGACT symposium on principles of programming languages papers presented at the Symposium, Portland, Oregon, 16-18 January 2002
Auteur: ACM Symposium on Principles of Programming Languages ACM Symposium on Principles of Programming Languages 29th Portland, Or. 2002
Autre(s) auteur(s): ACM Special Interest Group on Algorithms and Computation;
Association for Computing Machinery Special Interest Group on Programming Languages Etats Unis;
Association for Computing Machinery États-Unis
Sujets: Langages de programmation -- Congrès;
SPECIFICATION;
SECURITE;
DATAFLOW ANALYSIS;
COMPILATION;
Transformation de programme;
Modèl Checking;
Preuve de programme;
H-INF.TH.
Éditeur: New York, N.Y. : Association for computing machinery
Date de publication: 2002
Format: VIII-343 p. ; 28 cm
Langue: Anglais
Identifiant: ISBN 1-58113-450-9
Source: Mines ParisTech (catalogue)

Liens

Retour à la liste des résultats