Principles of Program Analysis - Image 1

£36.29

Springer Principles of Program Analysis

Name: Principles of Program Analysis
Brand: Springer
Price: 36.93 GBP
Availability: InStock

Compilers

Price History & Forecast

Last 86 days • 86 data points (No recent data available)

Historical

Generating forecast...

Price Distribution

Price distribution over 86 days • 3 price levels

Days at Price

Current Price

Price Analysis

Most common price: £36 (64 days, 74.4%)

Price range: £36 - £41

Price levels: 3 different prices over 86 days

Description

Program analysis concerns static techniques for computing reliable approximate information about the dynamic behaviour of programs. Applications include compilers (for code improvement), software validation (for detecting errors in algorithms or breaches of security) and transformations between data representation (for solving problems such as the Y2K problem). This book is unique in giving an overview of the four major approaches to program analysis: data flow analysis, constraint based analysis, abstract interpretation, and type and effect systems. The presentation demonstrates the extensive similarities between the approaches; this will aid the reader in choosing the right approach and in enhancing it with insights from the other approaches. The book covers basic semantic properties as well as more advanced algorithmic techniques. The book is aimed at M.Sc. and Ph.D. students but will be valuable also for experienced researchers and professionals.

Product Specifications

Brand: Springer
Format: paperback
ASIN: 3642084745
Category: Books > Subjects > Computing & Internet > Programming > Compilers
Domain: Amazon UK
Release Date: 01 December 2010
Listed Since: 14 June 2010

Barcode

No barcode data available

Springer Principles of Program Analysis

Price History & Forecast

Price Distribution

Price Analysis

Description

Product Specifications

Barcode

Similar Products You Might Like

Formal Methods, Informally: How to Write Programs That Work

Programming Languages and Systems: 15th Asian Symposium, APLAS 2017, Suzhou, China, November 27-29, 2017, Proceedings: 10695 (Lecture Notes in Computer Science, 10695)

Adapting Proofs-as-Programs: The Curry--Howard Protocol (Monographs in Computer Science)

Programming Languages: 20th Brazilian Symposium, SBLP 2016, Maringá, Brazil, September 22-23, 2016, Proceedings: 9889 (Lecture Notes in Computer Science, 9889)

Theories of Programming Languages

Theories of Programming Languages

Understanding Programming Languages

BASIC-Programmierbuch: zu den grundlegenden Ablaufstrukturen der Datenverarbeitung (Programmieren von Mikrocomputern)

Systematic Program Design: From Clarity to Efficiency

Runtime Verification: 4th International Conference, RV 2013, Rennes, France, September 24-27, 2013, Proceedings: 8174 (Lecture Notes in Computer Science, 8174)

Logics of Programs: Workshop Carnegie Mellon University Pittsburgh, PA, June 6-8, 1983: 164 (Lecture Notes in Computer Science, 164)

Compiler Construction: 17th International Conference, CC 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ... (Lecture Notes in Computer Science, 4959)

Programming Languages and Systems: 20th Asian Symposium, APLAS 2022, Auckland, New Zealand, December 5, 2022, Proceedings: 13658 (Lecture Notes in Computer Science, 13658)

Readings in Artificial Intelligence and Software Engineering

Designing Computer Programs

Languages and Compilers for Parallel Computing: 21th International Workshop, LCPC 2008, Edmonton, Canada, July 31 - August 2, 2008, Revised Selected ... (Lecture Notes in Computer Science, 5335)

The Creative Programmer

Concurrent and Real-time Systems: The CSP Approach (Worldwide Series in Computer Science)

A Comparative Study of Parallel Programming Languages: The Salishan Problems

Systems Software Programming: The Way Things Work (Bk/CD-ROM)

Retargetable Compilers for Embedded Core Processors: Methods and Experiences in Industrial Applications

Source Code Optimization Techniques for Data Flow Dominated Embedded Software

Genetic Systems Programming: Theory and Experiences: 13 (Studies in Computational Intelligence, 13)