该论文提出「内生解释」(endogenous interpretation) 这一理论视角,主张程序、解释器、机器以及派生的执行语言并不是彼此分离的语义对象,而是同一个可执行状态转移关系的不同参数化形式。作者进一步指出,每一种具体实现都携带一种「隐式约束偏置」,即由它的指令基 (instruction basis)、状态编码方式、控制转移机制以及有限基底 (finite substrate) 所施加的结构性限制。基于这一视角,论文认为在操作语义层面常被使用的「语义鸿沟」(semantic gap) 隐喻具有误导性:一个保持语义的变换并不能够消除执行所必需的计算量,它只能把这份计算重新分配( redistribute )到另一个状态空间与另一种转移粒度之上,作者将这一现象命名为「语义扩散」(semantic diffusion)。由此,逆向工程被重新刻画为「恢复一个更低复杂度的语义收缩」(semantic contraction),即从一个给定实现的高粒度转移结构中抽取出等价的、复杂度更低的语义表示。论文给出了首个定量化的实例:对于在互模拟 (bisimulation) 意义下可观测的有限状态实现,该收缩是规范的 (canonical),并且可以在近乎线性时间内计算出来,从而导出一个与具体抽象层次无关的「扩散比率」;对于确定性实现,该结论可进一步扩展到迹等价 (trace equivalence);对于在迹意义下可观测的非确定性实现,作者讨论了最小收缩问题(摘要在此处截断)。总体贡献在于:提供了一套统一程序与解释器的形式框架、给出了语义扩散的可计算度量,并为逆向工程建立了复杂度理论层面的刻画。适合形式化方法、程序语言理论、二进制分析与逆向工程方向的研究者与工程师阅读。