Home Catalogue search

eng

Refine your search:

Search in the Catalogues and Directories






	Sort by
Simple Search

Page: 1 2 3 4 5...42

Hits 1 – 20 of 833

1	Demo Paper: Coqlex, an approach to generate verified lexers
	Ouedraogo, Wendlasida; Ilik, Danko; Straßburger, Lutz
	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
	Ambal, Guillaume; Lenglet, Sergueï; Schmitt, Alan
	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
	Buisson, Jérémy; Rehab, Seidali
	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)
	Tassi, Enrico
	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
	Léchenet, Jean-Christophe. - : HAL CCSD, 2018
	In: https://tel.archives-ouvertes.fr/tel-01874620 ; Autre. Université Paris Saclay (COmUE), 2018. Français. ⟨NNT : 2018SACLC056⟩ (2018)
	BASE
	Show details

6	Histoire du coq d'Ema
	Moyse-Faurie, Claire; D Thiaméa; Maria Thavivianon. - : Laboratoire de langues et civilisations à tradition orale, 2017
	BASE
	Show details

7	Formalização da lógica linear em Coq
	Xavier, Bruno Francisco. - : Brasil, 2017. : UFRN, 2017. : PROGRAMA DE PÓS-GRADUAÇÃO EM MATEMÁTICA APLICADA E ESTATÍSTICA, 2017
	BASE
	Show details

8	Implémentation d'un langage fonctionnel orienté vers la méta programmation
	Delaunay, Pierre. - 2017
	BASE
	Show details

9	Formalizing Abstract Computability: Turing Categories in Coq
	Vinogradova, Polina. - : Université d'Ottawa / University of Ottawa, 2017
	BASE
	Show details

10	A formal exploration of Nominal Kleene Algebra
	Brunet, Paul; Pous, Damien
	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
	Fedorova, Liudmila
	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
	Ekici, Burak. - : HAL CCSD, 2015
	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
	Dumas, Jean-Guillaume; Duval, Dominique; Ekici, Burak...
	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
	Maksimović, Petar. - : HAL CCSD, 2013
	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

17	NALBB: Enquête dialectologique à Poullaouen ...
	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

Page: 1 2 3 4 5...42

© 2013 - 2024 Lin|gu|is|tik | Imprint | Privacy Policy | Datenschutzeinstellungen ändern