Termination analysis: Crossing paradigm borders

Funding: 
FWO
Period: 
1 January, 2006 to 31 December, 2009

Participants:

  • Danny De Schreye

A central aim of this project is to improve termination analysis technology in the fields of Logic Programming and Term Rewriting by porting techniques from one field to the other and by cross-fertilization of techniques from the two fields. An additional aim is to move beyond the two paradigms and to develop automated termination analysis techniques for functional and even imperative or object oriented programming languages.

Group: