# Iteration and labelled iteration

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

## Standard

**Iteration and labelled iteration.** / Geron, Bram; Levy, Paul.

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

## Harvard

*Proceedings of Mathematical Foundations of Programming Semantics XXXII, (MFPS 2016).*Electronic Notes in Theoretical Computer Science , vol. 325, Elsevier, pp. 127-146, 32nd Conference on the Mathematical Foundations of Programming Semantics(MFPS XXXII), 23/05/16. https://doi.org/10.1016/j.entcs.2016.09.035

## APA

*Proceedings of Mathematical Foundations of Programming Semantics XXXII, (MFPS 2016)*(pp. 127-146). (Electronic Notes in Theoretical Computer Science ; Vol. 325). Elsevier. https://doi.org/10.1016/j.entcs.2016.09.035

## Vancouver

## Author

## Bibtex

}

## RIS

TY - GEN

T1 - Iteration and labelled iteration

AU - Geron, Bram

AU - Levy, Paul

PY - 2016/10/5

Y1 - 2016/10/5

N2 - We analyse the conventional sum-based representation of iteration from the perspective of programmers, and show that the syntax they suggest is fundamentally not a good representation of Java-style iteration with for, while, break, and continue. We present an alternative syntax, which we call “labelled iteration”, where loops are identified using labels. The languages are analysed: we give denotational and operational semantics, adequacy proofs for both languages, and a translation function from sum-based iteration to labelled iteration.

AB - We analyse the conventional sum-based representation of iteration from the perspective of programmers, and show that the syntax they suggest is fundamentally not a good representation of Java-style iteration with for, while, break, and continue. We present an alternative syntax, which we call “labelled iteration”, where loops are identified using labels. The languages are analysed: we give denotational and operational semantics, adequacy proofs for both languages, and a translation function from sum-based iteration to labelled iteration.

UR - http://conferences.au.dk/fileadmin/conferences/2016/mfps-2016/files/mfps-2016-preproceedings.pdf

U2 - 10.1016/j.entcs.2016.09.035

DO - 10.1016/j.entcs.2016.09.035

M3 - Conference contribution

T3 - Electronic Notes in Theoretical Computer Science

SP - 127

EP - 146

BT - Proceedings of Mathematical Foundations of Programming Semantics XXXII, (MFPS 2016)

PB - Elsevier

T2 - 32nd Conference on the Mathematical Foundations of Programming Semantics(MFPS XXXII)

Y2 - 23 May 2016 through 26 May 2016

ER -