Programming Languages and Systems (TOPLAS)


Search Issue
enter search term and/or author name


ACM Transactions on Programming Languages and Systems (TOPLAS), Volume 32 Issue 1, October 2009

Dependence clusters in source code
Mark Harman, David Binkley, Keith Gallagher, Nicolas Gold, Jens Krinke
Article No.: 1
DOI: 10.1145/1596527.1596528

A dependence cluster is a set of program statements, all of which are mutually inter-dependent. This article reports a large scale empirical study of dependence clusters in C program source code. The study reveals that large dependence clusters...

Parametric polymorphism for XML
Haruo Hosoya, Alain Frisch, Giuseppe Castagna
Article No.: 2
DOI: 10.1145/1596527.1596529

Despite the extensiveness of recent investigations on static typing for XML, parametric polymorphism has rarely been treated. This well-established typing discipline can also be useful in XML processing in particular for programs involving...

An experimental analysis of self-adjusting computation
Umut A. Acar, Guy E. Blelloch, Matthias Blume, Robert Harper, Kanat Tangwongsan
Article No.: 3
DOI: 10.1145/1596527.1596530

Recent work on adaptive functional programming (AFP) developed techniques for writing programs that can respond to modifications to their data by performing change propagation. To achieve this, executions of programs are represented with...