Zobrazeno 1 - 10
of 23
pro vyhledávání: '"Nominal Rewriting"'
Autor:
Fernández, Maribel
In this talk we discuss the nominal approach to the specification of languages with binders and some applications to programming languages and verification.
LIPIcs, Vol. 260, 8th International Conference on Formal Structures for Computation and
LIPIcs, Vol. 260, 8th International Conference on Formal Structures for Computation and
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::b9528b12f6c816eba13d78b90b61ae63
Publikováno v:
Ayala-Rincón, M, Fernández, M, Rocha-Oliveira, A C & Ventura, D L 2018, ' Nominal essential intersection types ', Theoretical Computer Science . https://doi.org/10.1016/j.tcs.2018.05.008
Nominal systems are an alternative approach for the treatment of variables in computational systems, where first-order syntax is generalised to provide support for the specification of binding operators. In this work, an intersection type system is p
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::65c546de143fa95d1292dc19e9cbbfea
https://doi.org/10.1016/j.tcs.2018.05.008
https://doi.org/10.1016/j.tcs.2018.05.008
Publikováno v:
Ayala-Rincón, M, Fernández, M & Nantes-Sobrinho, D 2016, Nominal narrowing . in Leibniz International Proceedings in Informatics, LIPIcs . vol. 52, 11, Schloss Dagstuhl-Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 1st International Conference on Formal Structures for Computation and Deduction, FSCD 2016, Porto, Portugal, 22/06/2016 . https://doi.org/10.4230/LIPIcs.FSCD.2016.11
Nominal unification is a generalisation of first-order unification that takes α-equivalence into account. In this paper, we study nominal unification in the context of equational theories. We introduce nominal narrowing and design a general nominal
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::f71a363ad26bd4ee58f1bdb39617bf09
Autor:
Murdoch J. Gabbay
Publikováno v:
Electronic Notes in Theoretical Computer Science. 174(5):37-52
Nominal rewriting introduced a novel method of specifying rewriting on syntax-with-binding. We extend this treatment of rewriting with hierarchy of variables representing increasingly 'meta-level' variables, e.g. in hierarchical nominal term rewritin
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::277d9f2a2cef3602c8318ac9ce064b38
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.
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.
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.
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.
Kniha
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.
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.