Towards Putting Abstract Interpretation of PROLOG Into Practice

By Francois Gobert

Logic programming is appealing since it allows the programmer to concentrate on the meaning of the problem to be solved. Unfortunately, for efficiency reasons, the declarative and operational natures... This description may be from another edition of this product.

• Format: Paperback
• Language: English
• ISBN: 3836488582
• ISBN13: 9783836488587
• Release Date: March 2008
• Publisher: VDM Verlag Dr. Mueller E.K.
• Length: 372 Pages
• Weight: 1.09 lbs.
• Dimensions: 0.8" x 6.0" x 9.0"