TALP: A tool for the termination analysis of logic programs
Keywords for this software
References in zbMATH (referenced in 4 articles , 1 standard article )
Showing results 1 to 4 of 4.
- Shen, Yi-Dong; de Schreye, Danny; Voets, Dean: Termination prediction for general logic programs (2009)
- Giesl, Jürgen; Thiemann, René; Schneider-Kamp, Peter; Falke, Stephan: Mechanizing and improving dependency pairs (2006)
- Pientka, Brigitte: Verifying termination and reduction properties about higher-order logic programs (2005)
- Ohlebusch, Enno; Claves, Claus; Marché, Claude: TALP: A tool for the termination analysis of logic programs (2000)