Login / Signup

Combining Abstract Interpretation and ILP for Microarchitecture Modelling and Program Path Analysis.

Henrik TheilingChristian Ferdinand
Published in: RTSS (1998)
Keyphrases
  • static analysis
  • abstract interpretation
  • termination analysis
  • data analysis
  • database
  • software engineering
  • shortest path