A Type System for Amortised Heap-Space Analysis of Object-Oriented Programs.

Dulma Rodriguez

Published in: AlgoSyn (2010)

Keyphrases

databases
statistical analysis
database systems
impact analysis