Zobrazeno 1 - 10
of 77
pro vyhledávání: '"GONNORD, LAURE"'
Publikováno v:
Fundamenta Informaticae, Volume 192, Issue 2: LOPSTR 2022 (November 10, 2024) fi:11397
We revisit parallel-innermost term rewriting as a model of parallel computation on inductive data structures and provide a corresponding notion of runtime complexity parametric in the size of the start term. We propose automatic techniques to derive
Externí odkaz:
http://arxiv.org/abs/2305.18250
Parallelism is often required for performance. In these situations an excess of non-determinism is harmful as it means the program can have several different behaviours or even different results. Even in domains such as high-performance computing whe
Externí odkaz:
http://arxiv.org/abs/2210.15202
We revisit parallel-innermost term rewriting as a model of parallel computation on inductive data structures and provide a corresponding notion of runtime complexity parametric in the size of the start term. We propose automatic techniques to derive
Externí odkaz:
http://arxiv.org/abs/2208.01005
Autor:
GONNORD, LAURE1 laure.gonnord@esisar.grenoble-inp.fr, HENRIO, LUDOVIC2 ludovic.henrio@cnrs.fr, MOREL, LIONEL3 lionel.morel@insa-lyon.fr, RADANNE, GABRIEL4 gabriel.radanne@ens-lyon.fr
Publikováno v:
ACM Computing Surveys. Oct2023, Vol. 55 Issue 10, p1-28. 28p.
Autor:
Monniaux, David, Gonnord, Laure
Automatically verifying safety properties of programs is hard, and it is even harder if the program acts upon arrays or other forms of maps. Many approaches exist for verifying programs operating upon Boolean and integer values (e.g. abstract interpr
Externí odkaz:
http://arxiv.org/abs/1509.09092
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Autor:
Monniaux, David, Gonnord, Laure
Two classical sources of imprecision in static analysis by abstract interpretation are widening and merge operations. Merge operations can be done away by distinguishing paths, as in trace partitioning, at the expense of enumerating an exponential nu
Externí odkaz:
http://arxiv.org/abs/1106.2637
Publikováno v:
Proceedings of the ACM on Programming Languages
ICFP 2023
ICFP 2023, Sep 2023, Seattle (USA), United States. ⟨10.1145/3607858⟩
ICFP 2023
ICFP 2023, Sep 2023, Seattle (USA), United States. ⟨10.1145/3607858⟩
International audience; Initially present only in functional languages such as OCaml and Haskell, Algebraic Data Types (ADTs) have now become pervasive in mainstream languages, providing nice data abstractions and an elegant way to express functions
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od______3393::7f9c4d98f638aa3bd1db53469889c895
https://inria.hal.science/hal-04165615
https://inria.hal.science/hal-04165615
Publikováno v:
IWC 2022-11th International Workshop on Confluence
IWC 2022-11th International Workshop on Confluence, Aug 2022, Haifa, Israel
IWC 2022-11th International Workshop on Confluence, Aug 2022, Haifa, Israel
International audience; We revisit parallel-innermost term rewriting as a model of parallel computation on inductive data structures. We propose a simple sufficient criterion for confluence of parallelinnermost rewriting based on non-overlappingness.
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::a2357265d6ac858c580db391352975ea
https://inria.hal.science/hal-03710007v2/document
https://inria.hal.science/hal-03710007v2/document
Publikováno v:
AFADL 2022-21ème journées Approches Formelles dans l'Assistance au Développement de Logiciels
AFADL 2022-21ème journées Approches Formelles dans l'Assistance au Développement de Logiciels, Jun 2022, Vannes, France
AFADL 2022-21ème journées Approches Formelles dans l'Assistance au Développement de Logiciels, Jun 2022, Vannes, France
National audience; Initially present only in functional languages such as OCaml and Haskell, Algebraic Data Types have now become pervasive in mainstream languages, providing nice data abstractions and an elegant way to express functions though patte
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::ba24f740ce467e6ae9c23cb6de97f593
https://inria.hal.science/hal-03676356/document
https://inria.hal.science/hal-03676356/document