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 3, November 2013

Probabilistic Relational Reasoning for Differential Privacy
Gilles Barthe, Boris Köpf, Federico Olmedo, Santiago Zanella-Béguelin
Article No.: 9
DOI: 10.1145/2492061

Differential privacy is a notion of confidentiality that allows useful computations on sensible data while protecting the privacy of individuals. Proving differential privacy is a difficult and error-prone task that calls for principled approaches...

Analysis of Recursively Parallel Programs
Ahmed Bouajjani, Michael Emmi
Article No.: 10
DOI: 10.1145/2518188

We propose a general formal model of isolated hierarchical parallel computations, and identify several fragments to match the concurrency constructs present in real-world programming languages such as Cilk and X10. By associating fundamental...

Contracts for First-Class Classes
T. Stephen Strickland, Christos Dimoulas, Asumu Takikawa, Matthias Felleisen
Article No.: 11
DOI: 10.1145/2518189

First-class classes enable programmers to abstract over patterns in the class hierarchy and to experiment with new forms of object-oriented programming such as mixins and traits. This increase in expressive power calls for tools to control the...