ResAna: a resource analysis toolset for (real-time) JAVA

Rody W. J. Kersten*, Bernard E. van Gastel, Olha Shkaravska, Manuel Montenegro, Marko C. J. D. van Eekelen

*Corresponding author for this work

Research output: Contribution to journalArticlepeer-review

Original languageEnglish
Pages (from-to)2432-2455
Number of pages24
JournalConcurrency and Computation-practice & Experience
Volume26
Issue number14
Early online date8 Oct 2013
DOIs
Publication statusPublished - 25 Sep 2014

Keywords

  • resource analysis
  • polynomial interpolation
  • ranking function
  • loop bounds
  • heap bounds
  • stack bounds
  • FUNCTIONAL PROGRAMS
  • BOUND ANALYSIS
  • INFERENCE

Fingerprint

Dive into the research topics of 'ResAna: a resource analysis toolset for (real-time) JAVA'. Together they form a unique fingerprint.

Cite this