"Sobre este título" puede pertenecer a otra edición de este libro.
Gastos de envío:
EUR 3,73
A Estados Unidos de America
Descripción Condición: New. Nº de ref. del artículo: ABLIING23Apr0316110083601
Descripción Condición: New. PRINT ON DEMAND Book; New; Fast Shipping from the UK. No. book. Nº de ref. del artículo: ria9783838363165_lsuk
Descripción PF. Condición: New. Nº de ref. del artículo: 6666-IUK-9783838363165
Descripción Taschenbuch. Condición: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Multithreading is becoming ubiquitous to build high-performance software. Multithreaded programs, however, are both harder to write and harder to debug. The random occurrence of tricky bugs make them highly time-consuming to find. In this context, program verification is a powerful tool to build safe multithreaded programs. This book adapts separation logic - a novel and successful technique to reason about imperative programs - to multithreaded object-oriented programs à la Java. First it shows how to finely reason about the start and join primitives for multithreading. Second, this book shows to reason about reentrant locks i.e. Java's locks. Then, the book describes two novel applications of separation logic : debugging of specifications by means of protocols and enhancement of verification by disproving. The book concludes with an entirely new approach to automatic parallelization that 1/ permits to parallelize arbitrary code (i.e. not only loops) 2/ offers high confidence in the parallelized programs obtained. This book is targeted to theorists and practitioners of program verification that aim at discovering the last advances in this field. 200 pp. Englisch. Nº de ref. del artículo: 9783838363165
Descripción PAP. Condición: New. New Book. Shipped from UK. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000. Nº de ref. del artículo: L0-9783838363165
Descripción Taschenbuch. Condición: Neu. nach der Bestellung gedruckt Neuware - Printed after ordering - Multithreading is becoming ubiquitous to build high-performance software. Multithreaded programs, however, are both harder to write and harder to debug. The random occurrence of tricky bugs make them highly time-consuming to find. In this context, program verification is a powerful tool to build safe multithreaded programs. This book adapts separation logic - a novel and successful technique to reason about imperative programs - to multithreaded object-oriented programs à la Java. First it shows how to finely reason about the start and join primitives for multithreading. Second, this book shows to reason about reentrant locks i.e. Java's locks. Then, the book describes two novel applications of separation logic : debugging of specifications by means of protocols and enhancement of verification by disproving. The book concludes with an entirely new approach to automatic parallelization that 1/ permits to parallelize arbitrary code (i.e. not only loops) 2/ offers high confidence in the parallelized programs obtained. This book is targeted to theorists and practitioners of program verification that aim at discovering the last advances in this field. Nº de ref. del artículo: 9783838363165
Descripción PAP. Condición: 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 ref. del artículo: L0-9783838363165
Descripción Condición: New. Nº de ref. del artículo: 5416660