Normal view MARC view ISBD view

POPL' 14 [ [Texte imprimé]] : proceedings of the 41st annual ACM SIGPLAN-SIGACT symposium on principles of programming languages : january 22-24, 2014, San Diego (Calif.), USA ; Association for Computing Machinery ; sponsored by ACM SIGPLAN in co-operation with ACM SIGACT

Niveau de l'ensemble : , SIGPLAN notices, vol. 49, n° 1Auteur principal collectivité : ACM symposium on principles of programming languages, 41, 2014, AuteurAuteur secondaire collectivité : Special group on algorithms and computation theory, Etats-Unis, Editeur scientifique;Association for Computing Machinery, Etats Unis, Special Interest Group on Programming Languages, Editeur scientifique;Association for Computing Machinery, États-Unis, Editeur scientifiquePublication : New York(NY) : ACM Press, 2014, cop. 2014Description : 1 vol. (XV-686 p.) : fig. ; 28 cmISBN : 978-1-4503-2544-8.Bibliographie: Réf. bibliogr. ; Author index (p. 685).Sujet - Nom d'actualité : Langages de programmation -- Actes de congrès Sujet : Informatique théorique ;Interprétation abstraite ;Analyse statique ;Sémantique ;Langage fonctionnel ;Sécurité ;Modèl Checking ;Théorie des Types
Current location Call number Status Date due Barcode
Centre de recherche en informatique
SAN DIE 14 Sur demande CRI06332D

Réf. bibliogr. ; Author index (p. 685)

Powered by Koha