By the same authors

An Abstract View of Sorted Unification

Research output: Contribution to conferencePaper



Publication details

DatePublished - 1992
Original languageUndefined/Unknown


The study of sorted unification has progressed by developing algorithms for more and more general languages. This paper addresses the question of what can be said about sorted unification independent of the sorted language being used. This is done by abstracting away from the particulars of sorted languages and formulating a set of transformation rules for solving sorted unification problems in general. Strategies for controlling these transformation rules are examined to see which prevent a certain kind of infinite execution.

Discover related content

Find related publications, people, projects, datasets and more using interactive charts.

View graph of relations