25 Books to Read Before You Die
 
 

Recently Viewed clear list


The Powell's Playlist | August 6, 2014

Graham Joyce: IMG The Powell’s Playlist: Graham Joyce



The Ghost in the Electric Blue Suit is set on the English coast in the hot summer of 1976, so the music in this playlist is pretty much all from the... Continue »
  1. $17.47 Sale Hardcover add to wish list

spacer
Qualifying orders ship free.
$99.25
New Trade Paper
Ships in 1 to 3 days
Add to Wishlist
available for shipping or prepaid pickup only
Available for In-store Pickup
in 7 to 12 days
Qty Store Section
25 Remote Warehouse Computers Reference- General

Lecture Notes in Computer Science / Lecture Notes in Artific #446: Termination Proofs for Logic Programs

by

Lecture Notes in Computer Science / Lecture Notes in Artific #446: Termination Proofs for Logic Programs Cover

 

Synopses & Reviews

Publisher Comments:

Termination proofs constitute a crucial part of program verification. Much research about termination has been done in the context of term rewriting systems. But until now there was little hope that termination proofs for nontrivial programs could be achieved automatically. This book gives a comprehensive discussion of the termination problem in the context of logic programming. Although logic programs pose special difficulties for termination proofs it turns out that automation of this task is obtainable to a much larger degree than for programs in imperative languages. A technique for the automatic derivation of termination proofs is presented in detail. The discussion of several nontrivial examples illustrates its range of applicability. The approach is based on the concept of declarative semantics, and thus makes use of an important feature of logic programming.

Product Details

ISBN:
9783540528371
Author:
Plumer, Lutz
Publisher:
Springer
Author:
Pla1/4mer, Lutz
Author:
Pl]mer, Lutz
Location:
Berlin, Heidelberg
Subject:
Artificial Intelligence
Subject:
Logic programming
Subject:
Artificial Intelligence - General
Subject:
Programming - Software Development
Subject:
Logic Design
Subject:
Intelligence (AI) & Semantics
Subject:
Software Development & Engineering - General
Subject:
Computers-Reference - General
Subject:
Logische Programmierung
Subject:
Partielle Auswertung
Subject:
Terminierung
Subject:
Verifikation
Subject:
linear predicate inequalities
Subject:
lineare Prädikatungleichungen
Subject:
logic programs
Subject:
Partial Evaluation
Subject:
Termination
Subject:
Verification
Subject:
Artificial Intelligence (incl. Robotics)
Subject:
Software engineering
Subject:
Logics and Meanings of Programs
Subject:
Mathematical Logic and Formal Languages
Subject:
Computer Science
Subject:
Language, literature and biography
Copyright:
Edition Description:
Book
Series:
Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence
Series Volume:
446
Publication Date:
19900824
Binding:
TRADE PAPER
Language:
English
Illustrations:
Y
Pages:
150
Dimensions:
242 x 170 mm 510 gr

Related Subjects

Computers and Internet » Artificial Intelligence » Fuzzy Logic
Computers and Internet » Artificial Intelligence » General
Computers and Internet » Computers Reference » General
Computers and Internet » Software Engineering » General

Lecture Notes in Computer Science / Lecture Notes in Artific #446: Termination Proofs for Logic Programs New Trade Paper
0 stars - 0 reviews
$99.25 In Stock
Product details 150 pages Springer - English 9783540528371 Reviews:
spacer
spacer
  • back to top
Follow us on...




Powell's City of Books is an independent bookstore in Portland, Oregon, that fills a whole city block with more than a million new, used, and out of print books. Shop those shelves — plus literally millions more books, DVDs, and gifts — here at Powells.com.