文件名称：baby-l4：l4语言的微型版本
文件大小：35KB
文件格式：ZIP
更新时间：2024-03-10 17:10:23
Haskell
核心抽象语法 概述 L4核心概念的抽象语法。 档案： Syntax.hs数据类型的声明（类型，类和实例，模块，表达式，定时自动机） Exec.hs执行/评估表达 TaToUppaal.hs将定时自动机转换为Uppaal XTA格式，请参阅 从L4 BNFC到核心抽象语法的TransL.hs转换。 非常不完整。 Typing.hs抽象语法的类型检查。 Test.hs文件Test.hs用于测试，可以丢弃。 上层 与GUI交互使用 使用java -jar uppaal.jar &启动Uppaal，然后使用File / Open system 。 加载模型（ *xml ）文件。 该视图通常在“编辑器”选项卡上打开（带有多个自动机的系统定义）。 在“模拟器”选项卡上，可以通过逐步执行方案来执行系统。 在“验证者”选项卡上，可以找到几个“查询”（与证明义务相对应）。 这些包含在与模型文件关
【文件预览】：
baby-l4-main
----grammars()
--------PropLatex.gf(3KB)
--------PropGer.gf(2KB)
--------PropSwe.gf(2KB)
--------PropEng.gf(1KB)
--------PropFre.gf(2KB)
--------PropPor.gf(1KB)
--------Prop.gf(2KB)
--------PropI.gf(4KB)
--------README.md(174B)
--------PropFin.gf(2KB)
----hie.yaml(778B)
----l4()
--------test.l4(459B)
--------cr.l4(2KB)
--------cr_considerations.txt(1KB)
--------drive_considerations.txt(775B)
----stack.yaml(325B)
----l4.bnfc(14KB)
----baby-l4.cabal(2KB)
----LICENSE(1KB)
----src()
--------Syntax.hs(10KB)
--------Typing.hs(15KB)
--------ToGF.hs(359B)
--------Exec.hs(2KB)
--------InterfaceNunchaku.hs(65B)
--------Parser.y(6KB)
--------Lexer.x(4KB)
----Setup.hs(46B)
----out()
--------bnfc.err(0B)
--------bnfc.out(464B)
----README.org(2KB)
----.gitignore(36B)
----stack.yaml.lock(1KB)
----Parser.y(4KB)
----exe()
--------Main.hs(467B)