1 |
Demo Paper: Coqlex, an approach to generate verified lexers
|
|
|
|
In: ML 2021-ACM SIGPLAN Workshop on ML ; https://hal.inria.fr/hal-03470713 ; ML 2021-ACM SIGPLAN Workshop on ML, Aug 2021, Online event, United States ; https://icfp21.sigplan.org/home/mlfamilyworkshop-2021 (2021)
|
|
BASE
|
|
Show details
|
|
2 |
HOπ in Coq
|
|
|
|
In: ISSN: 0168-7433 ; EISSN: 1573-0670 ; Journal of Automated Reasoning ; https://hal.inria.fr/hal-02536463 ; Journal of Automated Reasoning, Springer Verlag, 2020, ⟨10.1007/s10817-020-09553-0⟩ (2020)
|
|
BASE
|
|
Show details
|
|
3 |
Generation of Inductive Types from Ecore Metamodels
|
|
|
|
In: Model-Driven Engineering and Software Development. MODELSWARD 2018. ; https://hal.archives-ouvertes.fr/hal-02021361 ; Model-Driven Engineering and Software Development. MODELSWARD 2018., pp.308-334, 2019 (2019)
|
|
BASE
|
|
Show details
|
|
4 |
Elpi: an extension language for Coq (Metaprogramming Coq in the Elpi λProlog dialect)
|
|
|
|
In: https://hal.inria.fr/hal-01637063 ; 2018 (2018)
|
|
BASE
|
|
Show details
|
|
5 |
Algorithmes certifiés pour la simplification syntaxique de programmes ; Certified algorithms for program slicing
|
|
|
|
In: https://tel.archives-ouvertes.fr/tel-01874620 ; Autre. Université Paris Saclay (COmUE), 2018. Français. ⟨NNT : 2018SACLC056⟩ (2018)
|
|
BASE
|
|
Show details
|
|
8 |
Implémentation d'un langage fonctionnel orienté vers la méta programmation
|
|
|
|
BASE
|
|
Show details
|
|
9 |
Formalizing Abstract Computability: Turing Categories in Coq
|
|
|
|
BASE
|
|
Show details
|
|
10 |
A formal exploration of Nominal Kleene Algebra
|
|
|
|
In: MFCS ; https://hal.archives-ouvertes.fr/hal-01307532 ; MFCS, Aug 2016, Cracovie, Poland. ⟨10.4230/LIPIcs.MFCS.2016.22⟩ (2016)
|
|
BASE
|
|
Show details
|
|
11 |
À la recherche des sens cachés ; À la recherche des sens cachés: Sur la traduction de la phraséologie dans un texte de Rabelais
|
|
|
|
In: Etudes et travaux d’Eur’ORBEM ; https://hal.archives-ouvertes.fr/hal-01422852 ; Etudes et travaux d’Eur’ORBEM, Paris : Eur'orbem, 2016, Proverbes et stéréotypes : forme, formes et contextes, 1 (1), pp.113-138 ; http://eurorbem.paris-sorbonne.fr// (2016)
|
|
BASE
|
|
Show details
|
|
12 |
Certification of programs with computational effects ; Certification de programmes avec des effets calculatoires
|
|
|
|
In: https://tel.archives-ouvertes.fr/tel-01250842 ; Programming Languages [cs.PL]. Université Grenoble Alpes, 2015. English. ⟨NNT : 2015GREAM070⟩ (2015)
|
|
BASE
|
|
Show details
|
|
13 |
Formal verification in Coq of program properties involving the global state effect
|
|
|
|
In: JFLA 2014 - Journées Francophones des Langages Applicatifs ; https://hal.archives-ouvertes.fr/hal-00869230 ; JFLA 2014 - Journées Francophones des Langages Applicatifs, Jan 2014, Fréjus, France. pp.1-17 (2014)
|
|
BASE
|
|
Show details
|
|
14 |
NALBB: Enquête dialectologique à Plourac'h (2) ...
|
|
Le Dû, Jean. - : Centre de Recherche Bretonne et Celtique, 2014
|
|
BASE
|
|
Show details
|
|
15 |
Development and verification of probability logics and logical frameworks ; Développement et vérification des logiques probabilistes et des cadres logiques
|
|
|
|
In: https://tel.archives-ouvertes.fr/tel-00907854 ; Other [cs.OH]. Université Nice Sophia Antipolis; Univerzitet u Novom Sadu, 2013. English. ⟨NNT : 2013NICE4074⟩ (2013)
|
|
BASE
|
|
Show details
|
|
16 |
NALBB: Enquête dialectologique à Fouesnant - Questionnaire (3) ...
|
|
Le Dû, Jean. - : Centre de Recherche Bretonne et Celtique, 2013
|
|
BASE
|
|
Show details
|
|
18 |
NALBB: Enquête dialectologique à Nizon - Questionnaire (2) ...
|
|
Le Dû, Jean. - : Centre de Recherche Bretonne et Celtique, 2013
|
|
BASE
|
|
Show details
|
|
19 |
NALBB: Enquête dialectologique à Saint-Rivoal (2) ...
|
|
Le Dû, Jean. - : Centre de Recherche Bretonne et Celtique, 2013
|
|
BASE
|
|
Show details
|
|
20 |
NALBB: Enquête dialectologique à Lannédern (1) ...
|
|
Le Dû, Jean. - : Centre de Recherche Bretonne et Celtique, 2013
|
|
BASE
|
|
Show details
|
|
|
|