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