L. Negrini

A Modular Framework for Stack-Heap and Value Abstractions (Extended Version)

Advanced static program analysis requires reasoning on the semantics of non-trivial program behaviors (e.g., pointers and complex data structures such as lists and sets, functions, and objects) and how they affect the memory. In most programming languages, static and dynamic allocations are typically managed by the sta...