Zobrazeno 1 - 10
of 66
pro vyhledávání: '"Genet, Thomas"'
Autor:
Genet, Thomas, Salmon, Yann
Publikováno v:
Logical Methods in Computer Science, Volume 13, Issue 1 (March 22, 2017) lmcs:3211
We consider the problem of inferring a grammar describing the output of a functional program given a grammar describing its input. Solutions to this problem are helpful for detecting bugs or proving safety properties of functional programs, and sever
Externí odkaz:
http://arxiv.org/abs/1610.05156
Autor:
Genet, Thomas
Ce travail s'intéresse à la preuve de propriétés de sûreté sur les programmes. Prouver de telles propriétés revient généralement à démontrer que les configurations critiques ne sont jamais atteintes lors de l'exécution du programme. Pour
Externí odkaz:
http://tel.archives-ouvertes.fr/tel-00477013
http://tel.archives-ouvertes.fr/docs/00/48/05/37/PDF/Final.pdf
http://tel.archives-ouvertes.fr/docs/00/48/05/37/PDF/Final.pdf
Autor:
Genet, Thomas
This paper presents the first step of a wider research effort to apply tree automata completion to the static analysis of functional programs. Tree Automata Completion is a family of techniques for computing or approximating the set of terms reachabl
Externí odkaz:
http://arxiv.org/abs/1410.2901
Tree Regular Model Checking (TRMC) is the name of a family of techniques for analyzing infinite-state systems in which states are represented by terms, and sets of states by Tree Automata (TA). The central problem in TRMC is to decide whether a set o
Externí odkaz:
http://arxiv.org/abs/1203.1495
Autor:
Boyer, Benoît, Genet, Thomas
Publikováno v:
EPTCS 21, 2010, pp. 99-108
The tree automaton completion is an algorithm used for proving safety properties of systems that can be modeled by a term rewriting system. This representation and verification technique works well for proving properties of infinite systems like cryp
Externí odkaz:
http://arxiv.org/abs/1003.4803
This paper is concerned with automatically proving properties about the input-output relation of functional programs operating over algebraic data types. Recent results show how to approximate the image of a functional program using a regular tree la
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::b12bda569fb668f4f49bf505cdf63ebb
Autor:
Genet, Thomas, Rusu, Vlad
Publikováno v:
In Journal of Symbolic Computation 2010 45(5):574-597
Publikováno v:
Proceedings of the ACM on Programming Languages
Proceedings of the ACM on Programming Languages, ACM, 2020, International Conference on Functional Programming (ICFP), 4 (ICFP), pp.1-29. ⟨10.1145/3408994⟩
Proceedings of the ACM on Programming Languages, 2020, International Conference on Functional Programming (ICFP), 4 (ICFP), pp.1-29. ⟨10.1145/3408994⟩
Proceedings of the ACM on Programming Languages, ACM, 2020, International Conference on Functional Programming (ICFP), 4 (ICFP), pp.1-29. ⟨10.1145/3408994⟩
Proceedings of the ACM on Programming Languages, 2020, International Conference on Functional Programming (ICFP), 4 (ICFP), pp.1-29. ⟨10.1145/3408994⟩
International audience; This paper defines a new type system applied to the fully automatic verification of safety properties of tree-processing higher order functional programs. We use term rewriting systems to model the program and its semantics an
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::8c6803b92bbd366376f0a137f64d2d46
https://hal.inria.fr/hal-02795484
https://hal.inria.fr/hal-02795484
Publikováno v:
In Electronic Notes in Theoretical Computer Science April 2004 82(2):426-442
Autor:
Genet, Thomas, Villadsen, Jørgen
Publikováno v:
[Research Report] IRISA. 2017, pp.1-5
The objective of this (very) short tutorial is to help any functional programmer to quickly put its hand on Isabelle/HOL and catch a glimpse of its power. Then, if you want some more, you should refer to the extensive Isabelle/HOL tutorial and docume
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::1428d4e5673bc90a307295cad89e6610
https://hal.inria.fr/hal-01208577v9
https://hal.inria.fr/hal-01208577v9