Programming Languages and Systems (TOPLAS)


Search Issue
enter search term and/or author name


ACM Transactions on Programming Languages and Systems (TOPLAS), Volume 28 Issue 5, September 2006

Variant parametric types: A flexible subtyping scheme for generics
Atsushi Igarashi, Mirko Viroli
Pages: 795-847
DOI: 10.1145/1152649.1152650
We develop the mechanism of variant parametric types as a means to enhance synergy between parametric and inclusion polymorphism in object-oriented programming languages. Variant parametric types are used to control both the subtyping between...

An algebraic array shape inference system for MATLAB®
Pramod G. Joisha, Prithviraj Banerjee
Pages: 848-907
DOI: 10.1145/1152649.1152651
The problem of inferring array shapes ahead of time in languages that exhibit both implicit and dynamic typing is a critical one because the ramifications of its solution are the better organization of array storage through compaction and reuse, and...

Controlling garbage collection and heap growth to reduce the execution time of Java applications
Tim Brecht, Eshrat Arjomandi, Chang Li, Hang Pham
Pages: 908-941
DOI: 10.1145/1152649.1152652
In systems that support garbage collection, a tension exists between collecting garbage too frequently and not collecting it frequently enough. Garbage collection that occurs too frequently may introduce unnecessary overheads at the risk of not...

Exploiting reference idempotency to reduce speculative storage overflow
Seon Wook Kim, Chong-Liang Ooi, Rudolf Eigenmann, Babak Falsafi, T. N. Vijaykumar
Pages: 942-965
DOI: 10.1145/1152649.1152653
Recent proposals for multithreaded architectures employ speculative execution to allow threads with unknown dependences to execute speculatively in parallel. The architectures use hardware speculative storage to buffer speculative data, track data...