【文件属性】：
文件名称：whileplus:UNIPD软件验证课程的While +教育编程语言的口译员
文件大小：137KB
文件格式：ZIP
更新时间：2021-03-29 01:40:03
Haskell
While +语言翻译
While +教育性编程语言的指称语义的解释器。 While语言在《》一书的第一章中进行了。 While +只是原始While语言的扩展。
这是由Francesco Ranzato教授教授的帕多瓦大学软件验证课程第一部分的学术项目。
解释器依靠Knaster-Tarski-Kleene定点序列来评估while和repeat'循环的语义。 有关更多信息，请参阅项目。
生成并运行
解释器是用Haskell编写的，它依赖于工具来管理第三方依赖项和构建系统。
安装堆栈
在Unix系统上：
curl -sSL https://get.haskellstack.org/ | sh
在Windows系统上，请下载。
构建whileplus解释器
make build
运行解释器REPL
make run
REPL命令
:load FILE
Load a While+
【文件预览】：
whileplus-master
----hie.yaml(64B)
----.github()
--------workflows()
----stack.yaml(2KB)
----LICENSE(1KB)
----app()
--------Main.hs(297B)
----src()
--------Lang.hs(3KB)
--------State()
--------Preprocess.hs(1KB)
--------FixPoint.hs(2KB)
--------Repl()
--------Parser.hs(9KB)
--------Eval()
--------Check()
--------Desugar()
--------LangException.hs(915B)
--------Pretty.hs(408B)
----Setup.hs(46B)
----examples()
--------sugarBoolLogic(462B)
--------pairAssignment(50B)
--------fibonacci(280B)
--------checkError(15B)
--------repeatNative(57B)
--------factorial(128B)
--------sugarBoolArithRelation(579B)
--------arithBinOpSugar(78B)
--------for(278B)
--------repeatSugar(56B)
--------parseError(14B)
----.gitignore(1010B)
----stack.yaml.lock(541B)
----whileplus.cabal(2KB)
----Makefile(123B)
----README.md(6KB)
----report.pdf(102KB)