Normal view MARC view ISBD view

POPL' 17 : Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages : January 15-21, 2017, Paris, France ; edited by: Giuseppe Castagna, Andrew D. Gordon ; sponsored by ACM SIGPLAN, in-coop with ACM SIGACT and SIGLOG

Auteur principal collectivité : POPL' 17, Proceedings of the 44thrd ACM SIGPLAN Symposium on Principles of Programming Languages, 44, January 15-21, 2017, AuteurAuteur secondaire : : Castagna, Giuseppe, 1966-...., Editeur scientifique;Gordon, Andrew D., Editeur scientifiqueAuteur secondaire collectivité : Association for Computing Machinery, États-Unis, Editeur scientifiquePublication : New York(NY) : ACM Press, 2017Description : 1 vol. (XIX-901 p.) : fig. ; 28 cmBibliographie: Réf. bibliogr. à la fin des articles.Sujet - Nom d'actualité : Logiciel ;Langages de programmation -- Actes de congrès ;Théorie des types ;Interpretation abstraite (informatique) ;Programmation probabiliste (informatique) ;Programmation parallèle (informatique) ;Logique informatique ;Compilation (informatique) ;Logiciels -- Vérification ;Systeme d'effets (informatique) ;Sécurité informatique ;Algorithme quantique (informatique) Sujet : Analyse statique
Current location Call number Status Date due Barcode
Centre de recherche en informatique
PAR 17 Sur demande CRI06431D

Réf. bibliogr. à la fin des articles

Powered by Koha