A Framework for Memory Efficient Context-Sensitive Program Analysis

Mathias Hedenborg, Jonas Lundberg, Welf Löwe, Martin Trapp 0002. A Framework for Memory Efficient Context-Sensitive Program Analysis. Theory Comput. Syst., 66(5):911-956, 2022. [doi]

Abstract

Abstract is missing.