安德鲁·马尔顿 函数树操作语言的指称语义。 （英语） Zbl 0778.68058号 计算。语言。 19，第3期，157-168（1993）. 概述：编程语言TXL将函数语言的特性与模式匹配和故障处理范式相结合，旨在表达树操作算法。通过为模式和失败选择合适的表示，解决了评估和模式匹配相互作用所导致的语义问题。没有必要进行一般延续。 MSC公司： 68问题55 计算理论中的语义学 关键词：源转换语言;语言方言;快速原型制作 PDF格式BibTeX公司 XML格式引用 \textit{A.Malton}，计算。Lang.19，No.3，157--168（1993；Zbl 0778.68058） 全文： 内政部