Hasta-La-Vista: Termination Analyser for Logic Programs - researchr publication related

researchr

You are not signed in
Sign in
Sign up

Alexander Serebrenik, Danny De Schreye. Hasta-La-Vista: Termination Analyser for Logic Programs. In Frédéric Mesnard, Alexander Serebrenik, editors, Proceedings of the 13th International Workshop on Logic Programming Environments, Tata Institute of Fundamental Research, Mumbai, India, December 8, 2003. Volume CW371 of Report, pages 60-74, Katholieke Universiteit Leuven, Department of Computer Science, Celestijnenlaan 200A, B-3001 Heverlee (Belgium), 2003.

The following publications are possibly variants of this publication:

Termination proofs for logic programs with tablingSofie Verbaeten, Danny De Schreye, Konstantinos F. Sagonas. tocl, 2(1):57-92, 2001. [doi]

Termination prediction for general logic programsYi-Dong Shen, Danny De Schreye, Dean Voets. tplp, 9(6):751-780, 2009. [doi]

runs on WebDSL