Computing Properties of Numerical Imperative Programs by Symbolic Computation

Jacques Carette; Ryszard Janicki

首页> 外文期刊>Fundamenta Informaticae >Computing Properties of Numerical Imperative Programs by Symbolic Computation

【24h】

Computing Properties of Numerical Imperative Programs by Symbolic Computation

机译：通过符号计算计算数值命令式程序的属性

获取原文

获取原文并翻译 | 示例

掌桥外文数据库（机构版） >>

开具论文收录证明 >>

文献代查 >>

页面导航

摘要
著录项
相似文献
相关主题

摘要

We show how properties of an interesting class of imperative programs can be calculated by means of relational modeling and symbolic computation. The ideas of [5, 26] are implemented using symbolic computations based on Maple [30].

机译：我们展示了如何通过关系建模和符号计算来计算有趣的命令式程序类的属性。 [5，26]的思想是使用基于Maple [30]的符号计算实现的。

著录项

来源
《Fundamenta Informaticae》 |2007年第3期|p.125-146|共22页
作者
Jacques Carette; Ryszard Janicki;
展开▼
作者单位

Department of Computing and Software, McMaster University Hamilton, Ontario, L8S 4K1 Canada;

展开▼
收录信息美国《科学引文索引》(SCI);美国《工程索引》(EI);
原文格式 PDF
正文语种 eng
中图分类计算技术、计算机技术;
关键词

相似文献

外文文献
中文文献
专利

1. Proving total correctness and generating preconditions for loop programs via symbolic-numeric computation methods [J] . Wang LIN, Min WU, Zhengfeng YANG, Frontiers of computer science in China . 2014,第2期

机译：通过符号数字计算方法证明循环程序的整体正确性并生成前提条件
2. Approximate Bisimulation and Optimization of Software Programs Based on Symbolic-Numeric Computation [J] . Hui Deng, Jinzhao Wu Mathematical Problems in Engineering . 2013,第pta11期

机译：基于符号数字计算的近似双仿真和软件程序优化
3. Approximate Bisimulation and Optimization of Software Programs Based on Symbolic-Numeric Computation [J] . HuiDeng, JinzhaoWu Mathematical Problems in Engineering: Theory, Methods and Applications . 2013,第5期

机译：基于符号数字计算的近似双仿真和软件程序优化
4. Proving Total Correctness of Loop Programs via Symbolic-Numeric Computation Method [C] . Wang Lin, Min Wu, Zhengfeng Yang, Proceedings of the fourth international conference on mathematical Aspects of computer and information sciences. . 2011

机译：通过符号数值计算方法证明循环程序的完全正确性
5. Preserving Numerical Program Properties under Computing Uncertainties [D] . Gu, Yijia. 2021

机译：在计算不确定性下保留数值程序性质
6. Assessing the influence of the rhizosphere on soil hydraulic properties using X-ray computed tomography and numerical modelling [O] . Keith R. Daly, Sacha J. Mooney, Malcolm J. Bennett, -1

机译：使用X射线计算机断层扫描和数值模拟评估根际对土壤水力特性的影响
7. The performance of available methods for computing the polynomial coefficients of the quadratic function approximation is evaluated. By comparing the numerical results to those obtained by symbolic methods, for a variety of functions, the direct solution of the matrix equation and a variety of recursive algorithms are all shown to be numerically unstable. AMS classification [O] . Balakrishnan Easwaran, McInnes A.W. 1991

机译：评估了用于计算二次函数逼近的多项式系数的可用方法的性能。通过将数值结果与通过符号方法获得的数值结果进行比较，对于多种函数，矩阵方程的直接解法和多种递归算法均显示出数值上的不稳定。 AMS分类
8. Application of Optical Computing to Problems with Symbolic Computations [R] . Kushner, B. G. 1987

机译：光学计算在符号计算问题中的应用

Computing Properties of Numerical Imperative Programs by Symbolic Computation

摘要

著录项

相似文献

相关主题

期刊订阅