Parametric shape analysis via 3-valued logic
Sagiv, Mooly, Reps, Thomas, Wilhelm, ReinhardVolume:
24
Language:
english
Journal:
ACM Transactions on Programming Languages and Systems
DOI:
10.1145/514188.514190
Date:
May, 2002
File:
PDF, 1.05 MB
english, 2002