计算机理论知识
文章平均质量分 94
Tridu33
All is ones
展开
-
mark点Z3学习资料整理
mark点Z3资料文章目录Anything is NothingLess is MoreSMTz3 classeslogic programming Reasoning符号推理策略strategiesFixed-point关系代数datalog程序分析验证Anything is Nothing前几个月科研用到z3-solver,学习了下,主要注释写在源码上进行学习和试验,现在记下相关的学习资源方便自己日后查用。github仓库相关官方资料论文资料汇总:(大部分都不需要着急看,进阶按需查找才需要)原创 2021-08-01 15:56:38 · 473 阅读 · 0 评论 -
哲学家晚餐问题的Haskell求解
最近上课讲到,哲学家晚餐死锁避免,然后发现张凇这里的代码是空白,0Bite,以为是我自己的下载错了,点开第一版源代码,发现:也是空白,然后第二版的代码好像也没找了,然后找到了神网站http://rosettacode.org/wiki/Rosetta_Code哲学家晚餐问题全家桶 import Control.Monadimport Control.Concurrentimport C...原创 2019-05-27 15:00:57 · 458 阅读 · 0 评论 -
Haskell大世界+思考
文章目录基石般灵活表现自由的抽象范式编程语言是什么?推荐论文大佬建议MetaHaskell 实现类型系统语言抽象/模式问题解决方案Haskell在工业界有哪些实际的应用?关于fp的一些思考递归是循环的超集。同样是a higher level of abstraction轮子封装。世界运作的规律的更加高明的现实建模的抽象万花筒,就是编程语言百态的根本原因Haskell,你就是话题之王?令人敬畏的Ha...原创 2019-09-02 10:43:43 · 8911 阅读 · 0 评论