Programming Languages and Systems (TOPLAS)


Search Issue
enter search term and/or author name


ACM Transactions on Programming Languages and Systems (TOPLAS), Volume 34 Issue 4, December 2012

Natural and Flexible Error Recovery for Generated Modular Language Environments
Maartje de Jonge, Lennart C. L. Kats, Eelco Visser, Emma Söderberg
Article No.: 15
DOI: 10.1145/2400676.2400678

Integrated Development Environments (IDEs) increase programmer productivity, providing rapid, interactive feedback based on the syntax and semantics of a language. Unlike conventional parsing algorithms, scannerless generalized-LR parsing supports...

On the Termination of Integer Loops
Amir M. Ben-Amram, Samir Genaim, Abu Naser Masud
Article No.: 16
DOI: 10.1145/2400676.2400679

In this article we study the decidability of termination of several variants of simple integer loops, without branching in the loop body and with affine constraints as the loop guard (and possibly a precondition). We show that termination of such...

Bisimulation for Quantum Processes
Yuan Feng, Runyao Duan, Mingsheng Ying
Article No.: 17
DOI: 10.1145/2400676.2400680

Quantum cryptographic systems have been commercially available, with a striking advantage over classical systems that their security and ability to detect the presence of eavesdropping are provable based on the principles of quantum mechanics. On...