Goodreads helps you keep track of books you want to read.
Start by marking “Principles of Program Analysis” as Want to Read:
Principles of Program Analysis
Enlarge cover
Rate this book
Clear rating
Open Preview

Principles of Program Analysis

3.81  ·  Rating details ·  32 ratings  ·  3 reviews
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 i ...more
Hardcover, 452 pages
Published December 10th 2004 by Springer (first published October 22nd 1999)
More Details... Edit Details

Friend Reviews

To see what your friends thought of this book, please sign up.

Reader Q&A

To ask other readers questions about Principles of Program Analysis, please sign up.

Be the first to ask a question about Principles of Program Analysis

This book is not yet featured on Listopia. Add this book to your favorite list »

Community Reviews

Showing 1-30
Average rating 3.81  · 
Rating details
 ·  32 ratings  ·  3 reviews


More filters
 | 
Sort order
Start your review of Principles of Program Analysis
Nuno Gaspar
Apr 02, 2010 rated it it was amazing
Pretty Cool. Probably the best book about static analysis
Mikael Svahnberg
Dec 13, 2014 rated it liked it
It is dense. Really dense, overly dense, and a lot could have been explained better. Uses the words 'clearly' 'obviously' 'naturally follows' on more than numerous occasions to cover up huge logical leaps. Can't argue with the theories or the completeness of the book, though, even if it was not really what I was looking for...
Scott Wisniewski
Aug 09, 2013 rated it it was amazing
This book is a HARD read. Really hard.

It will blow your mind though.

The Knaster-Tarski least fixed point theorem is a beautiful piece of mathematics.

Seeing what it can enable in programing languages is life changing.
Jonathan Salwan
rated it it was amazing
Sep 17, 2014
Martin Hecker
rated it liked it
Apr 05, 2015
Mkfs
rated it it was amazing
Aug 08, 2013
Nicholas Merriam
rated it really liked it
Dec 23, 2015
Tony
rated it it was amazing
Oct 29, 2012
Magnus Madsen
rated it liked it
Jan 24, 2016
Alec
rated it liked it
Mar 09, 2009
Vamshi Srinivas
rated it it was amazing
Mar 22, 2016
Bryan Turner
rated it liked it
Jan 06, 2009
Ilya Klyuchnikov
rated it really liked it
Apr 20, 2014
Foldr
rated it liked it
Feb 10, 2020
Giorgos
rated it it was amazing
May 20, 2016
Konstantin
rated it it was amazing
Jan 03, 2013
Lee
rated it really liked it
May 18, 2016
Qinglai
rated it really liked it
Sep 16, 2018
Konstantin Solomatov
rated it really liked it
Feb 17, 2013
Mike Mueller
rated it really liked it
Nov 21, 2013
Colin Gordon
rated it liked it
Aug 20, 2019
Carter
rated it really liked it
Oct 07, 2018
Bhau
rated it really liked it
Jan 14, 2019
Ian Sweet
rated it liked it
Jan 13, 2019
Rohan
rated it liked it
Apr 30, 2013
Tony Khánh
rated it really liked it
Mar 27, 2013
numerodix
rated it it was ok
Jul 04, 2010
Mike Aizatsky
rated it it was amazing
Dec 13, 2014
Tom R.
rated it liked it
Dec 03, 2016
Disciple
rated it really liked it
Apr 18, 2014
« previous 1 next »
There are no discussion topics on this book yet. Be the first to start one »

Readers also enjoyed

  • Interactive Theorem Proving and Program Development: Coq Art: The Calculus of Inductive Constructions
  • Logic for Computer Science: Foundations of Automatic Theorem Proving, Second Edition (Dover Books on Computer Science)
  • Definition of Standard ML, Revised Edition
  • Practical Foundations for Programming Languages
  • Paradiso (The Divine Comedy, #3)
  • Software Testing
  • Computer Organization & Design: The Hardware/Software Interface
  • C# 6.0 in a Nutshell: The Definitive Reference
  • Version Control with Git
  • Children of Time (Children of Time, #1)
  • The Divine Comedy of Dante Alighieri, Volume 2: Purgatorio
  • Operating System Concepts
  • Artificial Intelligence: A Modern Approach
  • The Inheritance Trilogy (Inheritance, #1-3.5)
  • Programming Scala: Scalability = Functional Programming + Objects
See similar books…

Goodreads is hiring!

If you like books and love to build cool products, we may be looking for you.
Learn more »

News & Interviews

You’d think that with, well, everything this year has had in store for us, readers would flock to sweet stories with happy endings. But as...
170 likes · 59 comments