Difference between revisions of "Functional Programming"

From Termination-Portal.org
Jump to navigationJump to search
(New page: Within the Termination Competition, there is a category on Functional Programming where the object is to prove termination of Haskell functions automatically. Currently, the Termination P...)
 
Line 7: Line 7:
 
The semantics of "termination" (in the context of the competition)
 
The semantics of "termination" (in the context of the competition)
 
is discussed e.g. in http://lists.lri.fr/pipermail/termtools/2006-March/000179.html
 
is discussed e.g. in http://lists.lri.fr/pipermail/termtools/2006-March/000179.html
 +
 +
TODO: integrate the definition from http://www.lri.fr/~marche/termination-competition/2007/rules.html
  
 
The termination analyzer AProVE has a web front end http://aprove.informatik.rwth-aachen.de/eval/Haskell/
 
The termination analyzer AProVE has a web front end http://aprove.informatik.rwth-aachen.de/eval/Haskell/

Revision as of 13:08, 15 June 2009

Within the Termination Competition, there is a category on Functional Programming where the object is to prove termination of Haskell functions automatically.

Currently, the Termination Problems Data Base contains 1676 functions from the Haskell Prelude, and AProVE shows termination of 1294 of them.

The semantics of "termination" (in the context of the competition) is discussed e.g. in http://lists.lri.fr/pipermail/termtools/2006-March/000179.html

TODO: integrate the definition from http://www.lri.fr/~marche/termination-competition/2007/rules.html

The termination analyzer AProVE has a web front end http://aprove.informatik.rwth-aachen.de/eval/Haskell/