刚性循环的投影语义
编程语言
2007-07-10 v1
摘要
刚性循环是一种 for 循环，其计数器无法被循环体或程序的任何其他部分访问。在程序代数 PGA 的语法之上引入了针对刚性循环的特殊指令。提供了两种不同的语义投影并证明了它们的等价性。基于“规范性语义充分性”和“指示性算法充分性”两个标准，其中一种被赋予定义性地位。
引用
@article{arxiv.0707.1059,
title = {Projection semantics for rigid loops},
author = {Jan A. Bergstra and Alban Ponse},
journal= {arXiv preprint arXiv:0707.1059},
year = {2007}
}
评论
20 pages