格理论（lattice theory）的经典著作以及它的应用有哪些?
关注者
301被浏览
34,548登录后你可以
不限量看优质回答私信答主深度交流精彩内容一键收藏
NVCC
除了楼上说的program analysis 之外，lattice 还可以被用在semantic analysis 中。
大家都知道attribute grammar 中各个attribute 之间是不能有环形依赖的（因为依赖可以叠加，attribute grammar的无环性由弱至强可分为ANC、SNC、DNC，OAG）。semantic analyzer 应该先检测你给出的attribute grammar 是不是OAG，再进行evalution。
但是，用lattice attribute 就可以构建circular attribute，可以用来检查OO 语言程序中的类有没有环形继承等。