ACM DL

Programming Languages and Systems (TOPLAS)

Menu

Search Issue
enter search term and/or author name

Archive


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...