An axiomatic basis for computer programming

zihaoli-cn / compiler-paper-reading

A group of students who are interested in Compilers, and they want to improve themselves together.

Creative Commons Zero v1.0 Universal

26 stars 0 forks source link

Closed zihaoli-cn closed 2 years ago

zihaoli-cn commented 2 years ago

程序验证领域的开山之作，google一下这篇论文，你能找到相当多的视频、Quora和Stack Exchange上的问题。文章仅6页，60年代的论文，ACM Digital Library上有3600多引用

zihaoli-cn commented 2 years ago