Sign in

User-Definable Resource Usage Bounds Analysis for Java Bytecode.

Jorge A. NavasMario Méndez-LojoManuel V. Hermenegildo
Published in: Electron. Notes Theor. Comput. Sci. (2009)
Keyphrases
  • resource usage
  • real time
  • high level
  • databases
  • data analysis
  • main memory