位置：成果数据库 > 期刊 > 期刊详情页
Static analysis of lists by combining shape and numerical abstractions
  • ISSN号：0167-6423
  • 期刊名称：Science of Computer Programming
  • 时间：2014.12.1
  • 页码：320-342
  • 相关项目：面向数值程序安全性与鲁棒性的抽象解释技术
作者： Liqian Chen|Renjian Li|Xueguang Wu|Ji Wang|
同期刊论文项目
面向数值程序安全性与鲁棒性的抽象解释技术
期刊论文 6 会议论文 7
同项目期刊论文
Recent advances on trusted computing in China
程序设计教学中学生程序设计风格的养成
Robustness Analysis of Floating-Point Programs by Self-Composition