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.92  ·  Rating Details ·  26 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 ...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-55)
filter  |  sort: default (?)  |  Rating Details
Nuno Gaspar
Apr 02, 2010 Nuno Gaspar rated it it was amazing
Pretty Cool. Probably the best book about static analysis
Mikael Svahnberg
Dec 19, 2014 Mikael Svahnberg 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 Scott Wisniewski 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
Jonathan Salwan rated it it was amazing
Nov 14, 2014
Martin Hecker
Martin Hecker rated it liked it
Apr 05, 2015
Mkfs
Mkfs rated it it was amazing
Aug 08, 2013
Nicholas Merriam
Nicholas Merriam rated it really liked it
Dec 23, 2015
Tony
Tony rated it it was amazing
Oct 29, 2012
Magnus Madsen
Magnus Madsen rated it liked it
Jan 24, 2016
Alec
Alec rated it liked it
Mar 09, 2009
Vamshi Srinivas
Vamshi Srinivas rated it it was amazing
Mar 22, 2016
Bryan Turner
Bryan Turner rated it liked it
Dec 23, 2010
Ilya Klyuchnikov
Ilya Klyuchnikov rated it really liked it
May 11, 2014
Giorgos
Giorgos rated it it was amazing
May 20, 2016
Konstantin
Konstantin rated it it was amazing
Jan 03, 2013
Lee
Lee rated it really liked it
May 18, 2016
Konstantin Solomatov
Konstantin Solomatov rated it really liked it
Feb 17, 2013
Mike Mueller
Mike Mueller rated it really liked it
Nov 21, 2013
Xiaowei Zhou
Xiaowei Zhou rated it really liked it
Apr 16, 2010
Rohan
Rohan rated it liked it
Apr 30, 2013
Tony Khánh
Tony Khánh rated it really liked it
Mar 27, 2013
numerodix
numerodix rated it it was ok
Jul 04, 2010
Mike Aizatsky
Mike Aizatsky rated it it was amazing
Dec 13, 2014
Tom Rochette
Tom Rochette rated it liked it
Dec 03, 2016
Disciple
Disciple rated it really liked it
Jul 18, 2014
Alexis Petrounias
Alexis Petrounias rated it it was ok
Oct 23, 2016
Daniel
Daniel added it
Jan 31, 2013
Greg
Greg is currently reading it
Jun 30, 2009
Kiran
Kiran marked it as to-read
Aug 30, 2010
Espeng
Espeng marked it as to-read
Mar 16, 2011
Kirill
Kirill marked it as to-read
May 14, 2011
Ben
Ben added it
Jul 18, 2011
Vladimir Pudovkin
Vladimir Pudovkin marked it as to-read
Aug 28, 2011
Peter
Peter marked it as to-read
Nov 27, 2011
Steven Shaw
Steven Shaw marked it as to-read
Feb 22, 2012
Johan
Johan added it
Feb 25, 2012
Uroš
Uroš marked it as to-read
Mar 15, 2012
Michael
Michael marked it as to-read
Apr 13, 2012
Nikolay
Nikolay marked it as to-read
Jul 25, 2012
David
David marked it as to-read
Mar 31, 2013
Dima
Dima marked it as to-read
Apr 10, 2013
Alex Ott
Alex Ott marked it as to-read
Apr 11, 2013
Ben
Ben marked it as to-read
Apr 19, 2013
Jay
Jay added it
Apr 28, 2013
Mark Hills
Mark Hills marked it as to-read
Jul 13, 2013
Chris
Chris marked it as to-read
Jul 20, 2013
jeff wong
jeff wong marked it as to-read
Nov 21, 2013
Aakarsh Nair
Aakarsh Nair marked it as to-read
Jan 27, 2014
Apteris
Apteris marked it as to-read
Feb 17, 2014
There are no discussion topics on this book yet. Be the first to start one »

Goodreads is hiring!

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

Share This Book