Order Total (1 Item Items):
Shipping Destination:
Putting Abstract Interpretation Prolog by Gobert François (7 results)
Feedback
Skip to main search results
Search filters
Product Type
- All Product Types
- Books (7)
- Magazines & Periodicals (No further results match this refinement)
- Comics (No further results match this refinement)
- Sheet Music (No further results match this refinement)
- Art, Prints & Posters (No further results match this refinement)
- Photographs (No further results match this refinement)
- Maps (No further results match this refinement)
- Manuscripts & Paper Collectibles (No further results match this refinement)
Condition Learn more
- New (7)
- As New, Fine or Near Fine (No further results match this refinement)
- Very Good or Good (No further results match this refinement)
- Fair or Poor (No further results match this refinement)
- As Described (No further results match this refinement)
Binding
- All Bindings
- Hardcover (No further results match this refinement)
- Softcover (7)
Collectible Attributes
- First Edition (No further results match this refinement)
- Signed (No further results match this refinement)
- Dust Jacket (No further results match this refinement)
- Seller-Supplied Images (2)
- Not Print on Demand (3)
Language (1)
Price
- Any Price
- Under US$ 25 (No further results match this refinement)
- US$ 25 to US$ 50 (No further results match this refinement)
- Over US$ 50
Free Shipping
Seller Location
Seller Rating
-
Towards Putting Abstract Interpretation of Prolog into Practice: Design, Implementation, and Evaluation of a Tool to Verify and Optimise Prolog Programs
Published by VDM Verlag Dr. Müller, 2008
ISBN 10: 3836488582 ISBN 13: 9783836488587
Language: English
US$ 88.00
Convert currencyUS$ 3.99 shipping within U.S.A.Quantity: Over 20 available
Add to basketCondition: New.
-
Towards Putting Abstract Interpretation of Prolog into Practice: Design, Implementation, and Evaluation of a Tool to Verify and Optimise Prolog Programs
Published by VDM Verlag Dr. Müller, 2008
ISBN 10: 3836488582 ISBN 13: 9783836488587
Language: English
Condition: New.
-
Towards Putting Abstract Interpretation of Prolog into Practice: Design, Implementation, and Evaluation of a Tool to Verify and Optimise Prolog Programs
Published by VDM Verlag Dr. Müller, 2008
ISBN 10: 3836488582 ISBN 13: 9783836488587
Language: English
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
US$ 84.95
Convert currencyUS$ 16.06 shipping from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketCondition: New. In.
-
Towards Putting Abstract Interpretation of Prolog into Practice Design, Implementation, and Evaluation of a Tool to Verify and Optimise Prolog Programs
Published by VDM Verlag Dr. Müller, 2008
ISBN 10: 3836488582 ISBN 13: 9783836488587
Language: English
PAP. Condition: New. New Book. Shipped from UK. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000.
-
Towards Putting Abstract Interpretation of Prolog into Practice Design, Implementation, and Evaluation of a Tool to Verify and Optimise Prolog Programs
Published by VDM Verlag Dr. Müller, 2008
ISBN 10: 3836488582 ISBN 13: 9783836488587
Language: English
Seller: PBShop.store UK, Fairford, GLOS, United Kingdom
Seller rating 5 out of 5 stars
US$ 89.18
Convert currencyUS$ 6.73 shipping from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketPAP. Condition: New. New Book. Delivered from our UK warehouse in 4 to 14 business days. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000.
-
Towards Putting Abstract Interpretation of Prolog into Practice
Published by VDM Verlag Dr. Müller, 2013
ISBN 10: 3836488582 ISBN 13: 9783836488587
Language: English
US$ 85.77
Convert currencyUS$ 57.35 shipping from Germany to U.S.A.Quantity: Over 20 available
Add to basketKartoniert / Broschiert. Condition: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. 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 of Prolog do not coincide. Prolog uses an incomplete dept.
-
Towards Putting Abstract Interpretation of Prolog into Practice : Design, Implementation, and Evaluation of a Tool to Verify and Optimise Prolog Programs
Published by VDM Verlag Dr. Müller, 2008
ISBN 10: 3836488582 ISBN 13: 9783836488587
Language: English
US$ 96.40
Convert currencyUS$ 73.16 shipping from Germany to U.S.A.Quantity: 2 available
Add to basketTaschenbuch. Condition: Neu. nach der Bestellung gedruckt Neuware - Printed after ordering - 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 of Prolog do not coincide. Prolog uses an incomplete depth-first search rule, unifications and negations may be unsound, and there are extralogical features like the cut or dynamic predicates.The goal and topic of this thesis is the design, implementation and evaluation of an abstract interpretation framework of Prolog to integrate state-of-the-art techniques. The analyser is based on an original proposal that defines the notion of abstract sequence, which allows one to verify many desirable operational properties of a logic procedure. The properties include types, modes, sharing of terms, proving termination, linear relations between the size of input/output terms and the number of solutions to a call. We also design and implement an optimiser that generates specialised code. The optimiser uses the abstract information to safely apply source-to-source transformations. Code transformations include clause and literal reordering, introduction of cuts, and removal of redundant literals. The optimiser follows a precise strategy to choose the most rewarding transformations in best order.
