单遍指令序列的机械行为
Mechanistic Behavior of Single-Pass Instruction Sequences
摘要：
程序和线程代数的早期工作详细描述了程序在执行时的功能性、可观察的行为。在这篇文章中，我们增加了不可观察的，机械的处理，特别是处理由于跳转指令的建模。我们的模型机械处理之前的一些进一步的行为作为该行为的延迟，我们借用离散时间过程代数的一元延迟算子。我们定义了一个机械的线程上的改进排序，并观察到一些线程没有一个最佳的实现。
英文摘要：
Earlier work on program and thread algebra detailed the functional, observable behavior of programs under execution. In this article we add the modeling of unobservable, mechanistic processing, in particular processing due to jump instructions. We model mechanistic processing preceding some further behavior as a delay of that behavior; we borrow a unary delay operator from discrete time process algebra. We define a mechanistic improvement ordering on threads and observe that some threads do not have an optimal implementation.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
