• search
    search
  • reviewers
    reviewers
  • feeds
    feeds
  • assignments
    assignments
  • settings
  • logout

COSTA: Design and Implementation of a Cost and Termination Analyzer for Java Bytecode.

Elvira AlbertPuri ArenasSamir GenaimGerman PueblaDamiano Zanardini
Published in: FMCO (2007)
Keyphrases
  • databases
  • high level
  • response time
  • efficient implementation
  • control structure