close
1.

図書

図書
Radhia Cousot, David A. Schmidt (eds.)
出版情報: Berlin : Springer, c1996  ix, 388 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1145
所蔵情報: loading…
2.

電子ブック

EB
Radhia Cousot, Takeo Kanade, Association for Computing Machinery-Digital Library., Association for Computing Machinery.
出版情報: Springer eBooks Computer Science , Springer Berlin / Heidelberg, 2005
所蔵情報: loading…
3.

電子ブック

EB
Radhia Cousot, Takeo Kanade, Matthieu Martel
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2010
所蔵情報: loading…
目次情報: 続きを見る
Time of Time (Invited Talk) / E. Allen Emerson
Static Verification for Code Contracts (Invited Talk) / Manuel Fähndrich
Translation Validation of Loop Optimizations and Software Pipelining in the TVOC Framework: In Memory of Amir Pnueli (Invited Talk) / Benjamin Goldberg
Size-Change Termination and Transition Invariants (Invited Talk) / Matthias Heizmann ; Neil D. Jones ; Andreas Podelski
Using Static Analysis in Space: Why Doing so? (Invited Talk) / David Lesens
Statically Inferring Complex Heap, Array, and Numeric Invariants (Invited Talk) / Bill McCloskey ; Thomas Reps ; Mooly Sagiv
From Object Fields to Local Variables: A Practical Approach to Field-Sensitive Analysis / Elvira Albert ; Puri Arenas ; Samir Genaim ; German Puebla ; Diana Vanessa Ramírez Deantes
Multi-dimensional Rankings, Program Termination, and Complexity Bounds of Flowchart Programs / Christophe Alias ; Alain Darte ; Paul Feautrier ; Laure Gonnord
Deriving Numerical Abstract Domains via Principal Component Analysis / Gianluca Amato ; Maurizio Parton ; Francesca Scozzari
Concurrent Separation Logic for Pipelined Parallelization / Christian J. Bell ; Andrew W. Appel ; David Walker
Automatic Abstraction for Intervals Using Boolean Formulae / Jörg Brauer ; Andy King
Interval Slopes as a Numerical Abstract Domain for Floating-Point Variables / Alexandre Chapoutot
A Shape Analysis for Non-linear Data Structures / Renato Cherini ; Lucas Rearte ; Javier Blanco
Modelling Metamorphism by Abstract Interpretation / Mila Dalla Preda ; Roberto Giacobazzi ; Saumya Debray ; Kevin Coogan ; Gregg M. Townsend
Small Formulas for Large Programs: On-Line Constraint Simplification in Scalable Static Analysis / Isil Dillig ; Thomas Dillig ; Alex Aiken
Compositional Bitvector Analysis for Concurrent Programs with Nested Locks / Azadeh Farzan ; Zachary Kincaid
Computing Relaxed Abstract Semantics w.r.t. Quadratic Zones Precisely / Thomas Martin Gawlitza ; Helmut Seidl
BOXES; A Symbolic Abstract Domain of Boxes / Arie Gurfinkel ; Sagar Chaki
Alternation for Termination / William R. Harris ; Akash Lal ; Aditya V. Nori ; Sriram K. Rajamani
Interprocedural Analysis with Lazy Propagation / Simon Holm Jensen ; Anders Møller ; Peter Thiemann
Verifying a Local Generic Solver in Coq / Martin Hofmann ; Aleksandr Karbyshev
Thread-Modular Counterexample-Guided Abstraction Refinement / Alexander Malkis ; Andrey Rybalchenko
Generating Invariants for Non-linear Hybrid Systems by Linear Algebraic Methods / Nadir Matringe ; Arnaldo Vieira Moura ; Rachid Rebiha
Linear-Invariant Generation for Probabilistic Programs: Automated Support for Proof-Based Methods / Joost-Pieter Katoen ; Annabelle K. McIver ; Larissa A. Meinicke ; Carroll C. Morgan
Abstract Interpreters for Free / Matthew Might
Points-to Analysis as a System of Linear Equations / Rupesh Nasre ; Ramaswamy Govindarajan
Strictness Meets Data Flow / Tom Schrijvers ; Alan Mycroft
Automatic Verification of Determinism for Structured Parallel Programs / Martin Vechev ; Eran Yahav ; Raghavan Raman ; Vivek Sarkar
Author Index
Time of Time (Invited Talk) / E. Allen Emerson
Static Verification for Code Contracts (Invited Talk) / Manuel Fähndrich
Translation Validation of Loop Optimizations and Software Pipelining in the TVOC Framework: In Memory of Amir Pnueli (Invited Talk) / Benjamin Goldberg
4.

電子ブック

EB
International Static Analysis Symposium, Radhia Cousot, Association for Computing Machinery-Digital Library.
出版情報: ACM Digital Library Proceedings , Springer Berlin Heidelberg, 2003
所蔵情報: loading…
5.

電子ブック

EB
Radhia Cousot, Takeo Kanade, Association for Computing Machinery-Digital Library., Association for Computing Machinery.
出版情報: ACM Digital Library Proceedings , Springer Berlin / Heidelberg, 2005
所蔵情報: loading…
6.

図書

図書
Radhia Cousot (ed.)
出版情報: Berlin ; Tokyo : Springer, c2003  xiv, 503 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2694
所蔵情報: loading…
7.

図書

図書
Radhia Cousot (ed.)
出版情報: Berlin : Springer, c2005  xi, 481 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 3385
所蔵情報: loading…
8.

電子ブック

EB
International Static Analysis Symposium, Radhia Cousot, Association for Computing Machinery-Digital Library.
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin Heidelberg, 2003
所蔵情報: loading…
9.

電子ブック

EB
Cousot, Radhia Cousot, David A. Schmidt
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin Heidelberg, 1996
所蔵情報: loading…
10.

電子ブック

EB
Radhia Cousot, Takeo Kanade, Matthieu Martel, Josef Kittler
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin Heidelberg, 2010
所蔵情報: loading…
目次情報: 続きを見る
Time of Time (Invited Talk) / E. Allen Emerson
Static Verification for Code Contracts (Invited Talk) / Manuel Fähndrich
Translation Validation of Loop Optimizations and Software Pipelining in the TVOC Framework: In Memory of Amir Pnueli (Invited Talk) / Benjamin Goldberg
Size-Change Termination and Transition Invariants (Invited Talk) / Matthias Heizmann ; Neil D. Jones ; Andreas Podelski
Using Static Analysis in Space: Why Doing so? (Invited Talk) / David Lesens
Statically Inferring Complex Heap, Array, and Numeric Invariants (Invited Talk) / Bill McCloskey ; Thomas Reps ; Mooly Sagiv
From Object Fields to Local Variables: A Practical Approach to Field-Sensitive Analysis / Elvira Albert ; Puri Arenas ; Samir Genaim ; German Puebla ; Diana Vanessa Ramírez Deantes
Multi-dimensional Rankings, Program Termination, and Complexity Bounds of Flowchart Programs / Christophe Alias ; Alain Darte ; Paul Feautrier ; Laure Gonnord
Deriving Numerical Abstract Domains via Principal Component Analysis / Gianluca Amato ; Maurizio Parton ; Francesca Scozzari
Concurrent Separation Logic for Pipelined Parallelization / Christian J. Bell ; Andrew W. Appel ; David Walker
Automatic Abstraction for Intervals Using Boolean Formulae / Jörg Brauer ; Andy King
Interval Slopes as a Numerical Abstract Domain for Floating-Point Variables / Alexandre Chapoutot
A Shape Analysis for Non-linear Data Structures / Renato Cherini ; Lucas Rearte ; Javier Blanco
Modelling Metamorphism by Abstract Interpretation / Mila Dalla Preda ; Roberto Giacobazzi ; Saumya Debray ; Kevin Coogan ; Gregg M. Townsend
Small Formulas for Large Programs: On-Line Constraint Simplification in Scalable Static Analysis / Isil Dillig ; Thomas Dillig ; Alex Aiken
Compositional Bitvector Analysis for Concurrent Programs with Nested Locks / Azadeh Farzan ; Zachary Kincaid
Computing Relaxed Abstract Semantics w.r.t. Quadratic Zones Precisely / Thomas Martin Gawlitza ; Helmut Seidl
BOXES; A Symbolic Abstract Domain of Boxes / Arie Gurfinkel ; Sagar Chaki
Alternation for Termination / William R. Harris ; Akash Lal ; Aditya V. Nori ; Sriram K. Rajamani
Interprocedural Analysis with Lazy Propagation / Simon Holm Jensen ; Anders Møller ; Peter Thiemann
Verifying a Local Generic Solver in Coq / Martin Hofmann ; Aleksandr Karbyshev
Thread-Modular Counterexample-Guided Abstraction Refinement / Alexander Malkis ; Andrey Rybalchenko
Generating Invariants for Non-linear Hybrid Systems by Linear Algebraic Methods / Nadir Matringe ; Arnaldo Vieira Moura ; Rachid Rebiha
Linear-Invariant Generation for Probabilistic Programs: Automated Support for Proof-Based Methods / Joost-Pieter Katoen ; Annabelle K. McIver ; Larissa A. Meinicke ; Carroll C. Morgan
Abstract Interpreters for Free / Matthew Might
Points-to Analysis as a System of Linear Equations / Rupesh Nasre ; Ramaswamy Govindarajan
Strictness Meets Data Flow / Tom Schrijvers ; Alan Mycroft
Automatic Verification of Determinism for Structured Parallel Programs / Martin Vechev ; Eran Yahav ; Raghavan Raman ; Vivek Sarkar
Author Index
Time of Time (Invited Talk) / E. Allen Emerson
Static Verification for Code Contracts (Invited Talk) / Manuel Fähndrich
Translation Validation of Loop Optimizations and Software Pipelining in the TVOC Framework: In Memory of Amir Pnueli (Invited Talk) / Benjamin Goldberg
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼