ロード中...
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...
保存先:
| 出版年: | J Autom Reason |
|---|---|
| 主要な著者: | , , , |
| フォーマット: | Artigo |
| 言語: | Inglês |
| 出版事項: |
Springer Netherlands
2016
|
| 主題: | |
| オンライン・アクセス: | 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 |
| タグ: |
タグ追加
タグなし, このレコードへの初めてのタグを付けませんか!
|