Free shipping on orders over 19,990 Ft via Packeta, Fox Post Box, and DPD Collection Point

Check order status

Become part of a community of book lovers from all over the world and get access to a whole bunch of benefits. Create an account for free

Free delivery for purchases over 19 990 Ft

DPD point 990 Ft DPD courier 1 190 Ft GLS point 1 190 Ft Hungarian Post 1 795 Ft Hungarian Post 1 690 Ft Hungarian Post 1 690 Ft FoxPost 1 190 Ft Packeta point 1 190 Ft GLS courier 1 690 Ft

Contact

How to shop

Help

My account

▸ Empty :-(

Free shipping on orders over 19,990 Ft via Packeta, Fox Post Box, and DPD Collection Point

Towards Putting Abstract Interpretation of Prolog into Practice

Name: Towards Putting Abstract Interpretation of Prolog into Practice
Brand: VDM Verlag Dr. Mueller E.K.
SKU: 06946570
Price: 30394 HUF
Availability: InStock
Author: François Gobert
ISBN: 9783836488587

François Gobert

Language

English

Book Paperback

Libristo code: 06946570

Publishers VDM Verlag Dr. Mueller E.K., March 2008

Logic programming is appealing since it allows the programmer to concentrate on the meaning of the p... Full description

Libristo code: 06946570

202 b

30 394 Ft

In stock at our supplier Shipping in 14-21 days

Up to 30 days for returns

Customers also purchased

Grammar Practice 2 Juraj Belán

Paperback

2 182 Ft

Gesunde Power aus dem Entsafter Esterelle Payany

Paperback

3 867 Ft

Kreatives Schreiben als Foerderung der Schreibfahigkeit Britta Wertenbruch

Paperback

9 970 Ft

Kindergedichte Michael Heinen-Anders

Paperback

3 025 Ft

Die Bedeutung der Beduinen in der Geschichte der Araber Werner Caskel

Paperback

29 687 Ft

Italia di tutti. Per una nuova politica dei beni comuni Johnny Dotti

Paperback

5 924 Ft

LE CHAT COULEUR MURAILLE PIANO GEORGES BIZET Book

binding.

3 687 Ft

Sterowanie silnikow o zaplonie iskrowym Opracowanie zbiorowe

Paperback

4 963 Ft

Konsens zwischen Weisungsgebundenheit und Kreativität im Gesundheitswesen Ing. Mag. Wolfgang Koppelstätter

Paperback

17 041 Ft

Chiara Lubich : fundadora de los focolares Florence Gillet

Paperback

4 813 Ft

Usko ja epäilys Luna Lehikoinen

Paperback

5 355 Ft

Zahlungsorientierte Finanzplanung mit Hilfe von Predictive Analytics Stefan Amrhein

Paperback

15 267 Ft

Tante Dimity und der Kreis des Teufels Nancy Atherton

Paperback

4 664 Ft

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.