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 -