Programming Languages and Systems (TOPLAS)


Search Issue
enter search term and/or author name


ACM Transactions on Programming Languages and Systems (TOPLAS), Volume 27 Issue 6, November 2005

Dynamic software updating
Michael Hicks, Scott Nettles
Pages: 1049-1096
DOI: 10.1145/1108970.1108971
Many important applications must run continuously and without interruption, and yet also must be changed to fix bugs or upgrade functionality. No prior general-purpose methodology for dynamic updating achieves a practical balance between flexibility,...

A parallel, incremental, mostly concurrent garbage collector for servers
Katherine Barabash, Ori Ben-Yitzhak, Irit Goft, Elliot K. Kolodner, Victor Leikehman, Yoav Ossia, Avi Owshanko, Erez Petrank
Pages: 1097-1146
DOI: 10.1145/1108970.1108972
Multithreaded applications with multigigabyte heaps running on modern servers provide new challenges for garbage collection (GC). The challenges for “server-oriented” GC include: ensuring short pause times on a multigigabyte heap while...

Termination analysis and specialization-point insertion in offline partial evaluation
Arne John Glenstrup, Neil D. Jones
Pages: 1147-1215
DOI: 10.1145/1108970.1108973
Recent research suggests that the goal of fully automatic and reliable program generation for a broad range of applications is coming nearer to feasibility. However, several interesting and challenging problems remain to be solved before it becomes a...

A theory of overloading
Peter J. Stuckey, Martin Sulzmann
Pages: 1216-1269
DOI: 10.1145/1108970.1108974
We present a novel approach to allow for overloading of identifiers in the spirit of type classes. Our approach relies on a combination of the HM(X) type system framework with Constraint Handling Rules (CHRs). CHRs are a declarative language for...

Implicit-signal monitors
Peter A. Buhr, Ashif S. Harji
Pages: 1270-1343
DOI: 10.1145/1108970.1108975
An implicit (automatic) signal monitor uses a waituntil predicate statement to construct synchronization, as opposed to an explicit-signal monitor using condition variables and signal/wait statements for synchronization. Of the...

Birrell's distributed reference listing revisited
Luc Moreau, Peter Dickman, Richard Jones
Pages: 1344-1395
DOI: 10.1145/1108970.1108976
The Java RMI collector is arguably the most widely used distributed garbage collector. Its distributed reference listing algorithm was introduced by Birrell et al. in the context of Network Objects, where the description was informal and heavily...