Warning: error_log(/dades/dugi/log//querys.log) [function.error-log]: failed to open stream: Read-only file system in /dades/dugi/lib/log/log.php on line 32
DUGi: Ítem | Recercat - A Variant of Higher-Order Anti-Unification

Ítem


A Variant of Higher-Order Anti-Unification

We present a rule-based Huet’s style anti-unification algorithm for simply-typed lambda-terms in ɳ long β normal form, which computes a least general higher-order pattern generalization. For a pair of arbitrary terms of the same type, such a generalization always exists and is unique modulo α equivalence and variable renaming. The algorithm computes it in cubic time within linear space. It has been implemented and the code is freely available

Dagstuhl Publishing

Autor: Baumgartner, Alexander
Kutsia, Temur
Levy, Jordi
Villaret i Ausellé, Mateu
Resum: We present a rule-based Huet’s style anti-unification algorithm for simply-typed lambda-terms in ɳ long β normal form, which computes a least general higher-order pattern generalization. For a pair of arbitrary terms of the same type, such a generalization always exists and is unique modulo α equivalence and variable renaming. The algorithm computes it in cubic time within linear space. It has been implemented and the code is freely available
Accés al document: http://hdl.handle.net/2072/218199
Llenguatge: eng
Editor: Dagstuhl Publishing
Drets: Attribution 3.0 Spain
URI Drets: http://creativecommons.org/licenses/by/3.0/es/
Matèria: Algorismes computacionals
Computer algorithms
Lògica matemàtica
Logic, Symbolic and mathematical
Títol: A Variant of Higher-Order Anti-Unification
Tipus: info:eu-repo/semantics/article
Repositori: Recercat

Matèries


Warning: error_log(/dades/dugi/log//dugi.log) [function.error-log]: failed to open stream: Read-only file system in /dades/dugi/lib/log/log.php on line 32

Autors


Warning: error_log(/dades/dugi/log//dugi.log) [function.error-log]: failed to open stream: Read-only file system in /dades/dugi/lib/log/log.php on line 32


Warning: fopen(/dades/dugi/cache/d4bf30b70d5ab36cffdcbb28a1b17754_.html) [function.fopen]: failed to open stream: Read-only file system in /dades/dugi/end_cache.php on line 2