说明:核心抽象语法
概述
L4核心概念的抽象语法。
档案:
Syntax.hs数据类型的声明(类型,类和实例,模块,表达式,定时自动机)
Exec.hs执行/评估表达
TaToUppaal.hs将定时自动机转换为Uppaal XTA格式,请参阅
从L4 BNFC到核心抽象语法的TransL.hs转换。 非常不完整。
Typing.hs抽象语法的类型检查。
Test.hs文件Test.hs用于测试,可以丢弃。
上层
与GUI交互使用
使用java -jar uppaal.jar &启动Upp
<weixin_42101720> 上传 | 大小:35kb