Termination Proofs for Logic Programs

By Lutz Plumer and Lutz Plümer

This book presents a technique for the automatic generation of termination proofs for logic programs, which constitute a crucial part of program verification. Several nontrivial examples are discussed.

• Format: Paperback
• Language: English
• ISBN: 3540528377
• ISBN13: 9783540528371
• Release Date: July 1990
• Publisher: Springer
• Length: 142 Pages
• Weight: 0.50 lbs.
• Dimensions: 0.3" x 6.1" x 9.2"