解释 swMATH ID: 9095 软件作者: 加尔·拉里尔、马蒂亚斯·阿古德、贝特朗·珍妮特 描述: Interproc是一个用于带有(递归)过程调用的小型命令式语言的过程间分析器。它推导出分析程序的数值变量的不变量。它旨在成为一种教学和实验工具。它还演示了APRON库的功能和Fixpoint库的使用。它在OCaml中实现。 主页: http://pop-art.inrialpes.fr/people/bjeannet/bjeanet-forge/interproc/ 相关软件: 停机坪;ASTREE公司;YOGI公司;爆破;污水处理厂;InvGen公司;拉克威特;派克斯;飞镖;PPL(公私合营);R(右);跟踪器;克拉托斯;CORA公司;HyLAA公司;流量*;海森;C2e2型;STRONG公司;SpaceEx公司 引用于: 8文件 全部的 前5名被24位作者引用 1 亚历山德罗·阿巴特 1 亚历克斯·艾肯 1 吉安卢卡·阿马托 1 哈桑·阿姆贾德 1 Richard博纳特 1 达里奥·卡塔鲁扎 1 陈丽倩 1 德克萨斯州贾法 1 丹尼尔·科宁 1 Vijayaraghavan Murali 1 豪尔赫·纳瓦斯(Jorge A.Navas)。 1 阿迪蒂亚·维塔尔·诺里 1 毛里齐奥·帕顿 1 马克·佩勒格林 1 Raghavan拉曼 1 安德鲁·桑托萨。 1 维威克·萨卡尔 1 彼得·施拉梅尔 1 弗朗西丝卡·斯科扎里 1 拉胡尔·沙尔马 1 Vechev,Martin T。 1 王,季 1 吴雪光 1 埃兰·雅哈夫 2篇连载文章中引用 1 符号计算杂志 1 自动推理杂志 在4个字段中引用 6 计算机科学(68至XX) 1 统计学(62-XX) 1 数值分析(65-XX) 1 运筹学、数学规划(90-XX) 按年份列出的引文