Skip to content
<awesome-gh-repos>
vic

webyrd/anti-unification

Functional implementation of anti-unification algorithm for multiple terms
Source code at GitHub null
webyrd/anti-unification.json
{
  "createdAt": "2013-12-28T23:22:01Z",
  "defaultBranch": "master",
  "description": "Functional implementation of anti-unification algorithm for multiple terms",
  "fullName": "webyrd/anti-unification",
  "homepage": null,
  "language": "Scheme",
  "name": "anti-unification",
  "pushedAt": "2013-12-29T03:04:01Z",
  "stargazersCount": 24,
  "topics": [],
  "updatedAt": "2025-01-20T21:29:31Z",
  "url": "https://github.com/webyrd/anti-unification"
}

antiunification

Section titled “antiunification”

Functional implementation of anti-unification algorithm for multiple terms

Adapted from figure 2 of ‘A functional reconstruction of anti-unification’ by Bjarte M. Østvold Norwegian Computing Center DART/04/04 2004

http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.95.9108&rep=rep1&type=pdf