文件名称:RangeAnalysis
文件大小:729KB
文件格式:ZIP
更新时间:2024-05-18 22:06:47
Java
范围分析 该项目是北京大学“编译技术”的一部分。 介绍 该软件包为MiniC程序范围分析方法提供了一个简单的实现。 所有方法都遵循本文: 相依性 JRE或JDK> = 8.0 用法 直接使用罐子包装 cd RangeAnalysis # First enter the directory where RangeAnalysis.jar is in. # java -jar RangeAnalysis.jar FILE FUNC [l1,u1] [l2,u2] # There should not be any blank character inside every interval representation '[u,l]'. # Positive infinity and negative infinity are represented as 'inf' and '-inf' #