Skip to Main content Skip to Navigation
Conference papers

Formalisation de Sémantiques Squelettiques

Louis Noizet 1, 2 Alan Schmitt 2
2 CELTIQUE - Software certification with semantic analysis
Inria Rennes – Bretagne Atlantique , IRISA-D4 - LANGAGE ET GÉNIE LOGICIEL
Document type :
Conference papers
Complete list of metadatas

Cited literature [17 references]  Display  Hide  Download

https://hal.inria.fr/hal-02512485
Contributor : Alan Schmitt <>
Submitted on : Thursday, March 19, 2020 - 4:54:27 PM
Last modification on : Wednesday, June 24, 2020 - 4:19:49 PM
Document(s) archivé(s) le : Saturday, June 20, 2020 - 4:10:24 PM

File

certification.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-02512485, version 1

Citation

Louis Noizet, Alan Schmitt. Formalisation de Sémantiques Squelettiques. JLFA 2020 - Journées Francophones des Langages Applicatifs, Jan 2020, Gruissan, France. pp.1-14. ⟨hal-02512485⟩

Share

Metrics

Record views

38

Files downloads

127