A Modular Framework for Stack-Heap and Value Abstractions (Extended Version) | Digital Library | PAMCET

A Modular Framework for Stack-Heap and Value Abstractions (Extended Version) | Digital Library | PAMCET | PAMCET