Synchronized Pushdown Systems for Pointer and Data-Flow Analysis (PhD Dissertation)

Type
Conference paper
Date
Links
PDF
Avatar
Johannes Späth
Researcher of Program Analysis