Calling context abstraction with shapes

DOI10.1145/1926385.1926406MaRDI QIDQ5408542zbMATH OpenOpenAlexFDO

Authors Xavier Rival, Bor-Yuh Evan Chang

Publication date 10 April 2014

Published in Proceedings of the 38th 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/1926385.1926406

zbMATH Keywords

calling contextcontext-sensitivityinductive definitionsinterprocedural analysisseparation logicshape analysissymbolic abstract domain

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Recommendations

• Interprocedural Shape Analysis with Separated Heap Abstractions
• Static Analysis
• Static Analysis
• scientific article; zbMATH DE number 1693492
• Algebraic Methodology and Software Technology

Cited in

(7)

• Interprocedural shape analysis using separation logic-based transformer summaries
• Disjunctive relational abstract interpretation for interprocedural program analysis
• Invariants synthesis over a combined domain for automated program verification
• Abstract domains for automated reasoning about list-manipulating programs with infinite data
• Interprocedural shape analysis for effectively cutpoint-free programs
• Algebraic Methodology and Software Technology
• Context-sensitive analysis without calling-context

This page was built for publication: Calling context abstraction with shapes

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