
Martin Bodin
14
Documents
Identifiants chercheurs
Publications
Publications
|
Typechecking of Overloading in Programming Languages and Mechanized Mathematics36es Journées Francophones des Langages Applicatifs (JFLA 2025), Jan 2025, Roiffé, France
Communication dans un congrès
hal-04859446
v1
|
|
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-03886975
v1
|
|
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-04096240
v1
|
Two Mechanisations of WebAssembly 1.0FM 2021 - Formal Methods, Nov 2021, Beijing, China. pp.1-19
Communication dans un congrès
hal-03353748
v1
|
|
|
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-02409674
v1
|
|
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-01333600
v1
|
|
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-01111588
v1
|
|
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-00910135
v1
|
|
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-00927400
v1
|
|
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-00779459
v1
|
|
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-00620682
v1
|
|
Un jeu de plateau pour comprendre la dualité en logiqueAdjectif : analyses et recherches sur les TICE, 2024, 2024 (S1), pp.1-5
Article dans une revue
hal-04748800
v1
|
|
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-01881863
v3
|
|
Certified semantics and analysis of JavaScriptProgramming Languages [cs.PL]. Université de Rennes, 2016. English. ⟨NNT : 2016REN1S087⟩
Thèse
tel-01478722
v1
|
Chargement...
Chargement...