抽象论域到数据结构的转换

摘要

给出了函数式语言到过程式语言转换的关键技术,即抽象论域到具体数据结构的转换技术.抽象论域的转换是抽象表达式到具体表达式转换、模式匹配处理的前提.函数式语言到过程式语言的转换,解决了函数式语言在具体实现和时间方面存在的大量动态函数复制的问题.这种转换技术可用于开发指称语义到解释器、指称语义到编译器、属性文法到过程式语言、属性文法到YACC(Yet Another Computer Compilier)输入文件的各种自动生成器.