A combination framework for tracking partition sizes

DOI10.1145/1480881.1480912zbMATH Open1315.68094OpenAlexW2139401046MaRDI QIDQ5261520FDOQ5261520

Authors: Sumit Gulwani, Tal Lev-Ami, Mooly Sagiv 

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

Recommendations

• Programming Languages and Systems
• Generic combination of heap and value analyses in abstract interpretation
• Static Analysis
• A space consumption analysis by abstract interpretation
• A generic framework for heap and value analyses of object-oriented programming languages

zbMATH Keywords

shape analysisnumerical analysisterminationmemory safetyspace boundscombining analysesset analysis

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Semantics in the theory of computing (68Q55)

Cited In (10)

• Loop summarization using state and transition invariants
• Combining Model Checking and Data-Flow Analysis
• Invariants Synthesis over a Combined Domain for Automated Program Verification
• Region Analysis for Race Detection
• Verification of multi-linked heaps
• Complexity and resource bound analysis of imperative programs using difference constraints
• Abstract domains for automated reasoning about list-manipulating programs with infinite data
• Speeding up polyhedral analysis by identifying common constraints
• Sets with cardinality constraints in satisfiability modulo theories
• Programming Languages and Systems

Uses Software

• CSSV

This page was built for publication: A combination framework for tracking partition sizes

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5261520)