Static analysis : 23rd International Symposium, SAS 2016, Edinburgh, UK, September 8-10, 2016, proceedings /: 23rd International Symposium, SAS 2016, Edinburgh, UK, September 8-10, 2016, proceedings. (2016)

• Record Type: Book
• Further Information: Note: Xavier Rival (ed.).
• Editors: Rival, Xavier
• Other Names: International Static Analysis Symposium, 23rd
• Contents: Quantitative Monitor Automata -- The Julia Static Analyzer for Java -- Automated Verification of Linearization Policies -- Structure-Sensitive Points-To Analysis for C and C -- Bounded Abstract Interpretation -- Completeness in Approximate Transduction -- Relational Verification through Horn clause transformation -- Securing A Compiler Transformation -- Exploiting sparsity in difference-bound matrices -- Flow- and Context-Sensitive Points-to Analysis using Generalized Points-to Graphs -- Learning a Variable-Clustering Strategy for Octagon From Labeled Data Generated by a Static Analysis -- Static Analysis by Abstract Interpretation of the Functional Correctness of Matrix Manipulating Program -- Generalized Homogeneous Polynomials for Efficient Template-Based Nonlinear Invariant -- On the linear ranking problem for simple floating-point loops -- Alive-FP: Automated Verification of Floating Point Based Peephole Optimizations in LLVM -- A Parametric Abstract Domain for Lattice-Valued Regular Expressions -- Cell morphing: from array programs to array-free Horn clauses -- Loopy: Programmable and Formally Verified Loop Transformations -- Abstract Interpretation of Supermodular Games -- Validating Numerical Semidefinite Programming Solvers for Polynomial Invariants -- Enforcing Termination of Interprocedural Analysis -- From Array Domains to Abstract Interpretation under Store-Buffer-Based Memory Models -- Making k-Object-Sensitive Pointer Analysis More Precise with Still k-Limiting.
• Publisher Details: Berlin, Germany : Springer
• Publication Date: 2016
• Extent: 1 online resource
• Subjects: 005.1; Computer programming -- Congresses; Software engineering -- Congresses; Computer programming; Software engineering; Computer Science; Algorithm Analysis and Problem Complexity; Logics and Meanings of Programs; Software Engineering; Programming Languages, Compilers, Interpreters; Mathematical Logic and Formal Languages; Electronic books; Conference papers and proceedings
• Languages: English
• ISBNs: 9783662534137; 3662534134
• Related ISBNs: 9783662534120; 3662534126
• Notes: Note: Online resource; title from PDF title page (SpringerLink, viewed September 13, 2016).
• Access Rights: Legal Deposit; Only available on premises controlled by the deposit library and to one user at any one time; The Legal Deposit Libraries (Non-Print Works) Regulations (UK).
• Access Usage: Restricted: Printing from this resource is governed by The Legal Deposit Libraries (Non-Print Works) Regulations (UK) and UK copyright law currently in force.