Static analysis : 15th international symposium, SAS 2008, Valencia, Spain, July 16 - 18, 2008 ; proceedings (Englisch)
- Neue Suche nach: SAS
- Weitere Informationen zu SAS:
- http://d-nb.info/gnd/10348658-6
- Neue Suche nach: Alpuente, María
- Neue Suche nach: SAS
- Weitere Informationen zu SAS:
- http://d-nb.info/gnd/10348658-6
2008
-
ISBN:
- Konferenzband / Elektronische Ressource
-
Titel:Static analysis : 15th international symposium, SAS 2008, Valencia, Spain, July 16 - 18, 2008 ; proceedings
-
Beteiligte:
-
Kongress:SAS ; 15 ; 2008 ; Valencia
International Static Analysis Symposium ; 15 ; 2008 ; Valencia -
Erschienen in:
-
Verlag:
- Neue Suche nach: Springer
-
Erscheinungsort:Berlin [u.a.]
-
Erscheinungsdatum:2008
-
Format / Umfang:Online-Ressource (X, 377 S.)
-
Anmerkungen:Campusweiter Zugriff (Universität Hannover) - Vervielfältigungen (z.B. Kopien, Downloads) sind nur von einzelnen Kapiteln oder Seiten und nur zum eigenen wissenschaftlichen Gebrauch erlaubt. Keine Weitergabe an Dritte. Kein systematisches Downloaden durch Robots.
Literaturangaben -
ISBN:
-
DOI:
-
Medientyp:Konferenzband
-
Format:Elektronische Ressource
-
Sprache:Englisch
- Neue Suche nach: 00B25 / 68N30 / *68-06
- Weitere Informationen zu Mathematics Subject Classification
- Neue Suche nach: 54.53 / 54.51 / 54.10
- Weitere Informationen zu Basisklassifikation
- Neue Suche nach: 005.1 / 310
- Weitere Informationen zu Dewey Decimal Classification
-
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
-
Transforming Abstract Interpretations by Abstract Interpretation: New Challenges in Language-Based SecurityGiacobazzi, R. / Mastroeni, I. et al. | 2008
- 18
-
Reflections on the Role of Static Analysis in Cooperative Bug IsolationLiblit, B. et al. | 2008
- 32
-
Relational Analysis of CorrelationBauer, J. / Nielson, F. / Nielson, H.R. / Pilegaard, H. et al. | 2008
- 47
-
Convex Hull of Arithmetic AutomataLeroux, J. et al. | 2008
- 62
-
Pointer Analysis, Conditional Soundness, and Proving the Absence of ErrorsConway, C.L. / Dams, D. / Namjoshi, K.S. / Barrett, C. et al. | 2008
- 78
-
Protocol Inference Using Static Path ProfilesRamanathan, M.K. / Sen, K. / Grama, A. / Jagannathan, S. et al. | 2008
- 93
-
Solving Multiple Dataflow Queries Using WPDSsLal, A. / Reps, T. et al. | 2008
- 110
-
Field Flow Sensitive Pointer and Escape Analysis for Java Using Heap Array SSAPrabhu, P. / Shankar, P. et al. | 2008
- 128
-
Typing Linear Constraints for Moding CLP(R) ProgramsRuggieri, S. / Mesnard, F. et al. | 2008
- 144
-
On Polymorphic Recursion, Type Systems, and Abstract InterpretationComini, M. / Damiani, F. / Vrech, S. et al. | 2008
- 159
-
Modal Abstractions of Concurrent BehaviourNanz, S. / Nielson, F. / Nielson, H.R. et al. | 2008
- 174
-
Hiding Software Watermarks in Loop StructuresPreda, M.D. / Giacobazzi, R. / Visentini, E. et al. | 2008
- 189
-
Inferring Min and Max Invariants Using Max-Plus PolyhedraAllamigeon, X. / Gaubert, S. / Goubault, E. et al. | 2008
- 205
-
Conflict Analysis of Programs with Procedures, Dynamic Thread Creation, and MonitorsLammich, P. / Muller-Olm, M. et al. | 2008
- 221
-
Automatic Inference of Upper Bounds for Recurrence Relations in Cost AnalysisAlbert, E. / Arenas, P. / Genaim, S. / Puebla, G. et al. | 2008
- 238
-
SLR: Path-Sensitive Analysis through Infeasible-Path Detection and Syntactic Language RefinementBalakrishnan, G. / Sankaranarayanan, S. / Ivancic, F. / Wei, O. / Gupta, A. et al. | 2008
- 255
-
Flow Analysis, Linearity, and PTIMEVan Horn, D. / Mairson, H.G. et al. | 2008
- 270
-
Quantum Entanglement Analysis Based on Abstract InterpretationPerdrix, S. et al. | 2008
- 283
-
Language Strength ReductionKidd, N. / Lal, A. / Reps, T. et al. | 2008
- 299
-
Analysing All Polynomial Equations in Z~2wSeidl, H. / Flexeder, A. / Petter, M. et al. | 2008
- 315
-
Splitting the Control Flow with Boolean FlagsSimon, A. et al. | 2008
- 332
-
Reasoning about Control Flow in the Presence of Transient FaultsPerry, F. / Walker, D. et al. | 2008
- 347
-
A Calculational Approach to Control-Flow Analysis by Abstract InterpretationMidtgaard, J. / Jensen, T. et al. | 2008
- 363
-
Heap Decomposition for Concurrent Shape AnalysisManevich, R. / Lev-Ami, T. / Sagiv, M. / Ramalingam, G. / Berdine, J. et al. | 2008