À propos des compilateurs

Sandrine Blazy; Joanna Jongwane

Home
Submit
Browse all HAL
Inria publications
Search
Services
Help
OpenAccess
- Inria supporting open science

Journal articles

À propos des compilateurs

Sandrine Blazy ¹ Joanna Jongwane ²

1 CELTIQUE - Software certification with semantic analysis

Inria Rennes – Bretagne Atlantique , IRISA-D4 - LANGAGE ET GÉNIE LOGICIEL

2 DIRCOM - Direction de la communication

Sandrine Blazy ¹ AuthorId : 1106232

Author IdHAL : sandrine-blazy ORCID : https://orcid.org/0000-0002-0189-0223

Joanna Jongwane ² AuthorId : 819980
Author

1 CELTIQUE - Software certification with semantic analysis (Campus de Beaulieu 35042 Rennes cedex - France) StructId : 88187

Inria Rennes – Bretagne Atlantique (Campus de beaulieu 35042 Rennes cedex - France) StructId : 419153
- Inria - Institut National de Recherche en Informatique et en Automatique (Domaine de Voluceau Rocquencourt - BP 105 78153 Le Chesnay Cedex - France) StructId : 300009
IRISA-D4 - LANGAGE ET GÉNIE LOGICIEL (France) StructId : 419365
- IRISA - Institut de Recherche en Informatique et Systèmes Aléatoires (Avenue du général Leclerc Campus de Beaulieu 35042 RENNES CEDEX - France) StructId : 105128
  - UR1 - Université de Rennes 1 (2 rue du Thabor - CS 46510 - 35065 Rennes cedex - France) StructId : 105160
    - UNIV-RENNES - Université de Rennes (France) StructId : 528860
  - INSA Rennes - Institut National des Sciences Appliquées - Rennes (20, avenue des Buttes de Coësmes - CS 70839 - 35708 Rennes cedex 7 - France) StructId : 117606
    - INSA - Institut National des Sciences Appliquées (France) StructId : 301232
    - UNIV-RENNES - Université de Rennes (France) StructId : 528860
  - UBS - Université de Bretagne Sud (BP 92116 - 56321 Lorient cedex - France) StructId : 172265
  - ENS Rennes - École normale supérieure - Rennes (Campus de Ker Lann - avenue Robert Schuman - 35170 Bruz - France) StructId : 247362
  - Inria - Institut National de Recherche en Informatique et en Automatique (Domaine de Voluceau Rocquencourt - BP 105 78153 Le Chesnay Cedex - France) StructId : 300009
  - Télécom Bretagne (Technopôle Brest-Iroise CS 83818 29238 BREST Cedex 3 - France) StructId : 301262
  - CentraleSupélec (3, rue Joliot Curie, Plateau de Moulon, 91192 GIF-SUR-YVETTE Cedex - France) StructId : 411575
  - CNRS - Centre National de la Recherche Scientifique : UMR6074 (France) StructId : 441569

2 DIRCOM - Direction de la communication (Inria Domaine de Voluceau 78150 Rocquencourt - France) StructId : 457347

Inria Siège (Domaine de Voluceau 78150 Rocquencourt - France) StructId : 207728
- Inria - Institut National de Recherche en Informatique et en Automatique (Domaine de Voluceau Rocquencourt - BP 105 78153 Le Chesnay Cedex - France) StructId : 300009

Résumé : Peu connue des non-informaticiens, la compilation est pourtant un des fondements de la programmation. Sandrine Blazy nous présente le rôle des compilateurs dans cet épisode du podcast audio.

Document type :

Journal articles

Domain :

Computer Science [cs]

Complete list of metadatas

https://hal.inria.fr/hal-01350238
Contributor : Inria Interstices <>
Submitted on : Friday, July 29, 2016 - 5:45:01 PM
Last modification on : Friday, July 10, 2020 - 4:08:01 PM

Identifiers

HAL Id : hal-01350238, version 1

Collections

Citation

Sandrine Blazy, Joanna Jongwane. À propos des compilateurs. Interstices, INRIA, 2012. ⟨hal-01350238⟩

À propos des compilateurs

Identifiers

Collections

Citation

Export

Metrics

391

Contact Legal Notice Personal Data

À propos des compilateurs

Identifiers

Collections

Citation

Export

Share

Metrics

391

Contact Legal Notice Personal Data