Programming Languages and Systems (TOPLAS)


Search Issue
enter search term and/or author name


ACM Transactions on Programming Languages and Systems (TOPLAS), Volume 31 Issue 6, August 2009

Program locality analysis using reuse distance
Yutao Zhong, Xipeng Shen, Chen Ding
Article No.: 20
DOI: 10.1145/1552309.1552310

On modern computer systems, the memory performance of an application depends on its locality. For a single execution, locality-correlated measures like average miss rate or working-set size have long been analyzed using reuse...

From datalog rules to efficient programs with time and space guarantees
Yanhong A. Liu, Scott D. Stoller
Article No.: 21
DOI: 10.1145/1552309.1552311

This article describes a method for transforming any given set of Datalog rules into an efficient specialized implementation with guaranteed worst-case time and space complexities, and for computing the complexities from the rules. The running...

Self-stabilization preserving compiler
Shlomi Dolev, Yinnon Haviv, Mooly Sagiv
Article No.: 22
DOI: 10.1145/1552309.1552312

Self-stabilization is an elegant approach for designing fault tolerant systems. A system is considered self-stabilizing if, starting in any state, it converges to the desired behavior. Self-stabilizing algorithms were designed for solving...

Local policies for resource usage analysis
Massimo Bartoletti, Pierpaolo Degano, Gian-Luigi Ferrari, Roberto Zunino
Article No.: 23
DOI: 10.1145/1552309.1552313

An extension of the λ-calculus is proposed, to study resource usage analysis and verification. It features usage policies with a possibly nested, local scope, and dynamic creation of resources. We define a type and effect system that, given...