伊娃·达鲁洛娃;维克多·昆卡 真实的声音汇编。 (英语) 兹比尔1284.68393 2014年1月22日至24日,美国加利福尼亚州圣地亚哥,POPL’14,第41届ACM SIGPLAN-SIGACT编程语言原理研讨会会议记录。纽约州纽约市:计算机协会(ACM)(ISBN 978-1-4503-2544-8)。235-248 (2014). 引用于8文件 MSC公司: 60年第68季度 规范和验证(程序逻辑、模型检查等) 65克50 舍入误差 68号30 软件工程的数学方面(规范、验证、度量、需求等) 68T20型 人工智能背景下的问题解决(启发式、搜索策略等) 关键词:汇编;嵌入式系统;定点算法;浮点运算;数值近似;舍入误差;科学计算;敏感性分析;验证 PDF格式BibTeX公司 XML格式引用 \textit{E.Darulova}和\textit{V.Kuncak},摘自:第41届ACM SIGPLAN-SIGACT编程语言原理研讨会论文集,POPL’14,美国加利福尼亚州圣地亚哥,2014年1月22日至24日。纽约州纽约市:计算机协会(ACM)。235-248(2014;Zbl 1284.68393) 全文: 内政部 arXiv公司