A combination framework for tracking partition sizes
From MaRDI portal
Publication:5261520
DOI10.1145/1480881.1480912zbMath1315.68094MaRDI QIDQ5261520
Tal Lev-Ami, Mooly Sagiv, Sumit Gulwani
Publication date: 3 July 2015
Published in: Proceedings of the 36th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1145/1480881.1480912
termination; numerical analysis; shape analysis; memory safety; space bounds; combining analyses; set analysis
68Q55: Semantics in the theory of computing
68N30: Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.)
Related Items
Verification of multi-linked heaps, Loop summarization using state and transition invariants, Complexity and resource bound analysis of imperative programs using difference constraints, Speeding up Polyhedral Analysis by Identifying Common Constraints, Invariants Synthesis over a Combined Domain for Automated Program Verification, Abstract Domains for Automated Reasoning about List-Manipulating Programs with Infinite Data, Sets with Cardinality Constraints in Satisfiability Modulo Theories, Combining Model Checking and Data-Flow Analysis, Region Analysis for Race Detection
Uses Software