The refereed proceedings of the 10th International Symposium on Static Analysis, SAS 2003, held in San Diego, CA, USA in June 2003 as part of FCRC 2003. The 25 revised full papers presented together with two invited contributions were carefully reviewed and selected from 82 submissions. The papers are organized in topical sections on static analysis of object-oriented languages, static analysis of concurrent languages, static analysis of functional languages, static analysis of procedural languages, static data analysis, static linear relation analysis, static analysis based program transformation, and static heap analysis.
Static Analysis
and over one million other books are available for Amazon Kindle.
Learn more
FREE Two-Day Shipping for students on millions of items. Learn more |
| |||||||||||||||
Book Description
Product Details
Would you like to update product info or give feedback on images?
|
Customer Reviews
|
There are no customer reviews yet.
|
|||
|
Video reviews
|
Inside This Book
(learn more)
Key Phrases - Statistically Improbable Phrases (SIPs):
(learn more)
polluting assignments, heap safety properties, proper tail calls, tail call elimination, heap safety property, memory reuse commands, autonomous garbage collection, exploded supergraph, interrupt calculus, stack boundedness, modular class analysis, pred qsort, runtime system architecture, imr value, control flow signature, memory location reuse, lifetime vectors, permission type system, deterministic ranking, distinguishing predicate, stack space usage, precise widening operators, sharing inference, linear constant propagation, data space requirements Key Phrases - Capitalized Phrases (CAPs): (learn more)
Lecture Notes, New York, Springer-Verlag Berlin Heidelberg, Computer Society, Core Erlang, International Static Analysis Symposium, Olivier Danvy, University of California, European Symposium, Garcia de la Banda, Springer Verlag, International Workshop, Thomas Reps, David Monniaux, Greg Morrisett, Mean Value, Peter Thiemann, Alex Aiken, Aske Simon Christensen, Compiler Construction, Error Reports Inspected Fig, Formal Methods, Inserting Safe Memory Reuse Commands, Mooly Sagiv, Principles of Program Analysis New!
Books on Related Topics | Concordance | Text Stats Browse Sample Pages:
Front Cover | Table of Contents | First Pages | Index | Back Cover | Surprise Me!
polluting assignments, heap safety properties, proper tail calls, tail call elimination, heap safety property, memory reuse commands, autonomous garbage collection, exploded supergraph, interrupt calculus, stack boundedness, modular class analysis, pred qsort, runtime system architecture, imr value, control flow signature, memory location reuse, lifetime vectors, permission type system, deterministic ranking, distinguishing predicate, stack space usage, precise widening operators, sharing inference, linear constant propagation, data space requirements Key Phrases - Capitalized Phrases (CAPs): (learn more)
Lecture Notes, New York, Springer-Verlag Berlin Heidelberg, Computer Society, Core Erlang, International Static Analysis Symposium, Olivier Danvy, University of California, European Symposium, Garcia de la Banda, Springer Verlag, International Workshop, Thomas Reps, David Monniaux, Greg Morrisett, Mean Value, Peter Thiemann, Alex Aiken, Aske Simon Christensen, Compiler Construction, Error Reports Inspected Fig, Formal Methods, Inserting Safe Memory Reuse Commands, Mooly Sagiv, Principles of Program Analysis New!
Books on Related Topics | Concordance | Text Stats Browse Sample Pages:
Front Cover | Table of Contents | First Pages | Index | Back Cover | Surprise Me!
Books on Related Topics
(learn more)
|
Tag this product(What's this?)Think of a tag as a keyword or label you consider is strongly related to this product.
Tags will help all customers organize and find favorite items. |
Customer Discussions
|
This product's forum
Active discussions in related forums
Search Customer Discussions
|
Related forums
|
Listmania!
So You'd Like to...
Look for Similar Items by Category
- Books > Computers & Technology > Programming > Languages & Tools
- Books > Computers & Technology > Programming > Software Design, Testing & Engineering > Software Development
- Books > Computers & Technology > Software
- Books > New & Used Textbooks > Computer Science
- Books > Science & Math > Mathematics
