Zobrazeno 1 - 10
of 64
pro vyhledávání: '"Etienne Moreau"'
Publikováno v:
In Journal of Alloys and Compounds 5 March 2023 936
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.
Publikováno v:
Logical Methods in Computer Science, Vol Volume 13, Issue 4 (2017)
Rewriting is a formalism widely used in computer science and mathematical logic. When using rewriting as a programming or modeling paradigm, the rewrite rules describe the transformations one wants to operate and rewriting strategies are used to con-
Externí odkaz:
https://doaj.org/article/f03c227f453c4d30909726ba88d4107a
Publikováno v:
Electronic Proceedings in Theoretical Computer Science, Vol 21, Iss Proc. RULE 2009, Pp 51-63 (2010)
Extending a given language with new dedicated features is a general and quite used approach to make the programming language more adapted to problems. Being closer to the application, this leads to less programming flaws and easier maintenance. But o
Externí odkaz:
https://doaj.org/article/304256fc04a34abfb5d110e18db45a52
Publikováno v:
PPDP
PPDP 2021-23rd International Symposium on Principles and Practice of Declarative Programming
PPDP 2021-23rd International Symposium on Principles and Practice of Declarative Programming, Sep 2021, Tallinn, Estonia. pp.1-13, ⟨10.1145/3479394.3479404⟩
PPDP 2021-23rd International Symposium on Principles and Practice of Declarative Programming
PPDP 2021-23rd International Symposium on Principles and Practice of Declarative Programming, Sep 2021, Tallinn, Estonia. pp.1-13, ⟨10.1145/3479394.3479404⟩
International audience; Rewriting is a widely established formalism with major applications in computer science. It is indeed a staple of many formal verification applications as it is especially well suited to describe program semantics and transfor
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::051c3df3e6a8c489eed716fae09682c0
https://doi.org/10.1145/3479394.3479404
https://doi.org/10.1145/3479394.3479404
Publikováno v:
Formal Methods. FM 2019 International Workshops
Formal Methods. FM 2019 International Workshops, 12232, pp.281-287, 2020, 978-3-030-54993-0. ⟨10.1007/978-3-030-54994-7_20⟩
Lecture Notes in Computer Science ISBN: 9783030549930
FM Workshops (1)
Formal Methods. FM 2019 International Workshops, 12232, pp.281-287, 2020, 978-3-030-54993-0. ⟨10.1007/978-3-030-54994-7_20⟩
Lecture Notes in Computer Science ISBN: 9783030549930
FM Workshops (1)
International audience; Safe operation of Cyber-Physical Systems such as Unmanned Aircraft Systems requires guarantees not only on the system, but also on the mission. Following approaches that are used to produce robust Cyber-Physical Controllers, w
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::46475c7acc565093ee701bef68e83185
https://hal.archives-ouvertes.fr/hal-02963914
https://hal.archives-ouvertes.fr/hal-02963914
Publikováno v:
ICUAS-2019 International Conference on Unmanned Aircraft Systems
ICUAS-2019 International Conference on Unmanned Aircraft Systems, Jun 2019, Atlanta, United States
ICUAS-2019 International Conference on Unmanned Aircraft Systems, Jun 2019, Atlanta, United States
International audience; The operations of Cyber-Physical Systems – such as Unmanned Aircrafts – are drastically evolving. Worked up legislations are enabling new kinds of tasks in complex environments, inducing a change of policy in mission defin
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::e0fd7b62085f4b2344f9adb2cb347f70
https://hal.science/hal-02170193
https://hal.science/hal-02170193
Autor:
Pierre-Etienne Moreau, Horatiu Cirstea
Publikováno v:
PPDP
PPDP '19: Principles and Practice of Programming Languages 2019
PPDP '19: Principles and Practice of Programming Languages 2019, Oct 2019, Porto, Portugal. pp.19, ⟨10.1145/3354166.3354173⟩
PPDP '19: Principles and Practice of Programming Languages 2019
PPDP '19: Principles and Practice of Programming Languages 2019, Oct 2019, Porto, Portugal. pp.19, ⟨10.1145/3354166.3354173⟩
Rewriting is a formalism widely used in computer science and mathematical logic. The classical formalism has been extended, in the context of functional languages, with an order over the rules and, in the context of rewrite based languages, with the
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::9444a936bf67a448dd3ca6eaaefab7ba
http://arxiv.org/abs/1905.06233
http://arxiv.org/abs/1905.06233
Publikováno v:
LOPSTR 2020-30th International Symposium on Logic-Based Program Synthesis and Transformation
LOPSTR 2020-30th International Symposium on Logic-Based Program Synthesis and Transformation, Sep 2020, Bologna, Italy
CIEL 2019-8ème Conférence en IngénieriE du Logiciel
CIEL 2019-8ème Conférence en IngénieriE du Logiciel, Jun 2019, Toulouse, France
Logic-Based Program Synthesis and Transformation ISBN: 9783030684457
LOPSTR
LOPSTR 2020-30th International Symposium on Logic-Based Program Synthesis and Transformation, Sep 2020, Bologna, Italy
CIEL 2019-8ème Conférence en IngénieriE du Logiciel
CIEL 2019-8ème Conférence en IngénieriE du Logiciel, Jun 2019, Toulouse, France
Logic-Based Program Synthesis and Transformation ISBN: 9783030684457
LOPSTR
National audience; Program transformation is a common practice in computer science, and its many applications can have a range of dierent objectives. For example, a program written in an original high level language could be either translated into ma
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::909d085a7f7af237938ecff74e2510c3
https://hal.inria.fr/hal-02186325
https://hal.inria.fr/hal-02186325
Publikováno v:
Techniques et sciences informatiques. 34:311-324
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::58a80020a3e170a1d31a9c105be858c6
https://doi.org/10.3166/tsi.34.311-324
https://doi.org/10.3166/tsi.34.311-324