Coverart for item
The Resource Static analysis : 20th International Symposium, SAS 2013, Seattle, WA, USA, June 20-22, 2013. Proceedings, Francesco Logozzo, Manuel Fähndrich (eds.), (electronic resource)

Static analysis : 20th International Symposium, SAS 2013, Seattle, WA, USA, June 20-22, 2013. Proceedings, Francesco Logozzo, Manuel Fähndrich (eds.), (electronic resource)

Label
Static analysis : 20th International Symposium, SAS 2013, Seattle, WA, USA, June 20-22, 2013. Proceedings
Title
Static analysis
Title remainder
20th International Symposium, SAS 2013, Seattle, WA, USA, June 20-22, 2013. Proceedings
Statement of responsibility
Francesco Logozzo, Manuel Fähndrich (eds.)
Title variation
SAS 2013
Creator
Contributor
Subject
Genre
Language
eng
Summary
This book constitutes the thoroughly refereed proceedings of the 20th International Symposium on Static Analysis, SAS 2013, held in Seattle, WA, USA, in June 2013. The 23 revised full papers presented together with 2 invited talks were selected from 56 submissions. The papers address all aspects of static analysis, including abstract domains, abstract interpretation, abstract testing, bug detection, data flow analysis, model checking, new applications, program transformation, program verification, security analysis, theoretical frameworks, and type checking
Member of
Cataloging source
GW5XE
Index
index present
Literary form
non fiction
Nature of contents
  • dictionaries
  • bibliography
Series statement
  • Lecture notes in computer science,
  • LNCS sublibrary. SL 2, Programming and software engineering
Series volume
7935
Label
Static analysis : 20th International Symposium, SAS 2013, Seattle, WA, USA, June 20-22, 2013. Proceedings, Francesco Logozzo, Manuel Fähndrich (eds.), (electronic resource)
Link
http://dx.doi.org/10.1007/978-3-642-38856-9
Instantiates
Publication
Note
  • International conference proceedings
  • Includes author index
Antecedent source
unknown
Bibliography note
With bibliogr. references and index
Carrier category
online resource
Carrier category code
cr
Carrier MARC source
rdacarrier
Color
multicolored
Content category
text
Content type code
txt
Content type MARC source
rdacontent
Contents
  • The Abstract Domain of Segmented Ranking Functions
  • Caterina Urban
  • Symbolic Automata for Static Specification Mining
  • Hila Peleg, Sharon Shoham, Eran Yahav, Hongseok Yang
  • Predicate Abstraction for Relaxed Memory Models
  • Andrei Marian Dan, Yuri Meshman, Martin Vechev, Eran Yahav
  • On Solving Universally Quantified Horn Clauses
  • Nikolaj Bjørner, Ken McMillan, Andrey Rybalchenko
  • From Concrete Examples to Heap Manipulating Programs
  • Subhajit Roy
  • Static Analysis by Abstract Interpretation of Numerical Programs and Systems, and FLUCTUAT
  • Local Shape Analysis for Overlaid Data Structures
  • Cezara Drăgoi, Constantin Enea, Mihaela Sighireanu
  • Quantified Data Automata on Skinny Trees: An Abstract Domain for Lists
  • Pranav Garg, P. Madhusudan, Gennaro Parlato
  • Static Validation of Dynamically Generated HTML Documents Based on Abstract Parsing and Semantic Processing
  • Hyunha Kim, Kyung-Goo Doh, David A. Schmidt --
  • Eric Goubault
  • Static Analysis in the Continuously Changing World
  • Sriram Sankaranarayanan
  • Abstract Interpretation over Non-lattice Abstract Domains
  • Graeme Gange, Jorge A. Navas, Peter Schachte, Harald Søndergaard
  • Localizing Widening and Narrowing
  • Gianluca Amato, Francesca Scozzari
  • Witnessing Program Transformations
  • Kedar S. Namjoshi, Lenore D. Zuck
  • Formal Verification of a C Value Analysis Based on Abstract Interpretation
  • Sandrine Blazy, Vincent Laporte, André Maroneze, David Pichardie
  • Efficient Generation of Correctness Certificates for the Abstract Domain of Polyhedra
  • Alexis Fouilhe, David Monniaux, Michaël Périn
  • Static Provenance Verification for Message Passing Programs
  • Rupak Majumdar, Roland Meyer, Zilong Wang
  • Verification as Learning Geometric Concepts
  • Rahul Sharma, Saurabh Gupta, Bharath Hariharan, Alex Aiken
  • Byte-Precise Verification of Low-Level List Manipulation
  • Interpolation-Based Verification of Floating-Point Programs with Abstract CDCL
  • Martin Brain, Vijay D'Silva, Alberto Griggio, Leopold Haller
  • Concise Analysis Using Implication Algebras for Task-Local Memory Optimisation
  • Leo White, Alan Mycroft
  • Automatic Verification of Erlang-Style Concurrency
  • Emanuele D'Osualdo, Jonathan Kochems, C. -H. Luke Ong
  • Contextual Locking for Dynamic Pushdown Networks
  • Peter Lammich, Markus Müller-Olm, Helmut Seidl, Alexander Wenner
  • Kamil Dudka, Petr Peringer, Tomáš Vojnar
  • Abstract Semantic Differencing for Numerical Programs
  • Nimrod Partush, Eran Yahav
  • Precise Slicing in Imperative Programs via Term-Rewriting and Abstract Interpretation
  • Raghavan Komondoor
  • Automatic Synthesis of Deterministic Concurrency
  • Veselin Raychev, Martin Vechev, Eran Yahav
Control code
ocn850932087
Dimensions
unknown
Extent
1 online resource.
File format
unknown
Form of item
online
Isbn
9783642388552
Isbn Type
(Print)
Level of compression
unknown
Media category
computer
Media MARC source
rdamedia
Media type code
c
Quality assurance targets
not applicable
Reformatting quality
unknown
Sound
unknown sound
Specific material designation
remote
System control number
(OCoLC)850932087
Label
Static analysis : 20th International Symposium, SAS 2013, Seattle, WA, USA, June 20-22, 2013. Proceedings, Francesco Logozzo, Manuel Fähndrich (eds.), (electronic resource)
Link
http://dx.doi.org/10.1007/978-3-642-38856-9
Publication
Note
  • International conference proceedings
  • Includes author index
Antecedent source
unknown
Bibliography note
With bibliogr. references and index
Carrier category
online resource
Carrier category code
cr
Carrier MARC source
rdacarrier
Color
multicolored
Content category
text
Content type code
txt
Content type MARC source
rdacontent
Contents
  • The Abstract Domain of Segmented Ranking Functions
  • Caterina Urban
  • Symbolic Automata for Static Specification Mining
  • Hila Peleg, Sharon Shoham, Eran Yahav, Hongseok Yang
  • Predicate Abstraction for Relaxed Memory Models
  • Andrei Marian Dan, Yuri Meshman, Martin Vechev, Eran Yahav
  • On Solving Universally Quantified Horn Clauses
  • Nikolaj Bjørner, Ken McMillan, Andrey Rybalchenko
  • From Concrete Examples to Heap Manipulating Programs
  • Subhajit Roy
  • Static Analysis by Abstract Interpretation of Numerical Programs and Systems, and FLUCTUAT
  • Local Shape Analysis for Overlaid Data Structures
  • Cezara Drăgoi, Constantin Enea, Mihaela Sighireanu
  • Quantified Data Automata on Skinny Trees: An Abstract Domain for Lists
  • Pranav Garg, P. Madhusudan, Gennaro Parlato
  • Static Validation of Dynamically Generated HTML Documents Based on Abstract Parsing and Semantic Processing
  • Hyunha Kim, Kyung-Goo Doh, David A. Schmidt --
  • Eric Goubault
  • Static Analysis in the Continuously Changing World
  • Sriram Sankaranarayanan
  • Abstract Interpretation over Non-lattice Abstract Domains
  • Graeme Gange, Jorge A. Navas, Peter Schachte, Harald Søndergaard
  • Localizing Widening and Narrowing
  • Gianluca Amato, Francesca Scozzari
  • Witnessing Program Transformations
  • Kedar S. Namjoshi, Lenore D. Zuck
  • Formal Verification of a C Value Analysis Based on Abstract Interpretation
  • Sandrine Blazy, Vincent Laporte, André Maroneze, David Pichardie
  • Efficient Generation of Correctness Certificates for the Abstract Domain of Polyhedra
  • Alexis Fouilhe, David Monniaux, Michaël Périn
  • Static Provenance Verification for Message Passing Programs
  • Rupak Majumdar, Roland Meyer, Zilong Wang
  • Verification as Learning Geometric Concepts
  • Rahul Sharma, Saurabh Gupta, Bharath Hariharan, Alex Aiken
  • Byte-Precise Verification of Low-Level List Manipulation
  • Interpolation-Based Verification of Floating-Point Programs with Abstract CDCL
  • Martin Brain, Vijay D'Silva, Alberto Griggio, Leopold Haller
  • Concise Analysis Using Implication Algebras for Task-Local Memory Optimisation
  • Leo White, Alan Mycroft
  • Automatic Verification of Erlang-Style Concurrency
  • Emanuele D'Osualdo, Jonathan Kochems, C. -H. Luke Ong
  • Contextual Locking for Dynamic Pushdown Networks
  • Peter Lammich, Markus Müller-Olm, Helmut Seidl, Alexander Wenner
  • Kamil Dudka, Petr Peringer, Tomáš Vojnar
  • Abstract Semantic Differencing for Numerical Programs
  • Nimrod Partush, Eran Yahav
  • Precise Slicing in Imperative Programs via Term-Rewriting and Abstract Interpretation
  • Raghavan Komondoor
  • Automatic Synthesis of Deterministic Concurrency
  • Veselin Raychev, Martin Vechev, Eran Yahav
Control code
ocn850932087
Dimensions
unknown
Extent
1 online resource.
File format
unknown
Form of item
online
Isbn
9783642388552
Isbn Type
(Print)
Level of compression
unknown
Media category
computer
Media MARC source
rdamedia
Media type code
c
Quality assurance targets
not applicable
Reformatting quality
unknown
Sound
unknown sound
Specific material designation
remote
System control number
(OCoLC)850932087

Library Locations

    • ERDC - Hanover (US Army Engineer Research and Development Center) Borrow it
      72 Lyme Road, Hanover, NH, 03755-1290, US
      43.7279642 -72.2684934
Processing Feedback ...