Personal tools
You are here: Home Papers


The following papers and manuscripts are referred to RAJA.

Martin Hofmann and Steffen Jost. Type-based amortised heap space analysis (for an object-oriented language). In Peter Sestoft, editor, Proceedings of the 15th European Symposium on Programming (ESOP), Programming Languages and Systems, 2006. [pdf]
Martin Hofmann, Steffen Jost and Dulma Rodriguez. Type-Based Amortised Heap Space Analysis. (Complete Soundness Proof). Unpublished manuscript, LMU 2009. [pdf]

[HR09]: Martin Hofmann and Dulma Rodriguez. Efficient Type-Checking for Amortised Heap-Space Analysis.  In CSL: 18th EACSL Annual Conference on Computer Science Logic. LNCS, Springer-Verlag, 2009. [pdf]
Document Actions