Programming Languages and Systems (TOPLAS)


Search Issue
enter search term and/or author name


ACM Transactions on Programming Languages and Systems (TOPLAS), Volume 33 Issue 2, January 2011

Morphing: Structurally shaping a class by reflecting on others
Shan Shan Huang, Yannis Smaragdakis
Article No.: 6
DOI: 10.1145/1890028.1890029

We present MorphJ: a language for specifying general classes whose members are produced by iterating over members of other classes. We call this technique “class morphing” or just “morphing.” Morphing extends the notion of...

Automated termination proofs for haskell by term rewriting
Jürgen Giesl, Matthias Raffelsieper, Peter Schneider-Kamp, Stephan Swiderski, René Thiemann
Article No.: 7
DOI: 10.1145/1890028.1890030

There are many powerful techniques for automated termination analysis of term rewriting. However, up to now they have hardly been used for real programming languages. We present a new approach which permits the application of existing techniques...

Refinement types for secure implementations
Jesper Bengtson, Karthikeyan Bhargavan, Cédric Fournet, Andrew D. Gordon, Sergio Maffeis
Article No.: 8
DOI: 10.1145/1890028.1890031

We present the design and implementation of a typechecker for verifying security properties of the source code of cryptographic protocols and access control mechanisms. The underlying type theory is a λ-calculus equipped with refinement...