Q: How can I predict the heap usage of a Java function?
A: Be sure to have the Costa plugin installed (see next question).
Q: How do I install the Costa plugin?
Q: How do I install the ResAna plugin?
Lecture about Costa
Lecture about Ranking Functions (continuation of previous lecture)
Lecture about Heap and Stack Bounds
Lecture about ResAna: Test-Based Inference of Polynomial Ranking Functions for Loops