Principles of Program Analysis

3.92 avg rating
( 26 ratings by Goodreads )
 
9783540654100: Principles of Program Analysis

Program analysis utilizes static techniques for computing reliable information about the dynamic behavior of programs. Applications include compilers (for code improvement), software validation (for detecting errors) and transformations between data representation (for solving problems such as Y2K). This book is unique in providing 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 illustrates the extensive similarities between the approaches, helping readers to choose the best one to utilize.

"synopsis" may belong to another edition of this title.

Buy New View Book
List Price: US$ 79.99
US$ 55.09

Convert Currency

Shipping: US$ 7.93
From United Kingdom to U.S.A.

Destination, Rates & Speeds

Add to Basket

Top Search Results from the AbeBooks Marketplace

1.

Flemming Nielson, Hanne R. Nielson, Chris Hankin
Published by Springer Berlin Heidelberg 1999-10-22, Berlin |London (1999)
ISBN 10: 3540654100 ISBN 13: 9783540654100
New Quantity Available: > 20
Seller:
Blackwell's
(Oxford, OX, United Kingdom)
Rating
[?]

Book Description Springer Berlin Heidelberg 1999-10-22, Berlin |London, 1999. Book Condition: New. Bookseller Inventory # 9783540654100

More Information About This Seller | Ask Bookseller a Question

Buy New
US$ 55.09
Convert Currency

Add to Basket

Shipping: US$ 7.93
From United Kingdom to U.S.A.
Destination, Rates & Speeds

2.

Flemming Nielson; Hanne R. Nielson; Chris Hankin
ISBN 10: 3540654100 ISBN 13: 9783540654100
New Quantity Available: 1
Seller:
Speedy Hen LLC
(Sunrise, FL, U.S.A.)
Rating
[?]

Book Description Book Condition: New. Bookseller Inventory # ST3540654100. Bookseller Inventory # ST3540654100

More Information About This Seller | Ask Bookseller a Question

Buy New
US$ 64.64
Convert Currency

Add to Basket

Shipping: FREE
Within U.S.A.
Destination, Rates & Speeds

3.

Nielson, Flemming; Nielson, Hanne Riis; Hankin, Chris
Published by Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (2004)
ISBN 10: 3540654100 ISBN 13: 9783540654100
New Hardcover Quantity Available: 1
Rating
[?]

Book Description Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2004. Book Condition: New. 2004. Corrected. Hardcover. This is an overview of the four major approaches to program analysis: data flow analysis, constraint based analysis, abstract interpretation, and type and effect systems. Num Pages: 452 pages, 51 black & white tables, biography. BIC Classification: UM. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 240 x 163 x 32. Weight in Grams: 850. . . . . . . Bookseller Inventory # V9783540654100

More Information About This Seller | Ask Bookseller a Question

Buy New
US$ 69.13
Convert Currency

Add to Basket

Shipping: FREE
From Ireland to U.S.A.
Destination, Rates & Speeds

4.

Nielson, Flemming; Nielson, Hanne Riis; Hankin, Chris
Published by Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
ISBN 10: 3540654100 ISBN 13: 9783540654100
New Hardcover Quantity Available: 1
Seller:
Kennys Bookstore
(Olney, MD, U.S.A.)
Rating
[?]

Book Description Springer-Verlag Berlin and Heidelberg GmbH & Co. KG. Book Condition: New. 2004. Corrected. Hardcover. This is an overview of the four major approaches to program analysis: data flow analysis, constraint based analysis, abstract interpretation, and type and effect systems. Num Pages: 452 pages, 51 black & white tables, biography. BIC Classification: UM. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 240 x 163 x 32. Weight in Grams: 850. . . . . . Books ship from the US and Ireland. Bookseller Inventory # V9783540654100

More Information About This Seller | Ask Bookseller a Question

Buy New
US$ 70.22
Convert Currency

Add to Basket

Shipping: FREE
Within U.S.A.
Destination, Rates & Speeds

5.

Flemming Nielson, Hanne Riis Nielson, Chris Hankin,
ISBN 10: 3540654100 ISBN 13: 9783540654100
New Hardcover Quantity Available: 1
Seller:
Ria Christie Collections
(Uxbridge, United Kingdom)
Rating
[?]

Book Description Hardback. Book Condition: New. Not Signed; Program analysis utilizes static techniques for computing reliable information about the dynamic behavior of programs. Applications include compilers (for code improvement), software validation (for detecting errors) and transformations between data representation (for solving problems such as Y2K). book. Bookseller Inventory # ria9783540654100_rkm

More Information About This Seller | Ask Bookseller a Question

Buy New
US$ 67.11
Convert Currency

Add to Basket

Shipping: US$ 5.12
From United Kingdom to U.S.A.
Destination, Rates & Speeds

6.

Flemming Nielson
Published by Springer-Verlag Berlin and Heidelberg GmbH and Co. KG (1999)
ISBN 10: 3540654100 ISBN 13: 9783540654100
New Quantity Available: 1
Seller:
Books2Anywhere
(Fairford, GLOS, United Kingdom)
Rating
[?]

Book Description Springer-Verlag Berlin and Heidelberg GmbH and Co. KG, 1999. HRD. Book Condition: New. New Book. Shipped from UK in 4 to 14 days. Established seller since 2000. Bookseller Inventory # GB-9783540654100

More Information About This Seller | Ask Bookseller a Question

Buy New
US$ 62.59
Convert Currency

Add to Basket

Shipping: US$ 11.90
From United Kingdom to U.S.A.
Destination, Rates & Speeds

7.

Flemming Nielson
Published by Springer-Verlag Berlin and Heidelberg GmbH and Co. KG (1999)
ISBN 10: 3540654100 ISBN 13: 9783540654100
New Quantity Available: > 20
Print on Demand
Seller:
Pbshop
(Wood Dale, IL, U.S.A.)
Rating
[?]

Book Description Springer-Verlag Berlin and Heidelberg GmbH and Co. KG, 1999. HRD. Book Condition: New. New Book.Shipped from US within 10 to 14 business days.THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000. Bookseller Inventory # IP-9783540654100

More Information About This Seller | Ask Bookseller a Question

Buy New
US$ 70.92
Convert Currency

Add to Basket

Shipping: US$ 3.99
Within U.S.A.
Destination, Rates & Speeds

8.

Flemming Nielson,Hanne R. Nielson,Chris Hankin
Published by Springer 1999-10-22 (1999)
ISBN 10: 3540654100 ISBN 13: 9783540654100
New Hardcover Quantity Available: 5
Seller:
Chiron Media
(Wallingford, United Kingdom)
Rating
[?]

Book Description Springer 1999-10-22, 1999. Hardcover. Book Condition: New. Bookseller Inventory # NU-LBR-00418269

More Information About This Seller | Ask Bookseller a Question

Buy New
US$ 72.42
Convert Currency

Add to Basket

Shipping: US$ 3.95
From United Kingdom to U.S.A.
Destination, Rates & Speeds

9.

Nielson, Flemming
Published by Springer (2016)
ISBN 10: 3540654100 ISBN 13: 9783540654100
New Paperback Quantity Available: 1
Print on Demand
Seller:
Ria Christie Collections
(Uxbridge, United Kingdom)
Rating
[?]

Book Description Springer, 2016. Paperback. Book Condition: New. PRINT ON DEMAND Book; New; Publication Year 2016; Not Signed; Fast Shipping from the UK. No. book. Bookseller Inventory # ria9783540654100_lsuk

More Information About This Seller | Ask Bookseller a Question

Buy New
US$ 73.33
Convert Currency

Add to Basket

Shipping: US$ 5.12
From United Kingdom to U.S.A.
Destination, Rates & Speeds

10.

FLEMMING NIELSON
Published by Springer (1999)
ISBN 10: 3540654100 ISBN 13: 9783540654100
New Hardcover Quantity Available: 1
Seller:
Herb Tandree Philosophy Books
(Stroud, GLOS, United Kingdom)
Rating
[?]

Book Description Springer, 1999. Hardback. Book Condition: NEW. 9783540654100 This listing is a new book, a title currently in-print which we order directly and immediately from the publisher. Bookseller Inventory # HTANDREE0341409

More Information About This Seller | Ask Bookseller a Question

Buy New
US$ 68.07
Convert Currency

Add to Basket

Shipping: US$ 10.57
From United Kingdom to U.S.A.
Destination, Rates & Speeds

There are more copies of this book

View all search results for this book