In this paper, we present a more general approach to nominal anti-unification that uses atom-variables instead of explicit atoms, and two variants of freshness ...
Jun 28, 2022 · In this paper, we present a more general approach to nominal anti-unification that uses atom-variables instead of explicit atoms, and two ...
PDF | On Jun 28, 2022, Daniele Nantes Sobrinho and others published Nominal Anti-Unification with Atom-Variables | Find, read and cite all the research you ...
[PDF] Nominal Anti-Unification with Atom-Variables | Semantic Scholar
www.semanticscholar.org › paper
A more general approach to nominal anti-unification that uses atom-variables instead of explicit atoms, and two variants of freshness constraints: NL A ...
In this paper, we present a more general approach to nominal anti-unification that uses atom-variables instead of explicit atoms, and two variants of freshness ...
It makes a syntactic distinction between atoms, which can be bound, and variables, which can be substituted. This approach led to the development of the theory ...
Baumgartner et.al.: Nominal anti-unification algorithm. Baumgartner et. al.'s algorithm: results in a single generalization. Striking Problem in Baumgartner ...
NOMINAL TERMS. Nominal terms contain variables and atoms. Variables can be instantiated and atoms can be bound. In nominal signatures we have sorts of atoms ...
Abstract. We study nominal anti-unification, which is concerned with computing least general generalizations for given terms-in-context. In.
Sep 2, 2023 · This paper describes anti-unification algorithms for computing least general generalizations of two expressions in a functional programming ...