Login / Signup

Space consumption analysis by abstract interpretation: Inference of recursive functions.

Manuel MontenegroRicardo PeñaClara Segura
Published in: Sci. Comput. Program. (2015)
Keyphrases
  • abstract interpretation
  • recursive functions
  • static analysis
  • database
  • databases
  • high level