Static analysis : 20th International Symposium, SAS 2013, Seattle, WA, USA, June 20-22, 2013. Proceedings / Francesco Logozzo, Manuel Fähndrich (eds.)
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...
Saved in:
Online Access: |
Full Text (via Springer) |
---|---|
Corporate Author: | |
Other Authors: | , |
Other title: | SAS 2013. |
Format: | Conference Proceeding eBook |
Language: | English |
Published: |
Berlin ; New York :
Springer,
©2013.
|
Series: | Lecture notes in computer science ;
7935. LNCS sublibrary. Programming and software engineering. |
Subjects: |
MARC
LEADER | 00000cam a2200000xi 4500 | ||
---|---|---|---|
001 | b7425445 | ||
006 | m o d | ||
007 | cr ||||||||||| | ||
008 | 130626s2013 gw a ob 101 0 eng d | ||
005 | 20240418145133.7 | ||
019 | |a 849718266 | ||
020 | |a 9783642388569 |q (electronic bk.) | ||
020 | |a 3642388566 |q (electronic bk.) | ||
020 | |z 3642388558 |q (Print) | ||
020 | |z 9783642388552 |q (Print) | ||
020 | |z 9783642388552 | ||
024 | 7 | |a 10.1007/978-3-642-38856-9 | |
035 | |a (OCoLC)spr850932087 | ||
035 | |a (OCoLC)850932087 |z (OCoLC)849718266 | ||
037 | |a spr10.1007/978-3-642-38856-9 | ||
040 | |a GW5XE |b eng |e rda |e pn |c GW5XE |d NLGGC |d OCLCO |d YDXCP |d COO |d OCLCQ |d NAM |d A7U |d ZMC |d OHS |d OCLCF |d VLB |d OCLCO |d GW5XE |d OCLCQ |d OCLCO |d OCL |d OCLCO |d EBLCP |d OCLCQ |d OCLCO |d DIBIB |d OCLCO |d YDX | ||
049 | |a GWRE | ||
050 | 4 | |a QA76.6 |b .I58 2013 | |
111 | 2 | |a International Static Analysis Symposium |n (20th : |d 2013 : |c Seattle, Wash.) |0 http://id.loc.gov/authorities/names/nb2013013938. | |
245 | 1 | 0 | |a Static analysis : |b 20th International Symposium, SAS 2013, Seattle, WA, USA, June 20-22, 2013. Proceedings / |c Francesco Logozzo, Manuel Fähndrich (eds.) |
246 | 3 | |a SAS 2013. | |
260 | |a Berlin ; |a New York : |b Springer, |c ©2013. | ||
300 | |a 1 online resource (x, 498 pages) : |b illustrations (black and white) | ||
336 | |a text |b txt |2 rdacontent. | ||
337 | |a computer |b c |2 rdamedia. | ||
338 | |a online resource |b cr |2 rdacarrier. | ||
490 | 1 | |a Lecture notes in computer science, |x 0302-9743 ; |v 7935. | |
490 | 1 | |a LNCS sublibrary. SL 2, Programming and software engineering. | |
505 | 0 | 0 | |t Static Analysis by Abstract Interpretation of Numerical Programs and Systems, and FLUCTUAT / |r Eric Goubault -- |t Static Analysis in the Continuously Changing World / |r Sriram Sankaranarayanan -- |t Abstract Interpretation over Non-lattice Abstract Domains / |r Graeme Gange, Jorge A. Navas, Peter Schachte, Harald Søndergaard -- |t Localizing Widening and Narrowing / |r Gianluca Amato, Francesca Scozzari --The |t Abstract Domain of Segmented Ranking Functions / |r Caterina Urban -- |t Symbolic Automata for Static Specification Mining / |r Hila Peleg, Sharon Shoham, Eran Yahav, Hongseok Yang -- |t Predicate Abstraction for Relaxed Memory Models / |r Andrei Marian Dan, Yuri Meshman, Martin Vechev, Eran Yahav -- |t On Solving Universally Quantified Horn Clauses / |r Nikolaj Bjørner, Ken McMillan, Andrey Rybalchenko -- |t From Concrete Examples to Heap Manipulating Programs / |r Subhajit Roy -- |t Local Shape Analysis for Overlaid Data Structures / |r Cezara Drăgoi, Constantin Enea, Mihaela Sighireanu -- |t Quantified Data Automata on Skinny Trees: An Abstract Domain for Lists / |r Pranav Garg, P. Madhusudan, Gennaro Parlato -- |t Static Validation of Dynamically Generated HTML Documents Based on Abstract Parsing and Semantic Processing / |r Hyunha Kim, Kyung-Goo Doh, David A. Schmidt. |
505 | 8 | 0 | |t Byte-Precise Verification of Low-Level List Manipulation / |r Kamil Dudka, Petr Peringer, Tomáš Vojnar -- |t Abstract Semantic Differencing for Numerical Programs / |r Nimrod Partush, Eran Yahav -- |t Precise Slicing in Imperative Programs via Term-Rewriting and Abstract Interpretation / |r Raghavan Komondoor -- |t Automatic Synthesis of Deterministic Concurrency / |r Veselin Raychev, Martin Vechev, Eran Yahav -- |t Witnessing Program Transformations / |r Kedar S. Namjoshi, Lenore D. Zuck -- |t Formal Verification of a C Value Analysis Based on Abstract Interpretation / |r Sandrine Blazy, Vincent Laporte, André Maroneze, David Pichardie -- |t Efficient Generation of Correctness Certificates for the Abstract Domain of Polyhedra / |r Alexis Fouilhe, David Monniaux, Michaël Périn -- |t Static Provenance Verification for Message Passing Programs / |r Rupak Majumdar, Roland Meyer, Zilong Wang -- |t Verification as Learning Geometric Concepts / |r Rahul Sharma, Saurabh Gupta, Bharath Hariharan, Alex Aiken -- |t Interpolation-Based Verification of Floating-Point Programs with Abstract CDCL / |r Martin Brain, Vijay D'Silva, Alberto Griggio, Leopold Haller -- |t Concise Analysis Using Implication Algebras for Task-Local Memory Optimisation / |r Leo White, Alan Mycroft -- |t Automatic Verification of Erlang-Style Concurrency / |r Emanuele D'Osualdo, Jonathan Kochems, C.-H. Luke Ong -- |t Contextual Locking for Dynamic Pushdown Networks / |r Peter Lammich, Markus Müller-Olm, Helmut Seidl, Alexander Wenner. |
500 | |a International conference proceedings. | ||
500 | |a Includes author index. | ||
504 | |a With bibliogr. references and index. | ||
520 | |a 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. | ||
650 | 0 | |a Computer programming |v Congresses. |0 http://id.loc.gov/authorities/subjects/sh2007004295. | |
650 | 0 | |a Software engineering |v Congresses. |0 http://id.loc.gov/authorities/subjects/sh2008111658. | |
650 | 7 | |a Computer programming. |2 fast |0 (OCoLC)fst00872390. | |
650 | 7 | |a Software engineering. |2 fast |0 (OCoLC)fst01124185. | |
655 | 7 | |a Conference papers and proceedings. |2 fast |0 (OCoLC)fst01423772. | |
700 | 1 | |a Logozzo, Francesco, |e editor. |0 http://id.loc.gov/authorities/names/nb2008006352 |1 http://isni.org/isni/0000000358712353. | |
700 | 1 | |a Fähndrich, Manuel, |e editor. |0 http://id.loc.gov/authorities/names/nb2013013947 |1 http://isni.org/isni/0000000410242337. | |
776 | 0 | 8 | |i Print version: International Static Analysis Symposium (20th : 2013 : Seattle, Wash.). |t Static analysis. |d Heidelberg : Springer, [2013] |z 9783642388552 |w (OCoLC)852805528. |
830 | 0 | |a Lecture notes in computer science ; |v 7935. |0 http://id.loc.gov/authorities/names/n42015162. | |
830 | 0 | |a LNCS sublibrary. |n SL 2, |p Programming and software engineering. |0 http://id.loc.gov/authorities/names/no2007033954. | |
856 | 4 | 0 | |u https://colorado.idm.oclc.org/login?url=http://link.springer.com/10.1007/978-3-642-38856-9 |z Full Text (via Springer) |
907 | |a .b74254455 |b 05-23-21 |c 07-18-13 | ||
998 | |a web |b 05-01-17 |c g |d b |e - |f eng |g gw |h 0 |i 1 | ||
907 | |a .b74254455 |b 07-02-19 |c 07-18-13 | ||
944 | |a MARS - RDA ENRICHED | ||
907 | |a .b74254455 |b 07-06-17 |c 07-18-13 | ||
907 | |a .b74254455 |b 05-23-17 |c 07-18-13 | ||
915 | |a I | ||
956 | |a Springer e-books | ||
956 | |b Springer Nature - Springer Computer Science eBooks 2013 English International | ||
956 | |b Springer Nature - Springer Computer Science eBooks 2013 English International | ||
999 | f | f | |i 02d84671-908d-59b8-9ff2-e52ffcd23f28 |s 29e70f3c-0326-5ca1-8254-7af7c72fdeb7 |
952 | f | f | |p Can circulate |a University of Colorado Boulder |b Online |c Online |d Online |e QA76.6 .I58 2013 |h Library of Congress classification |i Ebooks, Prospector |n 1 |