米切尔·旺德 派生目标代码作为延续语义的表示。 （英语） Zbl 0483.68070号 ACM事务处理。程序。语言系统。 4, 496-517 (1982). 页码：24/35−5 −4 −3 −2 −1 ±0 +1 +2 +3 +4 +5 显示扫描页面 引用于15文件 MSC公司： 68问题55 计算理论中的语义学 68N25号 操作系统理论 关键词：程序设计语言;代码生成;指称语义学;λ演算;编译器;延续语义;专用组合器 PDF格式BibTeX公司 XML格式引用 \textit{M.Wand}，ACM事务。程序。语言系统。4496-517（1982年；Zbl 0483.68070） 全文： 内政部