Combinatorically Restricted Higher Order Anti-Unification.
An Application to Programming by Analogy
!!! STILL UNDER CONSTRUCTION, DOCUMENTATION WILL FOLLOW SOON !!!
What is Analogical Reasoning about?
What is Anti-Unification?
What is IPAL?
How are these issues combined in my diploma thesis?
My diploma thesis [PDF 554k]
My Anti-Unification algorithm (implemented in GNU C++):
Source code [ZIP 51k]
Executeable (DOS/Win) [EXE 1360k]
Examples (download the complete database here: [ZIP 154k])
Current research interests and further projects
Ulrich Wagner 14.05.02