内生解释
Endogenous Interpretation
浏览论文内容
中文总结 AI 辅助
本文提出内生解释概念，将程序、解释器等视为同一状态转移关系的不同参数化，指出语义鸿沟隐喻误导，并给出有限状态实现下语义收缩的定量实例，为逆向工程提供新视角。
中文摘要 AI 辅助
我们提出内生解释：程序、解释器、机器和派生执行语言并非互不相交的语义对象，而是同一个可执行状态转移关系的不同参数化。每种实现都带有隐式约束偏差，即由其指令基础、状态编码、控制转移和有限基底所施加的结构限制。从这个角度看，“语义鸿沟”隐喻对操作语义具有误导性：保持语义的变换无法消除执行所需计算；它只是将计算重新分布到另一个状态空间和转移粒度上（语义扩散）。逆向工程因此是恢复一个较低复杂度的语义收缩。我们给出第一个定量实例。对于观察到双模拟等价的有穷状态实现，收缩是规范且可计算，几乎线性时间完成，产生一个与抽象无关的扩散比；对于确定性实现，这扩展到迹等价。对于非确定性实现观察到迹等价，最小收缩是
英文摘要
We propose endogenous interpretation: program, interpreter, machine, and derived execution language are not disjoint semantic objects but different parameterizations of one executable state-transition relation. Each realization carries an implicit constraint bias, the structural restrictions imposed by its instruction basis, state encoding, control transfers, and finite substrate. From this viewpoint the "semantic gap" metaphor is misleading for operational semantics: a semantics-preserving transformation cannot remove the computation required for execution; it redistributes it over another state space and transition granularity (semantic diffusion). Reverse engineering is then the recovery of a lower-complexity semantic contraction. We give a first quantitative instance. For finite-state realizations observed up to bisimulation, the contraction is canonical and computable in almost-linear time, yielding an abstraction-independent diffusion ratio; for deterministic realizations this extends to trace equivalence. For nondeterministic realizations observed up to traces, minimal contraction is
发表机构
- ACM（美国计算机协会）
机构由 AI 辅助整理，请以论文原文为准。
