Zobrazeno 1 - 10
of 11
pro vyhledávání: '"Denis Merigoux"'
Autor:
null Denis Merigoux
Publikováno v:
Bulletin 1024. :167-170
Autor:
Liane Huttner, Denis Merigoux
Publikováno v:
Artificial Intelligence and Law
Artificial Intelligence and Law, 2022, ⟨10.1007/s10506-022-09328-5⟩
Artificial Intelligence and Law, 2022, ⟨10.1007/s10506-022-09328-5⟩
International audience; Around the world, private and public organizations use software called legal expert systems to compute taxes. This software must comply with the laws they are designed to implement. As such, a bug or an error in a program that
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::b0c43e195265ab6971ae31bd67507796
https://inria.hal.science/hal-02936606v3/file/paper.pdf
https://inria.hal.science/hal-02936606v3/file/paper.pdf
Publikováno v:
Proceedings of the ACM on Programming Languages
Proceedings of the ACM on Programming Languages, 2020, 4 (ICFP), pp.1-30. ⟨10.1145/3409003⟩
Proceedings of the ACM on Programming Languages, ACM, 2020, 4 (ICFP), pp.1-30. ⟨10.1145/3409003⟩
CONICET Digital (CONICET)
Consejo Nacional de Investigaciones Científicas y Técnicas
instacron:CONICET
Proceedings of the ACM on Programming Languages, 2020, 4 (ICFP), pp.1-30. ⟨10.1145/3409003⟩
Proceedings of the ACM on Programming Languages, ACM, 2020, 4 (ICFP), pp.1-30. ⟨10.1145/3409003⟩
CONICET Digital (CONICET)
Consejo Nacional de Investigaciones Científicas y Técnicas
instacron:CONICET
Much recent research has been devoted to modeling effects within type theory. Building on this work, we observe that effectful type theories can provide a foundation on which to build semantics for more complex programming constructs and program logi
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::4b5ec170330922c1708301920abfc1c0
http://arxiv.org/abs/2111.15149
http://arxiv.org/abs/2111.15149
Publikováno v:
POPL 2022-Programming Languages and the Law
POPL 2022-Programming Languages and the Law, Jan 2022, Philadelphia, United States
HAL
POPL 2022-Programming Languages and the Law, Jan 2022, Philadelphia, United States
HAL
International audience
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::32a459678c890fac169337ed1440d1eb
https://hal.inria.fr/hal-03447072/file/paper.pdf
https://hal.inria.fr/hal-03447072/file/paper.pdf
Autor:
Nikhil Swamy, Tahina Ramananandro, Guido Martínez, Aymeric Fromherz, Aseem Rastogi, Denis Merigoux, Sydney Gibson
Publikováno v:
Proceedings of the ACM on Programming Languages
Proceedings of the ACM on Programming Languages, ACM, 2021, 5 (ICFP), pp.1-30. ⟨10.1145/3473590⟩
Proceedings of the ACM on Programming Languages, 2021, 5 (ICFP), pp.1-30. ⟨10.1145/3473590⟩
Proceedings of the ACM on Programming Languages, ACM, 2021, 5 (ICFP), pp.1-30. ⟨10.1145/3473590⟩
Proceedings of the ACM on Programming Languages, 2021, 5 (ICFP), pp.1-30. ⟨10.1145/3473590⟩
Steel is a language for developing and proving concurrent programs embedded in F ⋆ , a dependently typed programming language and proof assistant. Based on SteelCore, a concurrent separation logic (CSL) formalized in F ⋆ , our work focuses on exp
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::bf75c2af3c958224646b3ddfe90140d4
https://hal.inria.fr/hal-03466397
https://hal.inria.fr/hal-03466397
Publikováno v:
[Technical Report] Inria. 2021
HAL
HAL
Despite significant progress in the formal verification of security-critical components like cryptographic libraries and protocols, the secure integration of these components into larger unverified applications remains an open challenge. The first pr
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::30cc239fd5c6c6258ed99b73a59e4e72
https://hal.inria.fr/hal-03176482
https://hal.inria.fr/hal-03176482
Autor:
Liane Huttner, Denis Merigoux
Publikováno v:
Intelligence artificielle et finances publiques
Intelligence artificielle et finances publiques, Oct 2020, Nice, France
HAL
Intelligence artificielle et finances publiques, Oct 2020, Nice, France
HAL
National audience
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::8157e2fbc91a8aed0b2031d8c7b10c01
https://hal.inria.fr/hal-03128248
https://hal.inria.fr/hal-03128248
Publikováno v:
JFLA 2020-31ème Journées Francophones des Langages Applicatifs
JFLA 2020-31ème Journées Francophones des Langages Applicatifs, Jan 2020, Gruissan, France
HAL
JFLA 2020-31ème Journées Francophones des Langages Applicatifs, Jan 2020, Gruissan, France
HAL
The tax code, as a legislative text, defines a mathematical function that computes the income tax of a fiscal household. In order to collect taxes, this function is implemented as an algorithm by the Direction Générale des Finances Publiques (DGFiP
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::bbb2bde3eada761b3f08be38d7f11be8
https://inria.hal.science/hal-02320347v3/file/main.pdf
https://inria.hal.science/hal-02320347v3/file/main.pdf
Publikováno v:
IEEE Symposium on Security and Privacy
SP 2019-40th IEEE Symposium on Security and Privacy
SP 2019-40th IEEE Symposium on Security and Privacy, May 2019, San Francisco, United States. pp.1256-1274, ⟨10.1109/SP.2019.00064⟩
2019 IEEE Symposium on Security and Privacy (SP)
SP 2019-40th IEEE Symposium on Security and Privacy
SP 2019-40th IEEE Symposium on Security and Privacy, May 2019, San Francisco, United States. pp.1256-1274, ⟨10.1109/SP.2019.00064⟩
2019 IEEE Symposium on Security and Privacy (SP)
International audience; After suffering decades of high-profile attacks, the need for formal verification of security-critical software has never been clearer. Verification-oriented programming languages like F * are now being used to build high-assu