Á lódáil...

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...

Cur síos iomlán

Na minha lista:
Sonraí Bibleagrafaíochta
Foilsithe in:J Autom Reason
Main Authors: Baumgartner, Alexander, Kutsia, Temur, Levy, Jordi, Villaret, Mateu
Formáid: Artigo
Teanga:Inglês
Foilsithe: Springer Netherlands 2016
Ábhair:
Rochtain Ar Líne: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
Clibeanna: Cuir Clib Leis
Gan Chlibeanna, Bí ar an gcéad duine leis an taifead seo a chlibeáil!