Separation Logic for Multithreaded Object-Oriented Languages: Full-Fledged Verification and Automatic Parallelization of Programs - Image 1

£58.00

It has never been this cheap. We have no record of a lower price.

£58 today · cheaper than every other day in the last 3 months

LAP Lambert Academic Publishing Separation Logic for Multithreaded Object-Oriented Languages: Full-Fledged Verification and Automatic Parallelization of Programs

Name: Separation Logic for Multithreaded Object-Oriented Languages: Full-Fledged Verification and Automatic Parallelization of Programs
Brand: LAP Lambert Academic Publishing
Price: 58.0 GBP
Availability: InStock

Languages

Price data last checked 31 day(s) ago - refreshing...

View at Amazon

We'll watch every seller, every day. One email when your price arrives.

Grey patches = out of stock. Cheaper = lower on the chart. Hover for exact prices.

Last 60 days · 60 data points (no recent data)

Historical

Generating forecast…

View at Amazon ↗

Languages

Price data last checked 31 day(s) ago - refreshing...

NEW HERE?

Amazon shows you one price. We show you all of them.

Tosheroon watches Amazon prices so you don't have to. Every product on Amazon has a price history — we make it visible. Set the price you'd actually pay, and we'll email you the second it gets there. No app, no account, one email.

WHAT'S ON THIS PAGE

↑ Price chart
when this has been cheap or pricey

↑ Forecast
where the price is heading next

↓ Statistics
all-time high & low, recent range

↑ Price alert
name your number, we'll email you

Price Distribution

Price distribution over 60 days • 1 price levels

Days at Price

Price Analysis

Most common price: £58 (60 days, 100.0%)

Price range: £58 - £58

Price levels: 1 different prices over 60 days

Description

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.

Product Specifications

Brand: LAP Lambert Academic Publishing
Format: paperback
ASIN: 3838363167
Category: Books > Subjects > Computing & Internet > Programming > Languages
Domain: Amazon UK
Release Date: 19 May 2010
Listed Since: 25 May 2010

Barcode

No barcode data available

It has never been this cheap. We have no record of a lower price.

LAP Lambert Academic Publishing Separation Logic for Multithreaded Object-Oriented Languages: Full-Fledged Verification and Automatic Parallelization of Programs

Price Distribution

Price Analysis

Description

Product Specifications

Barcode

Similar Products You Might Like

Irregular computations on fine-grain multithreaded architecture: Parallel algorithms and architectures

Kategoriya imeni prilagatel'nogo v raznosistemnykh yazykakh: Sinkhronno-diakhronnyy sravnitel'no-tipologicheskiy analiz

Irregular Problems on Multi-core Architectures: Exploiting Parallelism and Performance Evaluation on Multi-core Architectures

Pragmatic Investigations in English and Arabic Linguistic Thought: A Speech-act Orientation

MultiParadigm Foundation for Model Transformation Language Engineering

Digital Logic Design and Assembly Language Programming: Solved Problems for Students

Hardware Prefetch, Reduction Support and Speculative State Buffering: Shared Memory Multiprocessors

Multiprocessor Performance Analysis: Ensuring Guaranteed Throughput of Dynamic Multimedia Streaming Applications

MICROPROCESSORS AND ITS INTERFACING

Povsednevnost': istoriya, metodologiya, teoriya: (sotsial'no-filosofskiy analiz)

Parallel and Bit-parallel Text Algorithms: Second Edition

Supporting Reengineering Software Variants into Software Product Lines: Recovering Traceability Links between Software Artifacts

Variativnost' aktsentnoy normy mnogoslozhnykh slov angliyskogo yazyka: Monografiya

Statistical Multiplexing and Connection Admission Control

Tekstovaya deyatel'nost' studentov v kontekste metodicheskoy masterskoy: formirovanie professional'nykh kompetentsiy uchitelya

Optimizing productivity: An analysis of new development projects in IT industry

Sistema otsenki sostoyaniya komponentov sistem elektrosnabzheniya LA: Povyshenie effektivnosti tekhnicheskogo obsluzhivaniya sistem LA

Semanticheskaya derivatsiya i osobennosti tekstovoy realizatsii: slov latinskogo proiskhozhdeniya v sovremennom russkom yazyke (na materiale gazetnykh publikatsiy)

Principles of Computer System: Architectures, Operating Systems and Security

Translation of English Simple Texts: For English Translation Students

Technology Based Employee Training and Organizational Performance: Mediating By Customer Oriented Employees

Agents With Two-Dimensional Language Autonomy: For Task Delegation

Upravlenie sotsial'nymi protsessami: Osnovy, kontseptsii, metody

Perceptions of Stakeholders on Academic Staff Development Programmes: On Student's Laboratory Skills Acquisitions in Nigerians Polytechnics

It has never been this cheap. We have no record of a lower price.

LAP Lambert Academic Publishing Separation Logic for Multithreaded Object-Oriented Languages: Full-Fledged Verification and Automatic Parallelization of Programs

Price History & Forecast

Price Distribution

Price Analysis

Description

Product Specifications

Barcode

Similar Products You Might Like

Irregular computations on fine-grain multithreaded architecture: Parallel algorithms and architectures

Kategoriya imeni prilagatel'nogo v raznosistemnykh yazykakh: Sinkhronno-diakhronnyy sravnitel'no-tipologicheskiy analiz

Irregular Problems on Multi-core Architectures: Exploiting Parallelism and Performance Evaluation on Multi-core Architectures

Pragmatic Investigations in English and Arabic Linguistic Thought: A Speech-act Orientation

MultiParadigm Foundation for Model Transformation Language Engineering

Digital Logic Design and Assembly Language Programming: Solved Problems for Students

Hardware Prefetch, Reduction Support and Speculative State Buffering: Shared Memory Multiprocessors

Multiprocessor Performance Analysis: Ensuring Guaranteed Throughput of Dynamic Multimedia Streaming Applications

MICROPROCESSORS AND ITS INTERFACING

Povsednevnost': istoriya, metodologiya, teoriya: (sotsial'no-filosofskiy analiz)

Parallel and Bit-parallel Text Algorithms: Second Edition

Supporting Reengineering Software Variants into Software Product Lines: Recovering Traceability Links between Software Artifacts

Variativnost' aktsentnoy normy mnogoslozhnykh slov angliyskogo yazyka: Monografiya

Statistical Multiplexing and Connection Admission Control

Tekstovaya deyatel'nost' studentov v kontekste metodicheskoy masterskoy: formirovanie professional'nykh kompetentsiy uchitelya

Optimizing productivity: An analysis of new development projects in IT industry

Sistema otsenki sostoyaniya komponentov sistem elektrosnabzheniya LA: Povyshenie effektivnosti tekhnicheskogo obsluzhivaniya sistem LA

Semanticheskaya derivatsiya i osobennosti tekstovoy realizatsii: slov latinskogo proiskhozhdeniya v sovremennom russkom yazyke (na materiale gazetnykh publikatsiy)

Principles of Computer System: Architectures, Operating Systems and Security

Translation of English Simple Texts: For English Translation Students

Technology Based Employee Training and Organizational Performance: Mediating By Customer Oriented Employees

Agents With Two-Dimensional Language Autonomy: For Task Delegation

Upravlenie sotsial'nymi protsessami: Osnovy, kontseptsii, metody

Perceptions of Stakeholders on Academic Staff Development Programmes: On Student's Laboratory Skills Acquisitions in Nigerians Polytechnics