Logic in Computer Science: Modelling and Reasoning About Systems by Michael Huth |
by Alfred V. Aho
|
by John L. Hennessy
|
by Andrew W. Appel
|
by Guy Cousineau
|
Join Amazon Prime and get unlimited Free One-Day Delivery. Already a member? Sign in.
Customers Who Bought This Item Also Bought
Product details
Would you like to update product info or give feedback on images?
|
Customers Viewing This Page May Be Interested in These Sponsored Links(What is this?) |
Product Description
Product 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.
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.
Inside This Book
(Learn More)
First Sentence
In this book we shall introduce four of the main approaches to program analysis: Data Flow Analysis, Constraint Based Analysis, Abstract Interpretation, and Type and Effect Systems. Read the first page
Front Cover | Copyright | Table of Contents | Excerpt | Index | Back Cover
In this book we shall introduce four of the main approaches to program analysis: Data Flow Analysis, Constraint Based Analysis, Abstract Interpretation, and Type and Effect Systems. Read the first page
Explore More
Concordance
Browse Sample PagesConcordance
Front Cover | Copyright | Table of Contents | Excerpt | Index | Back Cover
Suggested Tags from Similar Products(What's this?)Be the first one to add a relevant tag (keyword that's strongly related to this product)
|
Customer Reviews
There are no customer reviews yet. Create your own review
| |||
Video reviews
|
 |
Listmania!
Look for similar items by category
- Books > Computing & Internet > Computer Science > Architecture & Microprocessors > Architecture & Logic
- Books > Computing & Internet > Digital Lifestyle > Online Shopping > Amazon
- Books > Computing & Internet > Programming > Algorithms
- Books > Computing & Internet > Programming > Compilers
- Books > Computing & Internet > Software & Graphics
- Books > Study Books > FE & College > Vocational > Sport & Recreation
- Books > Study Books > Schools
Feedback
- Would you like to update product info or give feedback on images?
- I am the Author, and I want to comment on my book.
- I am the Publisher, and I want to comment on this book.
Ecoop 2004 - Object-Oriented...
This book constitutes the refereed proceedings of the 18th European...
Read more
|
More From Flemming Nielson
Two-Level Functional Languages The authors describe here a framework in which the type notation of...
Read more
|
Treat Someone
With an Amazon.co.uk Gift Certificate, you can get them what they want (even if you don't know what that is). |
||||||||
| |||||
Your Recent History
(What's this?)|
You have no recently viewed items or searches.
After viewing product detail pages or search results, look here to find an easy way to navigate back to pages you are interested in. Look to the right column to find helpful suggestions for your shopping session. |
Continue Shopping: Top Sellers
| ||||
Amazon Home | |
| International Sites: United States | Germany | France | Japan | Canada | China | |
| Business Programs: Sell on Amazon | Fulfilment by Amazon | Join Associates | Join Advantage | |
| Customer Service | Help | View Basket | Your Account | |
| About Amazon.co.uk | Careers at Amazon | |
| Conditions of Use & Sale | Privacy Notice © 1996-2009, Amazon.com, Inc. and its affiliates |