A carregar...
Higher-Order Pattern Anti-Unification in Linear Time
We present a rule-based Huet’s style anti-unification algorithm for simply typed lambda-terms, 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 [Formula: see text] -equivalence...
Na minha lista:
| Publicado no: | J Autom Reason |
|---|---|
| Main Authors: | , , , |
| Formato: | Artigo |
| Idioma: | Inglês |
| Publicado em: |
Springer Netherlands
2016
|
| Assuntos: | |
| Acesso em linha: | https://ncbi.nlm.nih.gov/pmc/articles/PMC6109779/ https://ncbi.nlm.nih.gov/pubmed/30174364 https://ncbi.nlm.nih.govhttp://dx.doi.org/10.1007/s10817-016-9383-3 |
| Tags: |
Adicionar Tag
Sem tags, seja o primeiro a adicionar uma tag!
|