面向机器结构的控制代码逻辑
软件工程
2009-09-02 v3
摘要
控制代码是一个与实践者对程序的常见观点密切相关的概念：即能够控制某些机器行为的代码。我们提出一种逻辑方法来解释与控制代码相关的问题，这些问题独立于被控制行为的细节。利用这种方法，可以在非常抽象的层面上解释此类问题。除其他事项外，我们通过一个关于从现有编译器生成新编译器的示例来说明这一点。该方法基于称为机器结构（machine structures）的抽象机器模型。我们引入了一种为机器结构可执行代码提供执行环境的系统模型，并利用该模型探讨控制代码的可移植性。
引用
@article{arxiv.0711.0836,
title = {Machine structure oriented control code logic},
author = {J. A. Bergstra and C. A. Middelburg},
journal= {arXiv preprint arXiv:0711.0836},
year = {2009}
}
评论
32 pages; phrasing improved, references added, connection with Janlert's "dark programming" explained