Alternation for Termination (English)
- New search for: Harris, W.R.
- New search for: Lal, A.
- New search for: Nori, A.V.
- New search for: Rajamani, S.K.
- New search for: Harris, W.R.
- New search for: Lal, A.
- New search for: Nori, A.V.
- New search for: Rajamani, S.K.
- New search for: Cousot, Radhia
- New search for: Martel, Matthieu
In:
International static analysis symposium
6337
;
304-319
;
2010
-
ISBN:
-
ISSN:
- Conference paper / Print
-
Title:Alternation for Termination
-
Contributors:Harris, W.R. ( author ) / Lal, A. ( author ) / Nori, A.V. ( author ) / Rajamani, S.K. ( author ) / Cousot, Radhia / Martel, Matthieu
-
Conference:17th, International static analysis symposium ; 2010 ; Perpignan, France
-
Published in:International static analysis symposium , 6337 ; 304-319LECTURE NOTES IN COMPUTER SCIENCE , 6337 ; 304-319
-
Publisher:
- New search for: Springer
-
Place of publication:Berlin
-
Publication date:2010-01-01
-
Size:16 pages
-
Remarks:Includes bibliographical references and author index. SAS 2010.
-
ISBN:
-
ISSN:
-
Type of media:Conference paper
-
Type of material:Print
-
Language:English
-
Keywords:
-
Source:
© Metadata Copyright the British Library Board and other contributors. All rights reserved.
Table of contents conference proceedings
The tables of contents are generated automatically and are based on the data records of the individual contributions available in the index of the TIB portal. The display of the Tables of Contents may therefore be incomplete.
- 1
-
Time of Time (Invited Talk)Emerson, E.A. et al. | 2010
- 2
-
Static Verification for Code Contracts (Invited Talk)Fahndrich, M. et al. | 2010
- 6
-
Translation Validation of Loop Optimizations and Software Pipelining in the TVOC Framework: In Memory of Amir Pnueli (Invited Talk)Goldberg, B. et al. | 2010
- 22
-
Size-Change Termination and Transition Invariants (Invited Talk)Heizmann, M. / Jones, N.D. / Podelski, A. et al. | 2010
- 51
-
Using Static Analysis in Space: Why Doing so? (Invited Talk)Lesens, D. et al. | 2010
- 71
-
Statically Inferring Complex Heap, Array, and Numeric Invariants (Invited Talk)McCloskey, B. / Reps, T. / Sagiv, M. et al. | 2010
- 100
-
From Object Fields to Local Variables: A Practical Approach to Field-Sensitive AnalysisAlbert, E. / Arenas, P. / Genaim, S. / Puebla, G. / Deantes, D.V.R. et al. | 2010
- 117
-
Multi-dimensional Rankings, Program Termination, and Complexity Bounds of Flowchart ProgramsAlias, C. / Darte, A. / Feautrier, P. / Gonnord, L. et al. | 2010
- 134
-
Deriving Numerical Abstract Domains via Principal Component AnalysisAmato, G. / Parton, M. / Scozzari, F. et al. | 2010
- 151
-
Concurrent Separation Logic for Pipelined ParallelizationBell, C.J. / Appel, A.W. / Walker, D. et al. | 2010
- 167
-
Automatic Abstraction for Intervals Using Boolean FormulaeBrauer, J. / King, A. et al. | 2010
- 184
-
Interval Slopes as a Numerical Abstract Domain for Floating-Point VariablesChapoutot, A. et al. | 2010
- 201
-
A Shape Analysis for Non-linear Data StructuresCherini, R. / Rearte, L. / Blanco, J. et al. | 2010
- 218
-
Modelling Metamorphism by Abstract InterpretationPreda, M.D. / Giacobazzi, R. / Debray, S. / Coogan, K. / Townsend, G.M. et al. | 2010
- 236
-
Small Formulas for Large Programs: On-Line Constraint Simplification in Scalable Static AnalysisDillig, I. / Dillig, T. / Aiken, A. et al. | 2010
- 253
-
Compositional Bitvector Analysis for Concurrent Programs with Nested LocksFarzan, A. / Kincaid, Z. et al. | 2010
- 271
-
Computing Relaxed Abstract Semantics w.r.t. Quadratic Zones PreciselyGawlitza, T.M. / Seidl, H. et al. | 2010
- 287
-
Boxes: A Symbolic Abstract Domain of BoxesGurfinkel, A. / Chaki, S. et al. | 2010
- 304
-
Alternation for TerminationHarris, W.R. / Lal, A. / Nori, A.V. / Rajamani, S.K. et al. | 2010
- 320
-
Interprocedural Analysis with Lazy PropagationJensen, S.H. / Moller, A. / Thiemann, P. et al. | 2010
- 340
-
Verifying a Local Generic Solver in CoqHofmann, M. / Karbyshev, A. / Seidl, H. et al. | 2010
- 356
-
Thread-Modular Counterexample-Guided Abstraction RefinementMalkis, A. / Podelski, A. / Rybalchenko, A. et al. | 2010
- 373
-
Generating Invariants for Non-linear Hybrid Systems by Linear Algebraic MethodsMatringe, N. / Moura, A.V. / Rebiha, R. et al. | 2010
- 390
-
Linear-Invariant Generation for Probabilistic Programs: Automated Support for Proof-Based MethodsKatoen, J.-P. / McIver, A.K. / Meinicke, L.A. / Morgan, C.C. et al. | 2010
- 407
-
Abstract Interpreters for FreeMight, M. et al. | 2010
- 422
-
Points-to Analysis as a System of Linear EquationsNasre, R. / Govindarajan, R. et al. | 2010
- 439
-
Strictness Meets Data FlowSchrijvers, T. / Mycroft, A. et al. | 2010
- 455
-
Automatic Verification of Determinism for Structured Parallel ProgramsVechev, M. / Yahav, E. / Raman, R. / Sarkar, V. et al. | 2010