Login / Signup
TSL: A System for Generating Abstract Interpreters and its Application to Machine-Code Analysis.
Junghee Lim
Thomas W. Reps
Published in:
ACM Trans. Program. Lang. Syst. (2013)
Keyphrases
</>
case study
three dimensional
data analysis
lower bound
source code
statistical analysis
quantitative analysis
information systems
image processing
description language