RangeAnalysis

时间:2024-05-18 22:06:47
【文件属性】:

文件名称: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' #


网友评论