Document analysis
COMP4650 notes
COMP4650 notes
It is my first time to participate in a real world project from the design phase to product phase.
This paper provides a formal definition of liveness property and has shown that no less restrictive definition would be correct. It also proves some theorems based on the definition. After the formalization of safety property, this paper provides some insight on liveness properties and shows that all properties are the intersection of safety and liveness properties.
This research is important because it converts the definition of liveness property from “someting good will happen” to an expression which helps understand the meaning and characteristics of liveness properties. As mentioned in the conclusion, ‘good things’ and ‘bad things’ are not well-defined concepts, the topological definition given in the paper indeed gives correct intuition about liveness properties. Though it might be unnecessary, when temporal logic been mentioned the first time, it should be given some explanations.
In general, this paper clearly states the definition the liveness properties and explains in an understandble way.
The more you know about operating system, the better you can cooperate with it.
Gain more insight about concurrency.
Enjoy learning haskell but not only haskell.
翻了很久也没找到Mac的安装教程(可能是太简单了)，
是否有遇到过写着写着想回到之前版本，却又不记得具体实现；又或是想和队友共享代码，每次修改发送文件；抑或是想换个电脑写却不想用email等搬运全部文件这类烦不胜烦类似的问题，伟大的程序员们自然早就为我们造好了轮子，那就是版本控制的利器——Git以及cloud based Github。本教程也主要讲Git与Github的使用。