Articles liés à Shape Analysis
Synopsis
Shape analyses focusing on inferring highly complex properties of heap-manipulating programs are techniques used in the automatic verification of infinite-state programs. This survey provides a comprehensive introduction to the field of shape analysis, and presents the foundation of the topic in an accessible manner to readers who are not familiar with it. To do so, the authors characterize the essence of shape analysis compared to more classical pointer analyses as well as giving the intuition underlying the abstractions commonly used in shape analysis and the algorithms that allow to statically compute intricate semantic properties. The authors cover the main families of shape analysis abstraction and algorithms, highlight the similarities between them, and characterize the main differences between the most common approaches. Finally, the authors demonstrate the impact of the field by describing a few other static analysis works - array abstractions, dictionary abstractions and interprocedural analyses - that were influenced by the ideas of shape analysis. Researchers and students new to the concept of shape analysis will find this monograph a one-stop shop of information that will quickly get them up to speed on all aspects of the topic. With a comprehensive set of references, this accessible survey will enable the reader to adopt the techniques quickly in their own further research.
Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.
- Éditeurnow publishers Inc
- Date d'édition2020
- ISBN 10 168083732X
- ISBN 13 9781680837322
- ReliureBroché
- Langueanglais
- Nombre de pages170
- Coordonnées du fabricantnon disponible
Acheter neuf
Afficher cet article
EUR 95,46
EUR 6,99 expédition depuis Etats-Unis vers France
Destinations, frais et délaisRésultats de recherche pour Shape Analysis
Image d'archives
Shape Analysis (Foundations and Trends(r) in Programming Languages)
Vendeur : California Books, Miami, FL, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. N° de réf. du vendeur I-9781680837322
Quantité disponible : Plus de 20 disponibles
Image d'archives
Shape Analysis
Vendeur : Revaluation Books, Exeter, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Paperback. Etat : Brand New. 172 pages. 9.21x6.14x0.37 inches. In Stock. N° de réf. du vendeur x-168083732X
Quantité disponible : 2 disponible(s)
Image d'archives
Shape Analysis
Edité par
now publishers Inc, 2020
ISBN 10 : 168083732X
ISBN 13 : 9781680837322
Neuf
Paperback / softback
Vendeur : THE SAINT BOOKSTORE, Southport, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Paperback / softback. Etat : New. This item is printed on demand. New copy - Usually dispatched within 5-9 working days 185. N° de réf. du vendeur C9781680837322
Quantité disponible : Plus de 20 disponibles
Image d'archives
Shape Analysis
Vendeur : Chiron Media, Wallingford, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
PF. Etat : New. N° de réf. du vendeur 6666-IUK-9781680837322
Quantité disponible : 10 disponible(s)
Image d'archives
Shape Analysis (Foundations and Trends(r) in Programming Languages)
Vendeur : Ria Christie Collections, Uxbridge, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. In. N° de réf. du vendeur ria9781680837322_new
Quantité disponible : Plus de 20 disponibles
Image d'archives
Shape Analysis
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-9781680837322
Quantité disponible : Plus de 20 disponibles
Image d'archives
Shape Analysis
impression à la demandeVendeur : PBShop.store UK, Fairford, GLOS, Royaume-Uni
Évaluation du vendeur 4 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-9781680837322
Quantité disponible : Plus de 20 disponibles
Image fournie par le vendeur
Shape Analysis
Edité par
Now Publishers Inc, 2020
ISBN 10 : 168083732X
ISBN 13 : 9781680837322
Neuf
Couverture souple
Vendeur : moluna, Greven, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Provides a comprehensive introduction to the field of shape analysis, and presents the foundation of the topic in an accessible manner to readers who are not familiar with it. To do so, the authors characterize the essence of shape analysis compared to more. N° de réf. du vendeur 448249994
Quantité disponible : Plus de 20 disponibles
Image fournie par le vendeur
Shape Analysis
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 - Shape analyses focusing on inferring highly complex properties of heap-manipulating programs are techniques used in the automatic verification of infinite-state programs.This survey provides a comprehensive introduction to the field of shape analysis, and presents the foundation of the topic in an accessible manner to readers who are not familiar with it. To do so, the authors characterize the essence of shape analysis compared to more classical pointer analyses as well as giving the intuition underlying the abstractions commonly used in shape analysis and the algorithms that allow to statically compute intricate semantic properties.The authors cover the main families of shape analysis abstraction and algorithms, highlight the similarities between them, and characterize the main differences between the most common approaches. Finally, the authors demonstrate the impact of the field by describing a few other static analysis works - array abstractions, dictionary abstractions and interprocedural analyses - that were influenced by the ideas of shape analysis.Researchers and students new to the concept of shape analysis will find this monograph a one-stop shop of information that will quickly get them up to speed on all aspects of the topic. With a comprehensive set of references, this accessible survey will enable the reader to adopt the techniques quickly in their own further research. N° de réf. du vendeur 9781680837322
Quantité disponible : 1 disponible(s)
Image d'archives
Shape Analysis (Foundations and Trends(r) in Programming Languages)
Vendeur : Lucky's Textbooks, Dallas, TX, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. N° de réf. du vendeur ABLIING23Mar2811580338387
Quantité disponible : Plus de 20 disponibles