A combination framework for tracking partition sizes
From MaRDI portal
Publication:5261520
DOI10.1145/1480881.1480912zbMath1315.68094OpenAlexW2139401046MaRDI 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
Semantics in the theory of computing (68Q55) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)
Related Items (9)
Abstract Domains for Automated Reasoning about List-Manipulating Programs with Infinite Data ⋮ Combining Model Checking and Data-Flow Analysis ⋮ Complexity and resource bound analysis of imperative programs using difference constraints ⋮ Verification of multi-linked heaps ⋮ Loop summarization using state and transition invariants ⋮ Sets with Cardinality Constraints in Satisfiability Modulo Theories ⋮ Speeding up Polyhedral Analysis by Identifying Common Constraints ⋮ Region Analysis for Race Detection ⋮ Invariants Synthesis over a Combined Domain for Automated Program Verification
Uses Software
This page was built for publication: A combination framework for tracking partition sizes
