Programming Languages and Systems (TOPLAS)


Search Issue
enter search term and/or author name


ACM Transactions on Programming Languages and Systems (TOPLAS), Volume 35 Issue 1, April 2013

Jens Palsberg
Article No.: 1
DOI: 10.1145/2450136.2450141

Mixin’ Up the ML Module System
Andreas Rossberg, Derek Dreyer
Article No.: 2
DOI: 10.1145/2450136.2450137

ML modules provide hierarchical namespace management, as well as fine-grained control over the propagation of type information, but they do not allow modules to be broken up into mutually recursive, separately compilable components. Mixin modules...

A Transformation Framework for Optimizing Task-Parallel Programs
V. Krishna Nandivada, Jun Shirako, Jisheng Zhao, Vivek Sarkar
Article No.: 3
DOI: 10.1145/2450136.2450138

Task parallelism has increasingly become a trend with programming models such as OpenMP 3.0, Cilk, Java Concurrency, X10, Chapel and Habanero-Java (HJ) to address the requirements of multicore programmers. While task parallelism increases...

TSL: A System for Generating Abstract Interpreters and its Application to Machine-Code Analysis
Junghee Lim, Thomas Reps
Article No.: 4
DOI: 10.1145/2450136.2450139

This article describes the design and implementation of a system, called TSL (for Transformer Specification Language), that provides a systematic solution to the problem of creating retargetable tools for analyzing machine code....

Practical Integrated Analysis of Pointers, Dataflow and Control Flow
Stefan Staiger-Stöhr
Article No.: 5
DOI: 10.1145/2450136.2450140

This article presents a family of static analyses to determine pointer targets, control flow, and dataflow in combination. The integrated solution to these mutually dependent problems approaches the result from the optimistic side. It is a general...