Articles liés à Towards Putting Abstract Interpretation of Prolog into...
Towards Putting Abstract Interpretation of Prolog into Practice: Design, Implementation, and Evaluation of a Tool to Verify and Optimise Prolog Programs - Couverture souple
Synopsis
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.
Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.
Présentation de l'éditeur
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.
Biographie de l'auteur
François Gobert is a computer science doctor. He made his studies at Facultés Universitaires Notre-Dame de la Paix of Namur and his PhD thesis at Université catholique de Louvain. He had published several articles at important conferences and workshops (e.g., AFADL, ICLP-WLPE). His interests include artificial intelligence and programming languages
Les informations fournies dans la section « A propos du livre » peuvent faire référence à une autre édition de ce titre.
Acheter neuf
Afficher cet article
EUR 73,09
EUR 4,60 expédition depuis Royaume-Uni vers France
Destinations, frais et délaisRésultats de recherche pour Towards Putting Abstract Interpretation of Prolog into...
Image d'archives
Towards Putting Abstract Interpretation of Prolog into Practice: Design, Implementation, and Evaluation of a Tool to Verify and Optimise Prolog Programs
Edité par
VDM Verlag Dr. Müller, 2008
ISBN 10 : 3836488582
ISBN 13 : 9783836488587
Neuf
Couverture souple
Vendeur : Ria Christie Collections, Uxbridge, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. In. N° de réf. du vendeur ria9783836488587_new
Quantité disponible : Plus de 20 disponibles
Image fournie par le vendeur
Towards Putting Abstract Interpretation of Prolog into Practice
Edité par
VDM Verlag Dr. Müller, 2013
ISBN 10 : 3836488582
ISBN 13 : 9783836488587
Neuf
Kartoniert / Broschiert
Vendeur : moluna, Greven, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Kartoniert / Broschiert. Etat : 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. N° de réf. du vendeur 5389156
Quantité disponible : Plus de 20 disponibles
Image d'archives
Towards Putting Abstract Interpretation of Prolog into Practice Design, Implementation, and Evaluation of a Tool to Verify and Optimise Prolog Programs
impression à la demandeVendeur : PBShop.store US, Wood Dale, IL, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
PAP. Etat : New. New Book. Shipped from UK. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000. N° de réf. du vendeur L0-9783836488587
Quantité disponible : Plus de 20 disponibles
Image d'archives
Towards Putting Abstract Interpretation of Prolog into Practice Design, Implementation, and Evaluation of a Tool to Verify and Optimise Prolog Programs
impression à la demandeVendeur : PBShop.store UK, Fairford, GLOS, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
PAP. Etat : New. New Book. Delivered from our UK warehouse in 4 to 14 business days. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000. N° de réf. du vendeur L0-9783836488587
Quantité disponible : Plus de 20 disponibles
Image d'archives
Towards Putting Abstract Interpretation of Prolog into Practice: Design, Implementation, and Evaluation of a Tool to Verify and Optimise Prolog Programs
Edité par
VDM Verlag Dr. M�ller 2008-03-27, 2008
ISBN 10 : 3836488582
ISBN 13 : 9783836488587
Neuf
Paperback
Vendeur : Chiron Media, Wallingford, Royaume-Uni
Évaluation du vendeur 4 sur 5 étoiles
Paperback. Etat : New. N° de réf. du vendeur 6666-IUK-9783836488587
Quantité disponible : 10 disponible(s)
Image d'archives
Towards Putting Abstract Interpretation of Prolog into Practice: Design, Implementation, and Evaluation of a Tool to Verify and Optimise Prolog Programs
Edité par
VDM Verlag Dr. Müller, 2008
ISBN 10 : 3836488582
ISBN 13 : 9783836488587
Neuf
Couverture souple
Vendeur : California Books, Miami, FL, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. N° de réf. du vendeur I-9783836488587
Quantité disponible : Plus de 20 disponibles
Image fournie par le vendeur
Towards Putting Abstract Interpretation of Prolog into Practice : Design, Implementation, and Evaluation of a Tool to Verify and Optimise Prolog Programs
impression à la demandeVendeur : AHA-BUCH GmbH, Einbeck, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Taschenbuch. Etat : 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. N° de réf. du vendeur 9783836488587
Quantité disponible : 2 disponible(s)
Image d'archives
Towards Putting Abstract Interpretation of Prolog into Practice: Design, Implementation, and Evaluation of a Tool to Verify and Optimise Prolog Programs
Edité par
VDM Verlag Dr. Müller, 2008
ISBN 10 : 3836488582
ISBN 13 : 9783836488587
Neuf
Couverture souple
Vendeur : Best Price, Torrance, CA, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. SUPER FAST SHIPPING. N° de réf. du vendeur 9783836488587
Quantité disponible : 1 disponible(s)
Image d'archives
Towards Putting Abstract Interpretation of Prolog into Practice: Design, Implementation, and Evaluation of a Tool to Verify and Optimise Prolog Programs
Edité par
VDM Verlag Dr. Müller, 2008
ISBN 10 : 3836488582
ISBN 13 : 9783836488587
Neuf
Couverture souple
Vendeur : Lucky's Textbooks, Dallas, TX, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. N° de réf. du vendeur ABLING22Oct2018170263798
Quantité disponible : Plus de 20 disponibles