Filtrer vos résultats
- 11
- 9
- 1
- 1
- 11
- 2
- 1
- 1
- 2
- 1
- 2
- 1
- 1
- 10
- 1
- 7
- 7
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 11
- 6
- 3
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
11 résultats
|
|
|
triés par
|
|
|
Pretty-big-step-semantics-based Certified Abstract InterpretationJFLA - 25ème Journées Francophones des Langages Applicatifs - 2014, Jan 2014, Fréjus, France
Communication dans un congrès
hal-00927400v1
|
||
|
|
A Trustworthy Mechanized Formalization of RDynamic Language Symposium (DLS), Nov 2018, Boston, United States. pp.13-24, ⟨10.1145/3276945.3276946⟩
Communication dans un congrès
hal-02409674v1
|
||
|
|
A Trusted Mechanised JavaScript SpecificationPOPL 2014 - 41st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, Jan 2014, San Diego, United States
Communication dans un congrès
hal-00910135v1
|
||
|
|
A Certified JavaScript InterpreterJFLA - Journées francophones des langages applicatifs, Damien Pous and Christine Tasson, Feb 2013, Aussois, France
Communication dans un congrès
hal-00779459v1
|
||
|
|
Certified Abstract Interpretation with Pretty-Big-Step SemanticsCertified Programs and Proofs (CPP 2015), Jan 2015, Mumbai, India. ⟨10.1145/2676724.2693174⟩
Communication dans un congrès
hal-01111588v1
|
||
|
|
Effectful Programming across Heterogeneous Computations -Work in ProgressJFLA 2023 - 34èmes Journées Francophones des Langages Applicatifs, Jan 2023, Praz-sur-Arly, France. pp.7-23
Communication dans un congrès
hal-03886975v1
|
||
|
|
An Abstract Separation Logic for Interlinked Extensible RecordsVingt-septièmes Journées Francophones des Langages Applicatifs (JFLA 2016), Jan 2016, Saint-Malo, France
Communication dans un congrès
hal-01333600v1
|
||
|
|
Instrumentation de l'association de registres sémiotiques dans un assistant de preuveEIAH2023 - 11ème Conférence sur les Environnements Informatiques pour l'Apprentissage Humain, Association des Technologies de l’Information pour l’Éducation et la Formation, Jun 2023, Brest, France. pp.1-5
Communication dans un congrès
hal-04096240v1
|
||
|
|
Skeletal Semantics and their InterpretationsProceedings of the ACM on Programming Languages, In press, 44, pp.1-31. ⟨10.1145/3290357⟩
Article dans une revue
hal-01881863v3
|
||
|
|
Certified semantics and analysis of JavaScriptProgramming Languages [cs.PL]. Université de Rennes, 2016. English. ⟨NNT : 2016REN1S087⟩
Thèse
tel-01478722v1
|
||
|
|
Modular Abstractions of Reactive Nodes using Disjunctive InvariantsAsian symposium on programming languages and systems (APLAS), Dec 2011, Kenting, Taiwan. pp.19-33, ⟨10.1007/978-3-642-25318-8_5⟩
Communication dans un congrès
hal-00620682v1
|