02 - IR Compilers and Static AnalyzersAST vs. IR (AST:抽象语法树,在语法分析、词法分析之后的中间表示。)IR: Three-Address Code (3AC)3AC in Real Static Analyzer: SootStatic Single Assignment (SSA)Basic Block (BB)Control Flow
2019年6月22日至26日,第40届程序设计语言设计与实现会议(ACM SIGPLAN Conference on Programming Language Design and Implementation,PLDI 2019)在美国凤凰城举行,南京大学计算机科学与技术系程序设计语言研究组冯新宇教授、梁红瑾副教授及其团队的论文“Towards Certified Separate Compi
http://219.219.114.101/gts2017/zsmlgl/zsml_ss.aspx 《数据结构(用面向对象方法与C++描述)》(第二版),殷人昆等,清华大学出版社; 计算机算法——设计与分析导论 (影印版,Computer Algorithms: Introduction to Design and Analysis, 3rd Edition),Sara B