During the execution, we will concern certain program properties, such as program correctness, program halt, no exceptions, etc. For those program properties one may interest in, it can be divided into two categories:
- Safety Properties, It will not step into unexpected state during program execution (such as call with unmatched parameters, array subscript out of bounds, etc.):
- Liveness Properties, The expected state will arrive during program execution eventually(such as halt, get resource request must return successfully, etc.).
The topology of program properties will be introduced below. Finally, for any program property, it can be decomposed into the intersection of its safety component and liveness component.
如果对编译原理稍微有了解, 相信你一定知道语法, 语法分析(Parsing)和语法分析算法, 也见过语法分析器(Parser). 当需要对某个语言进行处理时语法分析是必不可少的阶段, 可是呢, 实现语法却很繁琐, 就算是递归下降算法LL家族在语法较复杂的时候实现也会变得很繁琐单调, 更别说对编码不友好的LR家族算法了. 很多小伙伴会选择使用语法器生成器(Parser generator)来编译产生语法分析器, 输入文法和相关的操作输出一个语法分析器的源码. 这是其中一种很不错的办法, 相信大家都知道, 这里呢介绍另一种比较少被了解的办法: 语法分析器组合子(Parser combinator).
In mathematics and, in particular, functional analysis, convolution is a mathematical operation on two functions f and g, producing a third function. Using the fast Fourier transform can implement discrete convolutions in \( O(nlogn) \) time.
#if you are the interviewee of SYSU-MSTC, congratulations, you passed the first interview and then choose the fascinating topic about F# for your second interview.
Introduction to F#
Decrypting substitution cipher by matching full text with over 110,000 English vocabularies in data base now is available.
Typing in the ciphertext, then output the possible solutions.
This time, my new post is not about Computer Science, but it is about a song and a man.
Our self introduction pages are available now, to click them and feel how handsome my friends are, LOL. You can click below links or find them in the right side bar.
Minghua Deng | About Me
Vincent Li | About Me
Pages by trilines | 2015
Workable!…Only the assignment part
It is so damn hard to debug for it!
Implement addition and multiplication in pure macros.