English   español  
Por favor, use este identificador para citar o enlazar a este item: http://hdl.handle.net/10261/156078
COMPARTIR / IMPACTO:
Estadísticas
logo share SHARE logo core CORE   Add this article to your Mendeley library MendeleyBASE

Visualizar otros formatos: MARC | Dublin Core | RDF | ORE | MODS | METS | DIDL
Exportar a otros formatos:
Título

Nominal Unification of Higher Order Expressions with Recursive Let

AutorSchmidt-Schauss, Manfred; Kutsia, Temur; Levy, Jordi ; Villaret, Mateu
Palabras claveHigher-order expressions
Lambda calculus
Nominal unification
Operational semantics
Recursive let
Fecha de publicación6-sep-2016
EditorSpringer
Citación26th International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2016; LNCS 10184 (2017): 328-344
ResumenA sound and complete algorithm for nominal unification of higher-order expressions with a recursive let is described, and shown to run in non-deterministic polynomial time. We also explore specializations like nominal letrec-matching for plain expressions and for DAGs and determine their complexity. © Springer International Publishing AG 2017.
URIhttp://hdl.handle.net/10261/156078
DOI10.1007/978-3-319-63139-4_19
Identificadoresdoi: 10.1007/978-3-319-63139-4_19
issn: 03029743
uri: https://arxiv.org/pdf/1608.03771v1.pdf
Aparece en las colecciones: (IIIA) Comunicaciones congresos
Ficheros en este ítem:
Fichero Descripción Tamaño Formato  
LOPSTR 2016_LNCS10184(328-44).pdf200,79 kBUnknownVisualizar/Abrir
Mostrar el registro completo
 


NOTA: Los ítems de Digital.CSIC están protegidos por copyright, con todos los derechos reservados, a menos que se indique lo contrario.