BT

如何利用碎片时间提升技术认知与能力? 点击获取答案

rss
他的粉丝

Idris趋近发布1.0版

作者 Sergio De Simone 关注 19 他的粉丝 ,译者 Rays 关注 3 他的粉丝   发布于  2016年12月30日

基于依赖类型的Idris语言即将完成0.99版本,其1.0版有望于2017年2月左右发布。Idris是一种纯函数式编程语言,目标在于注重语言通用性及满足系统编程所需效率的同时,让更多的编程人员使用基于类型的程序验证技术。

他的粉丝

LINQ to Z3,世界上最快的定理证明程序

作者 Jonathan Allen 关注 615 他的粉丝 ,译者 朱永光 关注 0 他的粉丝   发布于  2010年12月2日 1

微软研究院宣称,Z3是世界上最快的定理证明程序。Z3被设计作为其他应用程序的底层工具,它不适合单独使用。而嵌入到定理证明程序中的时候,在大量的项目中都有应用,包括Spec#/Boogie、Pex、Yogi、 Vigilante、SLAM、F7、SAGE、VS3、FORMULA和HAVOC。并且,Bart De Smet编写了LINQ to Z3,让这个工具变得无比易用。

登陆InfoQ,与你最关心的话题互动。


找回密码....

Follow

关注你最喜爱的话题和作者

快速浏览网站内你所感兴趣话题的精选内容。

Like

内容自由定制

选择想要阅读的主题和喜爱的作者定制自己的新闻源。

Notifications

获取更新

设置通知机制以获取内容更新对您而言是否重要

BT