Zobrazeno 1 - 10
of 23
pro vyhledávání: '"Erbatur, Serdar"'
Autor:
Bunch, Carter, Satterfield, Saraid Dwyer, Erbatur, Serdar, Marshall, Andrew M., Ringeissen, Christophe
We introduce a new form of restricted term rewrite system, the graph-embedded term rewrite system. These systems, and thus the name, are inspired by the graph minor relation and are more flexible extensions of the well-known homeomorphic-embedded pro
Externí odkaz:
http://arxiv.org/abs/2401.17226
A common approach to improve software quality is to use programming guidelines to avoid common kinds of errors. In this paper, we consider the problem of enforcing guidelines for Featherweight Java (FJ). We formalize guidelines as sets of finite or i
Externí odkaz:
http://arxiv.org/abs/2107.11280
We present in this paper a new type and effect system for Java which can be used to ensure adherence to guidelines for secure web programming. The system is based on the region and effect system by Beringer, Grabowski, and Hofmann. It improves upon i
Externí odkaz:
http://arxiv.org/abs/1801.07647
We introduce a new form of restricted term rewrite system, the graph-embedded term rewrite system. These systems, and thus the name, are inspired by the graph minor relation and are more flexible extensions of the well-known homeomorphic-embedded pro
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::33804493fb90a0962f3196fc4fbf5c7f
Publikováno v:
36th International Workshop on Unification
36th International Workshop on Unification, David Cerna; Barbara Morawska, Aug 2022, Haifa, Israel
36th International Workshop on Unification, David Cerna; Barbara Morawska, Aug 2022, Haifa, Israel
International audience
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od_______165::eaefec1782017a977b35afbffd5fcaab
https://inria.hal.science/hal-03888198/document
https://inria.hal.science/hal-03888198/document
Publikováno v:
7th International Conference on Formal Structures for Computation and Deduction (FSCD 2022)
7th International Conference on Formal Structures for Computation and Deduction (FSCD 2022), Aug 2022, Haifa, Israel. pp.6:1--6:22, ⟨10.4230/LIPIcs.FSCD.2022.6⟩
7th International Conference on Formal Structures for Computation and Deduction (FSCD 2022), Aug 2022, Haifa, Israel. pp.6:1--6:22, ⟨10.4230/LIPIcs.FSCD.2022.6⟩
Matching algorithms are often central sub-routines in many areas of automated reasoning. They are used in areas such as functional programming, rule-based programming, automated theorem proving, and the symbolic analysis of security protocols. Matchi
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::f0e2d61aa6b5ea74019726491c1b4c9b
Short version published in the Proceedings of FroCoS 2021; Closure properties such as forward closure and closure via paramodulation have proven to be very useful in equational logic, especially for the formal analysis of security protocols. In this
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::741248420ef1786ed7a5f7ebee59a953
https://hal.inria.fr/hal-03329075
https://hal.inria.fr/hal-03329075
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:
[Research Report] RR-9252, Inria Nancy-Grand Est. 2019
We investigate the unification problemin theories defined by rewrite systems which are both convergent andforward-closed. These theories are also known in the context ofprotocol analysis as theories with the finite variant property andadmit a variant
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od_______212::1dd1f6a7569a5ae35929e268615a739c
https://hal.inria.fr/hal-02006179/file/RR-9252.pdf
https://hal.inria.fr/hal-02006179/file/RR-9252.pdf
Publikováno v:
UNIF 2018-32nd International Workshop on Unification
UNIF 2018-32nd International Workshop on Unification, Mauricio Ayala-Rincon; Philippe Balbiani, Jul 2018, Oxford, United Kingdom
UNIF 2018-32nd International Workshop on Unification, Mauricio Ayala-Rincon; Philippe Balbiani, Jul 2018, Oxford, United Kingdom
UNIF 2018 was affiliated with the Third International Conference on Formal Structures for Computation and Deduction FSCD 2018, part of the Federated Logic Conference FLoC 2018; International audience; We study decision procedures for two knowledge pr
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::e8ec285e9a746bba040f384d58e61f10
https://hal.inria.fr/hal-01878567/file/subterm-know.pdf
https://hal.inria.fr/hal-01878567/file/subterm-know.pdf