Static analysis : 16th international symposium, SAS 2009, Los Angeles, CA, USA, August 9-11, 2009 ; proceedings (Englisch)
- Neue Suche nach: SAS
- Weitere Informationen zu SAS:
- http://d-nb.info/gnd/16016547-7
- Neue Suche nach: Palsberg, Jens
- Neue Suche nach: Su, Zhendong
- Neue Suche nach: SAS
- Weitere Informationen zu SAS:
- http://d-nb.info/gnd/16016547-7
2009
-
ISBN:
- Konferenzband / Print
-
Titel:Static analysis : 16th international symposium, SAS 2009, Los Angeles, CA, USA, August 9-11, 2009 ; proceedings
-
Beteiligte:
-
Kongress:SAS ; 16 ; 2009 ; Los Angeles, Calif.
International Static Analysis Symposium ; 16 ; 2009 ; Los Angeles, CA -
Erschienen in:
-
Verlag:
- Neue Suche nach: Springer
-
Erscheinungsort:Berlin , Heidelberg [u.a.]
-
Erscheinungsdatum:2009
-
Format / Umfang:X, 359 S.
-
Anmerkungen:235 mm x 155 mm
graph. Darst.
Literaturangaben
Langzeitarchivierung durch Badische Landesbibliothek -
ISBN:
-
Medientyp:Konferenzband
-
Format:Print
-
Sprache:Englisch
-
Reportnr. / Förderkennzeichen:12721160
- Neue Suche nach: 00B25 / 68N30 / *68-06
- Weitere Informationen zu Mathematics Subject Classification
- Neue Suche nach: 005.13
- Weitere Informationen zu Dewey Decimal Classification
- Neue Suche nach: 54.51 / 54.10
- Weitere Informationen zu Basisklassifikation
-
Schlagwörter:
-
Klassifikation:
-
Datenquelle:
Inhaltsverzeichnis Konferenzband
Die Inhaltsverzeichnisse werden automatisch erzeugt und basieren auf den im Index des TIB-Portals verfügbaren Einzelnachweisen der enthaltenen Beiträge. Die Anzeige der Inhaltsverzeichnisse kann daher unvollständig oder lückenhaft sein.
- 1
-
Algorithmic Program Synthesis with Partial Programs and Decision ProceduresBodik, R. et al. | 2009
- 2
-
Algorithmic Verification of Systems Software Using SMT SolversQadeer, S. et al. | 2009
- 3
-
Abstraction Refinement for Quantified Array AssertionsSeghir, M.N. / Podelski, A. / Wies, T. et al. | 2009
- 19
-
Inferring Dataflow Properties of User Defined Table ProcessorsXia, S. / Fahndrich, M. / Logozzo, F. et al. | 2009
- 36
-
Polymorphic Fractional CapabilitiesYasuoka, H. / Terauchi, T. et al. | 2009
- 52
-
Automatic Parallelization and Optimization of Programs by Proof RewritingHurlin, C. et al. | 2009
- 69
-
Refinement of Trace AbstractionHeizmann, M. / Hoenicke, J. / Podelski, A. et al. | 2009
- 86
-
The Causal Graph Revisited for Directed Model CheckingWehrle, M. / Helmert, M. et al. | 2009
- 102
-
Proving the Correctness of the Implementation of a Control-Command AlgorithmBouissou, O. et al. | 2009
- 120
-
Abstract Interpretation of FIFO ReplacementGrund, D. / Reineke, J. et al. | 2009
- 137
-
A Verifiable, Control Flow Aware Constraint Analyzer for Bounds Check EliminationNiedzielski, D. / von Ronne, J. / Gampe, A. / Psarris, K. et al. | 2009
- 154
-
Increasing the Scope and Resolution of Interprocedural Static Single AssignmentCalman, S. / Zhu, J. et al. | 2009
- 171
-
Region Analysis for Race DetectionSeidl, H. / Vojdani, V. et al. | 2009
- 188
-
Bottom-Up Shape AnalysisGulavani, B.S. / Chakraborty, S. / Ramalingam, G. / Nori, A.V. et al. | 2009
- 205
-
The Complexity of Andersen's Analysis in PracticeSridharan, M. / Fink, S.J. et al. | 2009
- 222
-
Optimizing Pointer Analysis Using BisimilaritySimon, L. et al. | 2009
- 238
-
Type Analysis for JavaScriptJensen, S.H. / Moller, A. / Thiemann, P. et al. | 2009
- 256
-
Abstract Parsing: Static Analysis of Dynamically Generated String Output Using LR-Parsing TechnologyDoh, K.-G. / Kim, H. / Schmidt, D.A. et al. | 2009
- 273
-
Creating Transformations for Matrix ObfuscationDrape, S. / Voiculescu, I. et al. | 2009
- 293
-
Abstract Interpretation from a Topological PerspectiveSchmidt, D.A. et al. | 2009
- 309
-
Interval Polyhedra: An Abstract Domain to Infer Interval Linear RelationshipsChen, L. / Mine, A. / Wang, J. / Cousot, P. et al. | 2009
- 326
-
Invariant Checking for Programs with Procedure CallsGodoy, G. / Tiwari, A. et al. | 2009
- 343
-
Inter-program PropertiesVoronkov, A. / Narasamdya, I. et al. | 2009