nklofy-CSDN博客

原创静态分析之数据流分析与 SSA 入门（二）

什么是静态单赋值 SSASSA 是 static single assignment 的缩写，也就是静态单赋值形式。顾名思义，就是每个变量只有唯一的赋值。以下图为例，左图是原始代码，里面有分支， y 变量在不同路径中有不同赋值，最后打印 y 的值。右图是等价的 SSA 形式，y 变量在两个分支中被改写为 y1, y2，在控制流交汇处插入 Ф 函数，合并了来自不同边的 y1, y2 值, 赋...

2018-11-21 01:57:14 15125 1

原创静态分析之数据流分析与 SSA 入门（一）

什么是数据流分析编译器的一个重要功能是分析和优化代码。编译时分析（或称静态分析）得到若干信息后，编译器可以确定在何处应用何种变换是安全并且有利可图的。而其中一种重要的分析技术就是数据流分析。顾名思义，数据流分析就是分析数据如何在程序执行路径上流动的技术，那么数据流分析的前提条件就是基于 IR （源代码经过编译得到的中间表示形式）构造 CFG 控制流图。基于数据流分析，可以实现多种全局...

2018-11-18 23:09:32 15802

原创自制脚本语言（12）作用域与符号表

摘要：介绍了自制语言的编译器对符号表的处理。YF语言中，符号表的基本结构是hash表。每个AST，附带了3个hash表，变量表，类型表，函数表。例如就是变量表，记录变量的名称和值。类型表记录各种类型，array、class、interface、function、generic。函数表则记录了函数名和函数体、函数类型的对应关系。一个文件有若干class和interface定义，此外的部分是脚

2016-11-01 16:49:45 1638

原创自制脚本语言（11）类型系统

摘要：介绍了自制语言的类型系统。包含了基本类型、数组、类、接口、泛型等。

2016-11-01 16:06:53 791

原创自制脚本语言（10）抽象语法树AST与三地址线性IR

摘要：介绍了自制语言YFlang的AST及IR表示

2016-04-12 22:33:16 2490

原创自制脚本语言（9）扩充的语法

摘要：设计扩充了新的语法，除了原来的if/else/while结构和函数，增加了数组、类、接口、继承、泛型。

2016-01-21 10:29:31 701

原创自制脚本语言（8）从LR(1) 到 GLR parser generator

摘要：升级前文的LR(1) parser generator为GLR，为自制脚本语言加入面向对象、泛型模板和函数式编程等语法做好准备。

2016-01-11 09:22:27 3137

原创自制脚本语言（7）脚本语言的完善：字符串、注释

摘要：前面提到的编译器解释器的进一步完善，即加入字符串和注释的处理。

2015-12-29 10:27:16 773

原创自制脚本语言（6）解释器

摘要：在前文提到的编译器的基础上，设计解释器来解释运行脚本语言。

2015-12-22 14:58:59 5803

原创自制脚本语言（5）自制的编译器——LR(1) parser

摘要：针对自定义的脚本语言，设计LR(1) parser。LR(1) parser利用之前的parser generator生成的action table和grammar表格，生成抽象语法树(AST)作为中间语言(IR)。

2015-12-22 10:41:28 2710

原创 call/cc应该是什么类型

这篇来自我在某问答网站上的一个回答。但我觉得这个问题很有价值，我思考和写作的时间花费了很久。所以我觉得有价值保存起来。问题是，call/cc的类型是什么。我们知道，(call/cc (lambda (k) p))有两种用法，一种是(call/cc (lambda (k) (k a)))，例如(+ 1(call/cc (lambda (k) (k 2))))；一种是(call/cc

2015-10-09 14:24:37 1313

原创自制脚本语言（4）自动生成的词法分析器

摘要：设计词法分析器。读取文件中的正则表达式及其相匹配的符号，生成由NFA到DFA转移表，最终得到表格驱动的词法分析器。

2015-09-28 14:34:48 2394

原创 Haskell心得（1）模式匹配、高阶函数、组合函数

摘要：介绍了haskell的几种定义函数方式：模式匹配、高阶函数、函数组合

2015-07-09 09:47:20 4798

原创自制脚本语言（3） LR(1) parser generator的实现

摘要：实现了LR(1)的parser generator，读取记录grammar的txt文件，输出记录action table与goto table的txt文件。源代码在http://download.csdn.net/detail/nklofy/8878579

2015-06-18 22:43:34 1465

原创自制脚本语言（2） LR(1) parser generator的设计

摘要：设计一个Parser generator自动生成器，对增广文法G自动生成其LALR(1) parser语法解析器。

2015-06-16 10:23:22 1854

原创 scheme心得（3）尾调用/尾递归与CPS

摘要：介绍了尾调用/尾递归调用（tail call/tail recursive call）的一般概念、形式、用法，以及CPS（continuation-passing style）的编程模式。

2015-05-26 14:36:18 2889

原创 scheme心得（2）从列表到流，高阶函数，惰性计算

摘要：介绍了scheme的高阶函数用法，利用高阶函数处理列表，以及利用流实现惰性计算。

2015-04-30 13:21:55 2200

原创 scheme心得（1） continuation与阴阳谜题

摘要：简要介绍了scheme语言中continuation的用法。解释了阴阳谜题程序的运行过程与结果。

2015-04-23 14:34:41 2118 1

原创《算法导论》笔记（18）最大流含部分习题

流网络，容量值，源结点，汇点，容量限制，流量守恒。反平行，超级源结点，超级汇点。Ford-Fulkerson方法。残存网络，增广路径，最小切割定理。f是最大流，残存网络不包含增广路径，|f|等于最小切割容量三者等价。基本的Ford-Fulkerson算法。Edmonds-Karp算法。为了算法的收敛性。残存网络中用广度优先寻找增广路径。证明运行时间为O(V*E^2)：对特定一条边，其成为关

2015-03-19 12:37:17 5295 4

原创《算法导论》笔记（17）所有结点对最短路径部分习题

习题25.1-6 O(n^3)时间内从已经计算出的最短路径权重矩阵L计算出前驱矩阵Π。任意的L[i, j]最短路径，若j结点前驱为k，则必然有L[i, j]= L[i, k]+ w[k, j]。如此可遍历L矩阵的第i行所有元素L[i, k]，若L[i, j]= L[i, k]+ w[k, j]，表明k是i-> j最短路径的j的前驱结点。习题25.1-7 在Extend_Shortest_Pat

2015-03-11 08:46:05 1999

原创《算法导论》笔记（16）单源最短路径部分习题

习题21.1-3 Bellman-Ford算法改进为m+1次松弛后终止。图中结点若在s->v的路径中则作标记。松弛过程中，若有标记的结点全部不更新v值，则停止。此时松弛次数为m+1趟。习题21.1-5 松弛方法改为结点已有d值，对其所有入边选择w+ d习题21.1-6 寻找权重为负值的环。用2维矩阵保存所有结点之间的最短路径，也包括自己到自己的路径。然后按照Bellman-Ford算法运行

2015-03-03 08:38:35 5609

原创《算法导论》笔记（15）最小生成树部分习题

习题23.1-11 给定图G和一棵最小生成树T，假设减少了位于T之外的某条边的权重。因为T内的边，是连接所有结点的权重最小的，那么首先将T外的减少权重的边(u, v)加入T，然后在u, v中寻找所有的路径，去掉路径中权重最大的边。习题23.2-3 使用斐波那契堆实现的Prim算法与使用二叉堆比较。因为斐波那契堆实现优先队列，使Prim算法的运行时间为O(E+VlgV)，而二叉堆实现优先队列的P

2015-02-19 01:48:01 5712 2

原创《算法导论》笔记（14）基本的图算法部分习题

习题22.1-5 有向图G(V, E)的平方图。链表表示时，对每结点u的Adj[u]中所有v加入队列，后边出队边将Adj[v]加入Adj[u]中。矩阵表示时，若w[i, j]、w[j, k]同时为1则将w[i, k]置1.习题22.1-6 O(V)的时间寻找通用汇点。汇点的特征是邻接矩阵的第j列除[j, j]外所有元素为1. 可将每行调整[j ,j]后作为一个整数，所有整数与运算，为1的位是汇

2015-02-17 21:14:18 602

原创《算法导论》笔记（13）单源最短路径，所有结点对的最短路径

单源最短路径，单目的地最短路径，单结点对最短路径，所有结点对最短路径。最短路径的子路径也是最短路径。最短路径不包含环路。松弛操作，三角不等式。前驱子图，最短路径树。 Bellman-Ford算法。边总数-1次循环，每次循环将所有边进行松弛操作，最终得到最短路径，或者报错存在w为负数的环路。relax(u, v){ if(u.d+w(u, v)<v.d) {v.d=u.d+w(u,v)

2015-02-16 09:17:50 623

原创《算法导论》笔记（12）基本的图算法，最小生成树

首先是图的表示。G=(V, E)，两种标准表示方法。一是邻接链表，一是邻接矩阵。邻接链表有|V|条链表，链表Adj[u]包含所有与结点u有边关联的结点v。邻接矩阵是|V|*|V|的二维矩阵，aij可用来表示结点i与j之间有无边或边的权重。广度优先搜素。从源结点出发向外扩展，访问当前结点的全部相连结点并一一入队列，然后将队列中最前结点出列以相同方法访问其子结点，直到所有结点都被访问。访问过程

2015-02-15 22:18:04 571

原创《算法导论》笔记（11）摊还分析部分习题

习题11.1-3 i为2的幂时代价为i，其余代价为1，聚合分析(1+2+1+4+1+1+1+8.....)/n，若n趋近无穷大，极限为3。每次操作摊还代价为3.习题11.2-2 核算法解上题。在i/2+1到第i-1次操作之间，每次操作实际代价1，信用2，经过i/2次之后，累积信用为i，第i个操作一次性付出代价i，消耗信用为i-1，若n足够大，可知每个操作的摊还代价为3。习题11.3-2 势

2015-02-09 10:39:08 1998

原创《算法导论》笔记（10）贪心算法部分习题

习题16.1-4 区间图着色问题。边最多的顶点G，其边数n即需要的颜色数，也即教室数。有n种颜色，顶点标为第i种颜色，则此活动可放在第i个教室举行。从一顶点开始广度优先遍历，将相连接的点标为不同颜色，标颜色同时检查与此相连的所有点颜色不同。然后检查全部顶点，有未标色的顶点，按照上法重新开始标色。习题16.1-5 如果每个活动有值vk，要求vk总和的最大值，那么这个题就需要用动态规划求解了。时间

2015-02-09 10:38:24 3419

原创《算法导论》笔记（9）动态规划部分习题

一些本章的习题的解法简答及伪码。15.1-5 斐波那契数的子问题图。每个斐波那契数与前两个斐波那契数有关。所以有N个顶点，2*(N-2)条边。15.2-4 矩阵链乘法的子问题图。N个矩阵的子问题是N-1对，所以共有(N-1)*N/2与N*(N-1)*(N-2)/2条边。15.3-6 外币兑换问题。必须是不重复的兑换。可以做一个集合S={D1, D2, D3…}代表兑换序列，sn

2015-02-09 10:37:47 570

动态规划的步骤：构造最优解的结构，子问题求解后保存，计算最优解的值。最优解的结构是张表。有两种方法计算最优解，一是自顶向下递归求解，保存已知的子问题的解到数组或散列表，需要时在表中查询此解；二是自底向上求解，每个子问题只求解一次，向上合并问题直至最终得到最优解。其实这两个方法没有本质区别，因为方法1是递归定义和保存已知子问题解，本质上也是先分解到最底层然后每个子问题求解保存再向上合并。动态规划算法的运行时间与顶点和边的数量呈线性关系。动态规划算法要求可以划分彼此无关的子问题，且具有小的重叠子问题。子问题无关

2015-02-07 17:43:14 983

自制脚本语言的LR（1）编译器与解释器

自制脚本语言的LR(1)编译器与解释器

LR(1) parser generator V0.1

空空如也