06 2021 档案

Java速成笔记
摘要：恶补一下java来方便写作业,希望能用的上 一直有点抗拒这门语言,给我的感觉就是笨重麻烦,很难写一些很漂亮的做法 变量和类型 java是强类型语言,需要显式地声明变量的类型.变量的类型分为两种: primitive类型,包括: 整形:long int short byte，分别表示单字、双字、四字、 阅读全文
posted @ 2021-06-19 15:06 jjppp 阅读(301) 评论(0) 推荐(0) 编辑
软件分析笔记3 DFA
摘要：这里的DFA可不是有限状态自动机（ Data Flow Analysis 这一部分是比较重的重点...要好好看 或许需要补一补lattice(事实证明这一部分非常简单...) Data Flow Analysis 实际是要通过 How Application-Specific Data Flows 阅读全文
posted @ 2021-06-11 15:09 jjppp 阅读(449) 评论(0) 推荐(0) 编辑
软件分析笔记2 IR
摘要：术语 IR = Intermediate Representation 代码的中间形式 AST = Abstract Semantic Tree 抽象语法树 IR 上节讲到的同态映射需要一个具体的载体,类比我们常常将n维线性空间同构到R^n上考虑,这里就引入了IR IR也是一种语言，可以作任意语言到 阅读全文
posted @ 2021-06-11 15:02 jjppp 阅读(247) 评论(0) 推荐(0) 编辑
软件分析笔记1 Intro
摘要：决定要好好开干了，于是有了这个系列的笔记 真是绝了，我连淑芬都没有专门的笔记 回想上学期的考试周开了CSAPP的大锅，这次考试周开了软件分析的大锅，考试周真是除了考试都好玩 术语 PLT = Programming language theory 编程语言理论 Static Analysis 静态分 阅读全文
posted @ 2021-06-11 14:57 jjppp 阅读(155) 评论(0) 推荐(0) 编辑
图论笔记3 染色
摘要：图染色(Coloring) 染色数(Coloring Index) 图的染色分为点染色(vertex coloring)和边染色(edge coloring) 点染色指的是构造映射 fk:V(G)↦{1,2,…k}，一 阅读全文
posted @ 2021-06-04 16:12 jjppp 阅读(2420) 评论(0) 推荐(0) 编辑
图论笔记1 基本概念&定义
摘要：还是记一下吧，方便看博客的人(真的会有人看吗喂！) 图论基本概念 好多啊,还是英文,记不住..... 这里的图默认是有限图 点(vertex/vertices),边(edge) 边\left{x,y\right}可简记为xy 基本符号 \(\left[n\right]=\left\{1,\d 阅读全文
posted @ 2021-06-01 23:36 jjppp 阅读(456) 评论(0) 推荐(0) 编辑

点击右上角即可分享
微信分享提示