机译:通过递减顺序的抽象解释来改善程序分析的结果
Univ Grenoble Alpes, CNRS, Grenoble INP, VERIMAG, F-38000 Grenoble, France;
Program analysis; Abstract Interpretation; Widening; narrowing; Fixpoint approximation; Fixpoint improvement;
机译:通过两阶段抽象解释改进逻辑程序的执行模型
机译:静态型分析通过抽象解释Python计划
机译:使用大小类型的抽象解释通过逻辑程序进行资源使用分析
机译:结合约束编程和抽象解释进行浮点程序的价值分析
机译:抽象解释责任分析
机译:在减少针对抗凝和慢性疼痛的基层医疗疾病管理计划中通过减少等待时间来利用患者流量分析来提高患者就诊效率:一项质量改进研究
机译:通过抽象解释超出降低序列的提高计划分析结果