Books > Computing & IT > Computer programming
|
Buy Now
Static Analysis - 12th International Symposium, SAS 2005, London, UK, September 7-9, 2005, Proceedings (Paperback, 2005 ed.)
Loot Price: R1,709
Discovery Miles 17 090
|
|
Static Analysis - 12th International Symposium, SAS 2005, London, UK, September 7-9, 2005, Proceedings (Paperback, 2005 ed.)
Series: Programming and Software Engineering, 3672
Expected to ship within 10 - 15 working days
|
Static analysis allows us to determine aspects of the dynamic
behavior of p- grams and systems without actually executing them.
Traditionally used in - timizing compilers, static analysis is now
also used extensively in veri?cation, software certi?cation and
semantics-based manipulation. The research com- nity in static
analysis covers a broad spectrum from foundational issues - new
semantic models of programming languages and systems - through to
practical tools.TheseriesofStatic AnalysisSymposia hasservedasthe
primaryvenue for presentation and discussion of theoretical,
practical and application advances in the area. This volume
contains the papers accepted for presentation at the 12th Int-
national Static Analysis Symposium (SAS 2005) which was held 7-9
September 2005 at Imperial College London. A total of 66 papers
were submitted; the Program Committee held an online discussion
which led to the selection of 22 papers for presentation. The
selection was based on scienti?c quality, originality and relevance
to the scope of SAS. Every paper was reviewed by at least 3 PC
members or external referees. This volume also includes abstracts
of talks given by the two invited speakers: Samson Abramsky FRS
(University of Oxford) and Andrew Gordon (Microsoft Research,
Cambridge). OnbehalfoftheProgramCommittee,
theProgramChairwouldliketothank all of the authors who submitted
papers and all of the external referees for their careful work in
the reviewing process. The Program Chair would also parti- larly
like to thank Igor Siveroni who provided local support for the
conference management system and who helped in organizing the
structure of this volume
General
Imprint: |
Springer-Verlag
|
Country of origin: |
Germany |
Series: |
Programming and Software Engineering, 3672 |
Release date: |
August 2005 |
First published: |
2005 |
Editors: |
Chris Hankin
• Igor Siveroni
|
Dimensions: |
235 x 155 x 19mm (L x W x T) |
Format: |
Paperback
|
Pages: |
374 |
Edition: |
2005 ed. |
ISBN-13: |
978-3-540-28584-7 |
Categories: |
Books >
Computing & IT >
Computer programming >
General
|
LSN: |
3-540-28584-9 |
Barcode: |
9783540285847 |
Is the information for this product incomplete, wrong or inappropriate?
Let us know about it.
Does this product have an incorrect or missing image?
Send us a new image.
Is this product missing categories?
Add more categories.
Review This Product
No reviews yet - be the first to create one!
|
|
Email address subscribed successfully.
A activation email has been sent to you.
Please click the link in that email to activate your subscription.