Login / Signup

TSL: A System for Generating Abstract Interpreters and its Application to Machine-Code Analysis.

Junghee LimThomas 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