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 -