主要观点：探索指称式解释器，通过对语义域进行参数化并改变它，从同一通用解释器中恢复具有不同评估策略的动态语义以及基于摘要的静态分析，如类型分析等，还给出了按需调用的首个指称语义且在强组合意义上是充分的，生成的迹可描述操作属性并用于静态分析，静态分析和动态语义共享同一通用解释器定义，使通过抽象解释的可靠性证明更简单。
关键信息：提交给 POPL'25 的预印本，主题为编程语言，可引用[arXiv:2403.02778]或[arXiv:2403.02778v2]，有提交历史，从 Sebastian Graf 处提交，v1 于 2024 年 3 月 5 日 08:50:32 UTC，v2 于 2024 年 7 月 12 日 13:58:23 UTC。
重要细节：文中提到指称式解释器能产生对应小步操作语义的共归纳迹，不同版本的提交时间及大小等信息。