Tuan-Hung Pham, Anh-Hoang Truong, Ninh-Thuan Truong, Wei-Ngan Chin. A Fast Algorithm to Compute Heap Memory Bounds of Java Card Applets. In Antonio Cerone, Stefan Gruner, editors, Sixth IEEE International Conference on Software Engineering and Formal Methods, SEFM 2008, Cape Town, South Africa, 10-14 November 2008. pages 259-267, IEEE Computer Society, 2008. [doi]
Abstract is missing.