English
Static Analysis
Overview of attention for book
Table of Contents
-
Altmetric BadgeBook Overview
-
Altmetric BadgeChapter 1 Static Analysis of Non-interference in Expressive Low-Level Languages
-
Altmetric BadgeChapter 2 Static Analysis with Set-Closure in Secrecy
-
Altmetric BadgeChapter 3 A Binary Decision Tree Abstract Domain Functor
-
Altmetric BadgeChapter 4 Precise Data Flow Analysis in the Presence of Correlated Method Calls
-
Altmetric BadgeChapter 5 May-Happen-in-Parallel Analysis for Asynchronous Programs with Inter-Procedural Synchronization
-
Altmetric BadgeChapter 6 Shape Analysis for Unstructured Sharing
-
Altmetric BadgeChapter 7 Synthesizing Heap Manipulations via Integer Linear Programming
-
Altmetric BadgeChapter 8 Explaining the Effectiveness of Small Refinement Heuristics in Program Verification with CEGAR
-
Altmetric BadgeChapter 9 Safety Verification and Refutation by k-Invariants and k-Induction
-
Altmetric BadgeChapter 10 Effective Soundness-Guided Reflection Analysis
-
Altmetric BadgeChapter 11 SJS: A Type System for JavaScript with Fixed Object Layout
-
Altmetric BadgeChapter 12 Refinement Type Inference via Horn Constraint Optimization
-
Altmetric BadgeChapter 13 A Simple Abstraction of Arrays and Maps by Program Translation
-
Altmetric BadgeChapter 14 Property-based Polynomial Invariant Generation Using Sums-of-Squares Optimization
-
Altmetric BadgeChapter 15 Modularity in Lattices: A Case Study on the Correspondence Between Top-Down and Bottom-Up Analysis
-
Altmetric BadgeChapter 16 Parallel Cost Analysis of Distributed Systems
-
Altmetric BadgeChapter 17 A Forward Analysis for Recurrent Sets
-
Altmetric BadgeChapter 18 Unbounded-Time Analysis of Guarded LTI Systems with Inputs by Abstract Acceleration
Altmetric Badge
Readers on
- mendeley
- 15 Mendeley