.:. Consultation > Par domaine > Langage de programmation .:.

20 documents classés par :  date de publication, écriture ou dépôt titre du document 1er auteur Type de documents Date de dépôt

1 - 2

Langages Applicatifs et Machines Abstraites pour la Couverture de Code Structurelle Wang P. Université Pierre et Marie Curie - Paris VI (04/10/2012), Emmanuel Chailloux (Dir.) [tel-00741549 - version 2]

Development of secured systems by mixing programs, specifications and proofs in an object-oriented programming environment. A case study within the FoCaLiZe environment Doligez D., Jaume M., Rioboo R. PLAS - Seventh Workshop on Programming Languages and Analysis for Security, Chine (2012) [hal-00773654 - version 1]

Proceedings of the Spatial Computing Workshop (SCW 2012) colocated with AAMAS (W21) Beal J., Dulman S. O., Giavitto J.-L., Spicher A. (2012) 60 [hal-00769288 - version 1]

SPOC: GPGPU PROGRAMMING THROUGH STREAM PROCESSING WITH OCAML Bourgoin M., Chailloux E., Lamotte J. L. Parallel Processing Letters 22, 2 (2012) 1240007 [hal-00697257 - version 1]

Arbitrary Nesting of Spatial Computations Spicher A., Michel O., Giavitto J.-L. Dans Proceeding of the Spatial Computing Workshop (SCW12). AAMAS Satellite Workshop W21 - Spatial Computing Workshop, Espagne (2012) [hal-00769286 - version 1]

Spatial Computing in MGS Spicher A., Michel O., Giavitto J.-L. Dans Unconventional Computation and Natural Computation - 11th International Conference Unconventional Computation & Natural Computation (UCNC 2012)., France (2012) [hal-00769284 - version 1]

Programmation Web Typée Canou B. Université Pierre et Marie Curie - Paris VI (04/10/2011), Emmanuel Chailloux (Dir.) [tel-00640566 - version 1]

Using Camlp4 for presenting dynamic mathematics on the web: DynaMoW, an OCaml language extension for the run-time generation of mathematical contents and their presentation on the web (An experience report) Chyzak F., Darrasse A. Dans ICFP'11 Proceeding of the 16th ACM SIGPLAN International Conference on Functional Programming - ICFP 2011 - 16th ACM SIGPLAN International Conference on Functional Programming, Japon (2011) [hal-00640584 - version 1]

A Petri Net Interpretation of Open Reconfigurable Systems Peschanski F., Klaudel H., Devillers R. Dans Applications and Theory of Petri Nets. 32nd International Conference, PETRI NETS 2011, Newcastle, UK, June 20-24, 2011. Proceedings - Applications and Theory of Petri Nets, Royaume-Uni (2011) [hal-00628489 - version 1]

Parallel Computing with the Pi-calculus Peschanski F. Dans DAMP'11. Proceedings of the 6th ACM Workshop on Declarative Aspects of Multicore Programming - Declarative Aspects of Multicore Programming, DAMP 2011, États-Unis (2011) [hal-00628492 - version 1]