2021年8月13日
软件分析笔记9 CFL-R&IFDS
摘要： 这一节主要讨论针对CFG中的路径的优化 Feasible & Realizable Paths Infeasible Paths: paths that do not correspond to actual executions Unrealizable Paths: paths whose "r 阅读全文
posted @ 2021-08-13 23:32 jjppp 阅读(300) 评论(0) 推荐(0) 编辑
软件分析笔记8 Datalog
摘要： Datalog = Data + Logic，是声明式编程语言(Declarative Programming Language) Prolog的一个子集 Datalog最早作为数据库的查询语言出现，是非图灵完备的编程语言 语法 和数理逻辑的命题逻辑、谓词逻辑基本是一致的，如果看的教材和我一样是Ma 阅读全文
posted @ 2021-08-13 14:29 jjppp 阅读(965) 评论(0) 推荐(0) 编辑