Normal view MARC view ISBD view

POPL' 12 [ [Texte imprimé]] : Proceedings of the 39th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages : January 25-27, 2012, Philadelphia, PA / Association for Computing Machinery ; sponsored by: ACM SIGPLAN in co-operation with ACM SIGACT

Niveau de l'ensemble : , SIGPLAN notices, 2012, vol. 47, n° 1Auteur principal collectivité : Annual ACM Sigplan-Sigact symposium(Principles of programming languages, POPL'12, January 25-27, 2012Auteur secondaire collectivité : Association for Computing Machinery, États-Unis, Editeur scientifiquePublication :New York, N.Y. : ACM Press, 2012Description : 1 vol. (XVI-585 p.) ; 28 cmBibliographie: Notes bibliogr. à la fin de chaque article ; Author index (p. 585).Sujet - Nom d'actualité : Langages de programmation -- Congrès Sujet : Logiciel ;Sémantique ;Vérification ;CONTROLE D'ACCÈS ;Sécurité ;Complexité ;Langage fonctionnel ;Analyse dynamique ;Transformation de programme ;Langage de programmation ;Théorie des Types ;Preuve de programme
Current location Call number Status Date due Barcode
Centre de recherche en informatique
PHI 12 Sur demande CRI06284D

Notes bibliogr. à la fin de chaque article ; Author index (p. 585)

Powered by Koha

//]]>