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.
| Author: Lutz Pl?mer |
| Publisher: Springer |
| Publication Date: Jul 24, 1990 |
| Number of Pages: 142 pages |
| Binding: Paperback or Softback |
| ISBN-10: 3540528377 |
| ISBN-13: 9783540528371 |
Related Products
Createspace Independent Publishing Platform
The Mathematical Proof: "" The Method and Logic ""
$21.78
