Normal view MARC view ISBD view

POPL' 16 : proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages : January 20-22, 2016, St. Petersburg, FL, USA ; edited by: Rastislav Bodik, Rupak Majumdar, Association for Computing Machinery ; sponsored by ACM SIGPLAN and ACM SIGACT

Auteur principal collectivité : POPL' 16, proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 43, January 20-22, 2016, AuteurAuteur secondaire : : Bodik, Rastislav, Editeur scientifique;Majumdar, Rupak, Editeur scientifiqueAuteur secondaire collectivité : Association for Computing Machinery, États-Unis, Editeur scientifiquePublication : New York(NY) : ACM Press, 2016Description : 1 vol. (XVI-817 p.) : fig. ; 28 cmBibliographie: Réf. bibliogr. à la fin des articles ; Author index (p. 816-817).Sujet - Nom d'actualité : Langages de programmation -- Actes de congrès ;Logiciel Sujet : Théorie des Types ;Compilation ;Algorithme répartie ;Modèle polyédrique ;Modèl Checking ;Synthèse de code
Current location Call number Status Date due Barcode
Centre de recherche en informatique
St. PET 16 Sur demande CRI06416D

Réf. bibliogr. à la fin des articles ; Author index (p. 816-817)

Powered by Koha