静态分析越来越被认为是程序验证、错误检测、编译器优化、程序理解和软件维护的基本工具。国际静态分析系列研讨会(SAS)是展示该领域理论、实践和应用进展的主要场所。官网链接:http://www.staticanalysis.org/
视觉 | Norway:北方之路上,最快乐的人
三联生活周刊
0+阅读 · 2018年2月24日
如何系统地学习数据挖掘?
数据库开发
10+阅读 · 2017年10月22日
9个最佳的大数据处理编程语言
R语言中文社区
0+阅读 · 2017年10月25日
这个App骗我能看到鬼。。。
宅客频道
0+阅读 · 2019年8月15日
重磅!腾讯正式发布2017微信数据报告!
数据玩家
0+阅读 · 2017年11月9日
长租公寓市场月报(2017年11月)
数据玩家
0+阅读 · 2017年12月7日
想成为数据科学家?试试费曼技巧!
论智
1+阅读 · 2018年3月15日
微信扫码咨询专知VIP会员