Location via proxy:   [ UP ]  
[Report a bug]   [Manage cookies]                
skip to main content
Volume 34, Issue 4December 2012
Publisher:
  • Association for Computing Machinery
  • New York
  • NY
  • United States
ISSN:0164-0925
EISSN:1558-4593
Reflects downloads up to 16 Feb 2025Bibliometrics
Skip Table Of Content Section
research-article
Open Access
Natural and Flexible Error Recovery for Generated Modular Language Environments
Article No.: 15, Pages 1–50https://doi.org/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 the ...

research-article
Open Access
On the Termination of Integer Loops
Article No.: 16, Pages 1–24https://doi.org/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 loops ...

research-article
Open Access
Bisimulation for Quantum Processes
Article No.: 17, Pages 1–43https://doi.org/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 the ...

Subjects

Comments