15859 articles – 31994 references  [version française]
.:. Browse > List by subject > Programming Languages .:.
92 documents ordered by :
First Previous 1 - 2 - 3 - 4 - 5 - 6 - 7 ... Next Last
fulltext access Conception d'un noyau de vérification de preuves pour le λΠ-calcul modulo
Boespflug M.
Ecole Polytechnique X (2011-01-18), Gilles Dowek (Dir.) [tel-00672699 - version 1]
fulltext access A Stream-Comptuting Extension to OpenMP
Pop A., Cohen A.
International Conference on High Performance and Embedded Architectures and Compilers, Greece (2011) [inria-00551507 - version 1]
A stream-computing extension to OpenMP
Pop A., Cohen A.
Dans HiPEAC'11 - Proceedings of the 6th International Conference on High Performance and Embedded Architectures and Compilers - 6th International Conference on High Performance and Embedded Architectures and Compilers, HiPEAC'11, Grèce (2011) [hal-00659411 - version 1]
A Modular Integration of SAT/SMT Solvers to Coq through Proof Witnesses
Faure G., Keller C., Laurent T., Benjamin G., Benjamin W., Mickael A.
CERTIFIED PROGRAMS AND PROOFS (2011) [hal-00644216 - version 1]
fulltext access A Non-Standard Semantics for Kahn Networks in Continuous Time
Beauxis R., Mimram S.
Computer Science Logic (CSL'11) - 25th International Workshop/20th Annual Conference of the EACSL, Norway (2011) [inria-00616968 - version 1]
fulltext access Liquidsoap: a High-Level Programming Language for Multimedia Streaming
Baelde D., Beauxis R., Mimram S.
SOFSEM 2011: Theory and Practice of Computer Science, Slovakia (2011) [inria-00585728 - version 1]
fulltext access Programmer avec des modules de première classe dans un langage noyau pourvu de sous-typage, sortes singletons et types existentiels ouverts
Montagu B.
Ecole Polytechnique X (2010-12-15), Didier Rémy (Dir.) [tel-00550331 - version 1]
fulltext access Erbium: A Deterministic, Concurrent Intermediate Representation to Map Data-Flow Tasks to Scalable, Persistent Streaming Processes
Miranda C., Pop A., Dumont P., Cohen A., Duranton M.
Dans . - International Conference on Compilers Architectures and Synthesis for Embedded Systems (CASES'10), États-Unis (2010) [inria-00551510 - version 1]
fulltext access Développement modulaire de théories et gestion de l'espace de nom pour l'assistant de preuve Coq.
Soubiran E.
Ecole Polytechnique X (2010-09-27), Hugo Herbelin (Dir.) [tel-00679201 - version 1]
fulltext access Tempo Documentation - Interacting with a C Program Specializer
Marlet R.
Rapport de recherche (2010) 149 [inria-00516990 - version 1]