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 33 Issue 4, July 2011

JavaGI: The Interaction of Type Classes with Interfaces and Inheritance
Stefan Wehr, Peter Thiemann
Article No.: 12
DOI: 10.1145/1985342.1985343

The language JavaGI extends Java 1.5 conservatively by a generalized interface mechanism. The generalization subsumes retroactive and type-conditional interface implementations, binary methods, symmetric multiple dispatch, interfaces over families...

An Abstract Model of Certificate Translation
Gilles Barthe, César Kunz
Article No.: 13
DOI: 10.1145/1985342.1985344

A certificate is a mathematical object that can be used to establish that a piece of mobile code satisfies some security policy. In general, certificates cannot be generated automatically. There is thus an interest in developing methods to reuse...

A Theory of Synchronous Relational Interfaces
Stavros Tripakis, Ben Lickly, Thomas A. Henzinger, Edward A. Lee
Article No.: 14
DOI: 10.1145/1985342.1985345

Compositional theories are crucial when designing large and complex systems from smaller components. In this work we propose such a theory for synchronous concurrent systems. Our approach follows so-called interface theories, which use...