位置：成果数据库 > 期刊 > 期刊详情页
Robustness Analysis of Floating-Point Programs by Self-Composition
  • ISSN号：1110-757X
  • 期刊名称：Journal of Applied Mathematics
  • 时间：2014
  • 页码：-
  • 相关项目：面向数值程序安全性与鲁棒性的抽象解释技术
作者： Jiahong Jiang|Banghu Yin|Wei Dong|Ji Wang|
同期刊论文项目
面向数值程序安全性与鲁棒性的抽象解释技术
期刊论文 6 会议论文 7
同项目期刊论文
Static analysis of lists by combining shape and numerical abstractions
Recent advances on trusted computing in China
程序设计教学中学生程序设计风格的养成