Zobrazeno 1 - 4
of 4
pro vyhledávání: '"Haudebourg, Timothée"'
Autor:
Haudebourg, Timothée
Publikováno v:
Programming Languages [cs.PL]. Université Rennes 1, 2020. English. ⟨NNT : 2020REN1S060⟩
This thesis studies how regular tree languages can be used to automatically verify properties on higher-order functional programs. Our goal is to develop new techniques and tools for the programmers to develop safer programs while reducing the time a
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::b35b6e84091efdce0b6d7b271d22c6e5
https://theses.hal.science/tel-03202679/file/HAUDEBOURG_Timothee.pdf
https://theses.hal.science/tel-03202679/file/HAUDEBOURG_Timothee.pdf
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:
17èmes Journées AFADL 2018-Approches Formelles dans l'Assistance au Développement de Logiciels
17èmes Journées AFADL 2018-Approches Formelles dans l'Assistance au Développement de Logiciels, May 2018, Grenoble, France. pp.1-3
17èmes Journées AFADL 2018-Approches Formelles dans l'Assistance au Développement de Logiciels, May 2018, Grenoble, France. pp.1-3
International audience; Les fonctions d'ordre supérieur font partie intégrante des langages de program-mation modernes comme Haskell, Caml, mais aussi Java, Scala ou même JavaS-cript. Là où leur utilité n'est plus à démontrer, leur utilisatio
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::7efc7d9da9667a69b1bf0173fd8b1365
https://inria.hal.science/hal-01790916/document
https://inria.hal.science/hal-01790916/document
Publikováno v:
[Technical Report] Irisa. 2017, pp.1-20
This paper describes a fully automatic technique for verifying properties of higher-order functional programs. Functional programs are modelled with term rewriting systems and tree automata are used to model reachable program states. From a tree auto
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::270f68d6e9c2813de5cb580132173898
https://hal.inria.fr/hal-01614380v4/document
https://hal.inria.fr/hal-01614380v4/document