The Good, the Bad, and the Hungry Sale
 
 

Recently Viewed clear list


Original Essays | July 24, 2014

Jessica Valenti: IMG Full Frontal Feminism Revisited



It is arguably the worst and best time to be a feminist. In the years since I first wrote Full Frontal Feminism, we've seen a huge cultural shift in... Continue »
  1. $11.90 Sale Trade Paper add to wish list

spacer
Qualifying orders ship free.
$77.50
New Hardcover
Ships in 1 to 3 days
Add to Wishlist
available for shipping or prepaid pickup only
Available for In-store Pickup
in 7 to 12 days
Qty Store Section
25 Remote Warehouse Software Engineering- Programming and Languages

This title in other editions

Principles of Program Analysis

by

Principles of Program Analysis Cover

ISBN13: 9783540654100
ISBN10: 3540654100
Condition:
All Product Details

 

Synopses & Reviews

Publisher Comments:

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.

Synopsis:

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.

Description:

Includes bibliographical references (p. [437]-450) and indexes.

Table of Contents

Preface.- Introduction.- Data Flow Analysis.- Constraint- Based Analysis.- Abstract Interpretation.- Type and Effect Systems.- Algorithms.- Partially Ordered Sets.- Induction and Coinduction.- Graphs and Regular Expressions.- Index of Notation.-Index.- Bibliography.

What Our Readers Are Saying

Add a comment for a chance to win!
Average customer rating based on 1 comment:

nudtmao, December 17, 2006 (view all comments by nudtmao)
I have read a book written by Pierce,name as 'Types and Programming Languages'. I think that one is easier to me.
Was this comment helpful? | Yes | No
(1 of 1 readers found this comment helpful)

Product Details

ISBN:
9783540654100
Author:
Nielson, Flemming
Author:
Hankin, Chris
Author:
Nielson, Hanne R.
Author:
Nielson, Hanne Riis
Publisher:
Springer
Location:
Berlin, Heidelberg
Subject:
Programming - General
Subject:
Logic Design
Subject:
Computer programs
Subject:
Computer programming
Subject:
type systems
Subject:
program analysis
Subject:
dataflow analysis
Subject:
program transformation
Subject:
abstract interpretation
Subject:
Constraint Based Analysis
Subject:
General
Subject:
Logics and Meanings of Programs
Subject:
Programming Languages, Compilers, Interpreters
Subject:
Software Engineering The only book providing an introduction to the active area of program analysis for advanced students, researchers, and professionals<BR>Tested in various courses: Aarhus, Imperial College (London), Pisa, Saarbrücken, Tel Aviv, Copenh
Subject:
Software Engineering - Programming and Languages
Subject:
Software engineering
Subject:
Computer Science
Subject:
B
Copyright:
Edition Number:
1
Edition Description:
1999. Corr. 2nd
Series Volume:
no. 18
Publication Date:
November 1999
Binding:
HARDCOVER
Language:
English
Illustrations:
Y
Pages:
471
Dimensions:
235 x 155 mm 1890 gr

Other books you might like

  1. The Practice of Programming... Used Trade Paper $17.95
  2. Unix Systems for Modern... Used Hardcover $45.00
  3. High-performance Compilers for... New Trade Paper $135.25
  4. Cambridge Studies in Advanced... New Hardcover $191.25
  5. Automatic Algorithm Recognition and... New Hardcover $54.95

Related Subjects

Computers and Internet » Networking » General
Computers and Internet » Software Engineering » Compilers
Computers and Internet » Software Engineering » General
Computers and Internet » Software Engineering » Programming and Languages
Education » General
Reference » Science Reference » Technology
Science and Mathematics » Mathematics » Applied
Science and Mathematics » Mathematics » Probability and Statistics » General
Science and Mathematics » Mathematics » Probability and Statistics » Statistics
Science and Mathematics » Physics » General

Principles of Program Analysis New Hardcover
0 stars - 0 reviews
$77.50 In Stock
Product details 471 pages Springer-Verlag - English 9783540654100 Reviews:
"Synopsis" by , 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.
spacer
spacer
  • back to top
Follow us on...




Powell's City of Books is an independent bookstore in Portland, Oregon, that fills a whole city block with more than a million new, used, and out of print books. Shop those shelves — plus literally millions more books, DVDs, and gifts — here at Powells.com.