On modular termination proofs of general logic programs

DOI10.1017/S1471068402001382MaRDI QIDQ4452617zbMATH OpenFDO

Authors Annalisa Bossi, Nicoletta Cocco, Sabina Rossi, Sandro Etalle

Publication date 1 March 2004

Published in Theory and Practice of Logic Programming (Search for Journal in Brave)

Full work available at URL http://journals.cambridge.org/action/displayIssue?jid=TLP&volumeId=2&issueId=03

zbMATH Keywords

verificationlogic programmingtermination

Mathematics Subject Classification ID

Logic programming (68N17) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• scientific article; zbMATH DE number 879005
• Termination proofs for logic programs with tabling
• Proving termination of general Prolog programs
• scientific article; zbMATH DE number 1149425
• Termination proofs for logic programs

Cited in

(14)

• scientific article; zbMATH DE number 7204561 (Why is no real title available?)
• Termination Analysis of Logic Programs Based on Dependency Graphs
• Termination proofs for logic programs with tabling
• Automated modular termination proofs for real Prolog programs
• scientific article; zbMATH DE number 6606377 (Why is no real title available?)
• scientific article; zbMATH DE number 1149425 (Why is no real title available?)
• scientific article; zbMATH DE number 1926607 (Why is no real title available?)
• Termination prediction for general logic programs
• scientific article; zbMATH DE number 1973218 (Why is no real title available?)
• Program Development in Computational Logic
• Proving termination of general Prolog programs
• Termination proofs of well-moded logic programs via conditional rewrite systems
• scientific article; zbMATH DE number 3924108 (Why is no real title available?)
• Use of logical models for proving operational termination in general logics

This page was built for publication: On modular termination proofs of general logic programs

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