| 000 | 05631nam a22006015i 4500 | ||
|---|---|---|---|
| 001 | 978-3-540-74061-2 | ||
| 003 | DE-He213 | ||
| 005 | 20240423125620.0 | ||
| 007 | cr nn 008mamaa | ||
| 008 | 100301s2007 gw | s |||| 0|eng d | ||
| 020 |
_a9783540740612 _9978-3-540-74061-2 |
||
| 024 | 7 |
_a10.1007/978-3-540-74061-2 _2doi |
|
| 050 | 4 | _aQA76.758 | |
| 072 | 7 |
_aUMZ _2bicssc |
|
| 072 | 7 |
_aCOM051230 _2bisacsh |
|
| 072 | 7 |
_aUMZ _2thema |
|
| 082 | 0 | 4 |
_a005.1 _223 |
| 245 | 1 | 0 |
_aStatic Analysis _h[electronic resource] : _b14th International Symposium, SAS 2007, Kongens Lyngby, Denmark, August 22-24, 2007, Proceedings / _cedited by Hanne Riis Nielson, Gilberto Filé. |
| 250 | _a1st ed. 2007. | ||
| 264 | 1 |
_aBerlin, Heidelberg : _bSpringer Berlin Heidelberg : _bImprint: Springer, _c2007. |
|
| 300 |
_aXI, 469 p. _bonline resource. |
||
| 336 |
_atext _btxt _2rdacontent |
||
| 337 |
_acomputer _bc _2rdamedia |
||
| 338 |
_aonline resource _bcr _2rdacarrier |
||
| 347 |
_atext file _bPDF _2rda |
||
| 490 | 1 |
_aProgramming and Software Engineering, _x2945-9168 ; _v4634 |
|
| 505 | 0 | _aInvited Papers -- Refactoring Using Type Constraints -- Programming Language Design and Analysis Motivated by Hardware Evolution -- Contributed Papers -- A Compilation Model for Aspect-Oriented Polymorphically Typed Functional Languages -- Lattice Automata: A Representation for Languages on Infinite Alphabets, and Some Applications to Verification -- Compositional Verification and 3-Valued Abstractions Join Forces -- Formalised Inductive Reasoning in the Logic of Bunched Implications -- Optimal Abstraction on Real-Valued Programs -- Taming the Wrapping of Integer Arithmetic -- Under-Approximations of Computations in Real Numbers Based on Generalized Affine Arithmetic -- A Framework for End-to-End Verification and Evaluation of Register Allocators -- A New Algorithm for Identifying Loops in Decompilation -- Accelerated Data-Flow Analysis -- Abstract Error Projection -- Precise Thread-Modular Verification -- Modular Safety Checking for Fine-Grained Concurrency -- Static Analysis of Dynamic Communication Systems by Partner Abstraction -- Exploiting Pointer and Location Equivalence to Optimize Pointer Analysis -- Hierarchical Pointer Analysis for Distributed Programs -- Semantics-Based Transformation of Arithmetic Expressions -- A Fast Implementation of the Octagon Abstract Domain on Graphics Hardware -- Fixpoint-Guided Abstraction Refinements -- Guided Static Analysis -- Program Analysis Using Symbolic Ranges -- Shape Analysis with Structural Invariant Checkers -- Footprint Analysis: A Shape Analysis That Discovers Preconditions -- Arithmetic Strengthening for Shape Analysis -- Astrée: From Research to Industry -- Magic-Sets Transformation for the Analysis of Java Bytecode. | |
| 520 | _aThe aim of static analysis is to develop principles, techniques and tools for validatingpropertiesofprograms,fordesigningsemantics-basedtransformations of programs and for obtaining high-performance implementations of high-level programming languages. Over the years the series of static analysis symposia has served as the primary venue for presentation and discussion of theoretical, practical and innovative advances in the area. This volume contains the papers accepted for presentation at the 14th Int- national Static Analysis Symposium (SAS 2007). The meeting was held August, 22–24, 2007, at the Technical University of Denmark (DTU) in Kongens L- gby, Denmark. In response to the call for papers, 85 submissions were received. Each submission was reviewed by at least 3 experts and, based on these reports, 26 papers were selected after a week of intense electronic discussion using the EasyChair conference system. In addition to these 26 papers, this volume also containscontributionsbythetwoinvitedspeakers:FrankTip(IBMT.J.Watson Research Center, USA) and Alan Mycroft (Cambridge University, UK). On the behalf of the Program Committee, the Program Chairs would like to thank all the authors who submitted their work to the conference and also all the external referees who have been indispensable for the selection process. Special thanks go to TerkelTolstrup and J¨ org Bauer,who helped in handing the submitted papers and in organizing the structure of this volume. We would also like to thank the members of the Organizing Committee at DTU for their great work. Finally we want to thank the PhD school ITMAN at DTU for ?nancial support. | ||
| 650 | 0 | _aSoftware engineering. | |
| 650 | 0 | _aCompilers (Computer programs). | |
| 650 | 0 | _aComputer science. | |
| 650 | 0 | _aMachine theory. | |
| 650 | 0 | _aComputer programming. | |
| 650 | 1 | 4 | _aSoftware Engineering. |
| 650 | 2 | 4 | _aCompilers and Interpreters. |
| 650 | 2 | 4 | _aComputer Science Logic and Foundations of Programming. |
| 650 | 2 | 4 | _aFormal Languages and Automata Theory. |
| 650 | 2 | 4 | _aProgramming Techniques. |
| 700 | 1 |
_aRiis Nielson, Hanne. _eeditor. _0(orcid) _10000-0002-2484-5580 _4edt _4http://id.loc.gov/vocabulary/relators/edt |
|
| 700 | 1 |
_aFilé, Gilberto. _eeditor. _4edt _4http://id.loc.gov/vocabulary/relators/edt |
|
| 710 | 2 | _aSpringerLink (Online service) | |
| 773 | 0 | _tSpringer Nature eBook | |
| 776 | 0 | 8 |
_iPrinted edition: _z9783540740605 |
| 776 | 0 | 8 |
_iPrinted edition: _z9783540841944 |
| 830 | 0 |
_aProgramming and Software Engineering, _x2945-9168 ; _v4634 |
|
| 856 | 4 | 0 | _uhttps://doi.org/10.1007/978-3-540-74061-2 |
| 912 | _aZDB-2-SCS | ||
| 912 | _aZDB-2-SXCS | ||
| 912 | _aZDB-2-LNC | ||
| 942 | _cSPRINGER | ||
| 999 |
_c179888 _d179888 |
||