格理论(lattice theory)的经典著作以及它的应用有哪些?
关注者
301被浏览
34,548登录后你可以
不限量看优质回答私信答主深度交流精彩内容一键收藏
在编译器中,数据流分析(dataflow analysis)常常通过lattice来表达其中的抽象值。有讲数据流分析的编译原理书或课程都会介绍lattice并且讲解其在编译器中的应用。
入门介绍可以看看这系列博文:
Too Much TheoryToo Much Theory, Part 2Too Much Theory, Part 3