Anti-unification algorithms and their applications in program analysis
A term t is called a template of terms t 1 and t 2 iff t 1∈=∈tη 1 and t 2∈= ∈tη 2, for some substitutions η 1 and η 2. A template t of t 1 and t 2 is called the most specific iff for any template t' of t 1 and t 2 there exists a substitution ξ such that t∈=∈t'ξ. The anti-unification proble...
| Main Authors: | , , |
|---|---|
| 格式: | Conference item |
| 出版: |
Springer
2010
|