Iteration and labelled iteration

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Standard

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

Proceedings of Mathematical Foundations of Programming Semantics XXXII, (MFPS 2016). Elsevier, 2016. p. 127-146 (Electronic Notes in Theoretical Computer Science ; Vol. 325).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Harvard

Geron, B & Levy, P 2016, Iteration and labelled iteration. in 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

Geron, B., & Levy, P. (2016). Iteration and labelled iteration. In 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

Geron B, Levy P. Iteration and labelled iteration. In Proceedings of Mathematical Foundations of Programming Semantics XXXII, (MFPS 2016). Elsevier. 2016. p. 127-146. (Electronic Notes in Theoretical Computer Science ). https://doi.org/10.1016/j.entcs.2016.09.035

Author

Geron, Bram ; Levy, Paul. / Iteration and labelled iteration. Proceedings of Mathematical Foundations of Programming Semantics XXXII, (MFPS 2016). Elsevier, 2016. pp. 127-146 (Electronic Notes in Theoretical Computer Science ).

Bibtex

@inproceedings{2a67d37eefbe447590708793f4fd0123,
title = "Iteration and labelled iteration",
abstract = "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.",
author = "Bram Geron and Paul Levy",
year = "2016",
month = oct
day = "5",
doi = "10.1016/j.entcs.2016.09.035",
language = "English",
series = "Electronic Notes in Theoretical Computer Science ",
publisher = "Elsevier",
pages = "127--146",
booktitle = "Proceedings of Mathematical Foundations of Programming Semantics XXXII, (MFPS 2016)",
note = "32nd Conference on the Mathematical Foundations of Programming Semantics(MFPS XXXII) ; Conference date: 23-05-2016 Through 26-05-2016",

}

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 -