Termination of well-moded programs

DOI10.1016/S0743-1066(98)10025-0MaRDI QIDQ4245930zbMATH OpenFDO

Authors Sandro Etalle, Annalisa Bossi, Nicoletta Cocco

Publication date 20 July 1999

Published in The Journal of Logic Programming (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/S0743-1066(98)10025-0

zbMATH Keywords

well-moded programs

Mathematics Subject Classification ID

Logic programming (68N17)

Recommendations

• Termination proofs of well-moded logic programs via conditional rewrite systems
• On modular termination proofs of general logic programs
• scientific article; zbMATH DE number 879005
• Program Development in Computational Logic

Cited in

(3)

• Convergence: integrating termination and abort-freedom
• Most programs stop quickly or never halt
• Termination of processes

This page was built for publication: Termination of well-moded programs

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4245930)