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 36 Issue 4, October 2014

Abstract Domains of Affine Relations
Matt Elder, Junghee Lim, Tushar Sharma, Tycho Andersen, Thomas Reps
Article No.: 11
DOI: 10.1145/2651361

This article considers some known abstract domains for affine-relation analysis (ARA), along with several variants, and studies how they relate to each other. The various domains represent sets of points that satisfy affine relations over...

Foundations of Typestate-Oriented Programming
Ronald Garcia, Éric Tanter, Roger Wolff, Jonathan Aldrich
Article No.: 12
DOI: 10.1145/2629609

Typestate reflects how the legal operations on imperative objects can change at runtime as their internal state changes. A typestate checker can statically ensure, for instance, that an object method is only called when the object is in a state...

Kitsune: Efficient, General-Purpose Dynamic Software Updating for C
Christopher M. Hayden, Karla Saur, Edward K. Smith, Michael Hicks, Jeffrey S. Foster
Article No.: 13
DOI: 10.1145/2629460

Dynamic software updating (DSU) systems facilitate software updates to running programs, thereby permitting developers to add features and fix bugs without downtime. This article introduces Kitsune, a DSU system for C. Kitsune’s design has...

A Widening Approach to Multithreaded Program Verification
Alexander Kaiser, Daniel Kroening, Thomas Wahl
Article No.: 14
DOI: 10.1145/2629608

Pthread-style multithreaded programs feature rich thread communication mechanisms, such as shared variables, signals, and broadcasts. In this article, we consider the automated verification of such programs where an unknown number of threads...