ACM transactions on programming languages and systems

• 

  Año 2011, Vol. 33, Número 4

  • JavaGI: The Interaction of Type Classes with Interfaces and Inheritance

    Stephan Wehr, Peter Thiemann

    

  • An Abstract Model of Certificate Translation

    Gilles Barthe, César Kunz

    

  • A Theory of Synchronous Relational Interfaces

    Stavros Tripakis, Ben Lickly, Thomas A. Henzinger, Edward A. Lee