Iteration and Labelled Iteration
Iteration and Labelled Iteration
复制标题
迭代和标记迭代
DOI：
10.1016/j.entcs.2016.09.035
复制
发表时间：
2016
影响因子：
--
通讯作者：
Geron B
中科院分区：
文献类型：
--
作者：
Geron B
我们从程序员的角度分析了传统的基于求和的迭代表示，并表明他们建议的语法从根本上来说不是一个很好的Java风格的迭代表示，for，while，break，andcontinue。我们提出了一种替代的语法，我们称之为“标记迭代”，其中循环使用labels.the语言进行了分析：我们给指称和操作语义，充分证明这两种语言，和一个翻译功能，从总和为基础的迭代标记迭代。
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 withfor,while,break, andcontinue. 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.
登录
查看更多内容
克林代数与方程
DOI：
--
发表时间：
2014
期刊：
International Colloquium on Automata, Languages and Programming
影响因子：
--
作者：
D. Kozen;Konstantinos Mamouras
通讯作者：
Konstantinos Mamouras
DOI：
10.1145/1017472.1017477
发表时间：
2004-09
期刊：
--
影响因子：
--
作者：
Conor McBride;James McKinna
通讯作者：
Conor McBride;James McKinna
处理程序在行动
DOI：
10.1145/2500365.2500590
发表时间：
2013
期刊：
--
影响因子：
--
作者：
Kammar O
通讯作者：
Kammar O
SPCF 中嵌套的消除
DOI：
--
发表时间：
2005
期刊：
International Conference on Typed Lambda Calculus and Applications
影响因子：
--
作者：
J. Laird
通讯作者：
J. Laird
PCF 的递归层次结构很严格
DOI：
--
发表时间：
2015
期刊：
Log. Methods Comput. Sci.
影响因子：
--
作者：
J. Longley
通讯作者：
J. Longley