Login / Signup

Space consumption analysis by abstract interpretation: Reductivity properties.

Manuel MontenegroRicardo PeñaClara Segura
Published in: Sci. Comput. Program. (2015)
Keyphrases
  • abstract interpretation
  • object oriented
  • termination analysis
  • data analysis
  • fine grained