Implementing Nominal Unification

被引：7

作者：

Calves, Christophe ^{[1
]}

Fernandez, Maribel ^{[1
]}

机构：

[1] Kings Coll London, Dept Comp Sci Strand, London WC2R 2LS, England

来源：

ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE | 2007年 / 176卷 / 01期

基金：

英国工程与自然科学研究理事会;

关键词：

Unification; Nominal Syntax; Termgraphs;

D O I：

10.1016/j.entcs.2006.09.027

中图分类号：

TP301 [理论、方法];

学科分类号：

081202 ;

摘要：

Nominal matching and unification underly the dynamics of nominal rewriting. Urban, Pitts and Gabbay gave a nominal unification algorithm which finds the most general solution to a nominal matching or unification problem, if one exists. Later the algorithm was extended by Fernandez and Gabbay to deal with name generation and locality. In this paper we describe first a direct implementation of the nominal unification algorithm, including the extensions, in Maude. This implementation is not efficient (it is exponential in time), but we will show that we can obtain a feasible implementation by using termgraphs.

引用

页码：25 / 37

页数：13

共 50 条

[21] A Formalisation of Nominal C-Matching through Unification with Protected Variables
Ayala-Rincon, Mauricio
de Carvalho-Segundo, Washington
Fernandez, Maribel
Nantes-Sobrinho, Daniele
ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2019, 344 : 47 - 65
[22] Meta-variables as infinite lists in nominal terms unification and rewriting
Gabbay, Murdoch J.
LOGIC JOURNAL OF THE IGPL, 2012, 20 (06) : 967 - 1000
[23] Permissive nominal terms and their unification: an infinite, co-infinite approach to nominal techniques (vol 8, pg 769, 2010)
Dowek, Gilles
Gabbay, Murdoch J.
Mulligan, Dominic
LOGIC JOURNAL OF THE IGPL, 2012, 20 (01) : 365 - 365
[24] Digital forensics cloud log unification: Implementing CADF in Apache CloudStack
Dalezios, Nikolaos
Shiaeles, Stavros
Kolokotronis, Nicholas
Ghita, Bogdan
JOURNAL OF INFORMATION SECURITY AND APPLICATIONS, 2020, 54
[25] Barriers to implementing motivational interviewing in addiction treatment: A nominal group technique process evaluation
Hatch, Melissa R.
Carandang, Kristine
Moullin, Joanna C.
Ehrhart, Mark G.
Aarons, Gregory A.
IMPLEMENTATION RESEARCH AND PRACTICE, 2021, 2
[26] Unification of closed-loop scheduling and control: State-space formulations, terminal constraints, and nominal theoretical properties
Risbeck, Michael J.
Maravelias, Christos T.
Rawlings, James B.
COMPUTERS & CHEMICAL ENGINEERING, 2019, 129
[27] Real and nominal propagation of nominal shocks
Andersen, TM
ECONOMIC JOURNAL, 2004, 114 (492): : 174 - 195
[28] Movement in the passive nominal and nominal morphology
Hamamatsu, Junji
LINGUISTIC REVIEW, 2013, 30 (03): : 467 - 490
[29] A Reflection on the Values of Unification and Unification Philosophies
Kim, Hyoung-chan
KOREA JOURNAL, 2011, 51 (02) : 9 - 30
[30] Family unification in special grand unification
Yamatsu, Naoki
PROGRESS OF THEORETICAL AND EXPERIMENTAL PHYSICS, 2018, 2018 (09):

← 1 2 3 4 5 →