Articoli correlati a Shape Analysis
Sinossi
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.
Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.
- EditoreNow Publishers Inc
- Data di pubblicazione2020
- ISBN 10 168083732X
- ISBN 13 9781680837322
- RilegaturaCopertina flessibile
- LinguaInglese
- Numero di pagine172
- Contatto del produttorenon disponibile
Compra nuovo
Visualizza questo articolo
EUR 95,46
EUR 7,87 per la spedizione da U.S.A. a Italia
Destinazione, tempi e costiRisultati della ricerca per Shape Analysis
Foto dell'editore
Shape Analysis (Foundations and Trends(r) in Programming Languages)
Da: California Books, Miami, FL, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: New. Codice articolo I-9781680837322
Quantità: Più di 20 disponibili
Foto dell'editore
Shape Analysis
Da: Revaluation Books, Exeter, Regno Unito
Valutazione del venditore 5 su 5 stelle
Paperback. Condizione: Brand New. 172 pages. 9.21x6.14x0.37 inches. In Stock. Codice articolo x-168083732X
Quantità: 2 disponibili
Foto dell'editore
Shape Analysis
Editore:
now publishers Inc, 2020
ISBN 10: 168083732X
ISBN 13: 9781680837322
Nuovo
Paperback / softback
Da: THE SAINT BOOKSTORE, Southport, Regno Unito
Valutazione del venditore 5 su 5 stelle
Paperback / softback. Condizione: New. This item is printed on demand. New copy - Usually dispatched within 5-9 working days 185. Codice articolo C9781680837322
Quantità: Più di 20 disponibili
Foto dell'editore
Shape Analysis
Print on DemandDa: PBShop.store US, Wood Dale, IL, U.S.A.
Valutazione del venditore 5 su 5 stelle
PAP. Condizione: New. New Book. Shipped from UK. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000. Codice articolo L0-9781680837322
Quantità: Più di 20 disponibili
Foto dell'editore
Shape Analysis
Print on DemandDa: PBShop.store UK, Fairford, GLOS, Regno Unito
Valutazione del venditore 4 su 5 stelle
PAP. Condizione: New. New Book. Delivered from our UK warehouse in 4 to 14 business days. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000. Codice articolo L0-9781680837322
Quantità: Più di 20 disponibili
Foto dell'editore
Shape Analysis (Foundations and Trends(r) in Programming Languages)
Da: Ria Christie Collections, Uxbridge, Regno Unito
Valutazione del venditore 5 su 5 stelle
Condizione: New. In. Codice articolo ria9781680837322_new
Quantità: Più di 20 disponibili
Immagini fornite dal venditore
Shape Analysis
Print on DemandDa: moluna, Greven, Germania
Valutazione del venditore 5 su 5 stelle
Condizione: 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. Codice articolo 448249994
Quantità: Più di 20 disponibili
Foto dell'editore
Shape Analysis
Da: Chiron Media, Wallingford, Regno Unito
Valutazione del venditore 5 su 5 stelle
PF. Condizione: New. Codice articolo 6666-IUK-9781680837322
Quantità: 10 disponibili
Immagini fornite dal venditore
Shape Analysis
Print on DemandDa: AHA-BUCH GmbH, Einbeck, Germania
Valutazione del venditore 5 su 5 stelle
Taschenbuch. Condizione: 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. Codice articolo 9781680837322
Quantità: 1 disponibili
Foto dell'editore
Shape Analysis (Foundations and Trends(r) in Programming Languages)
Da: Lucky's Textbooks, Dallas, TX, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: New. Codice articolo ABLIING23Mar2811580338387
Quantità: Più di 20 disponibili