文件名称:zam-test:ZAM(锌抽象机)实验代码
文件大小:24KB
文件格式:ZIP
更新时间:2024-07-18 15:15:27
OCaml
zam测试 ZAM(锌抽象机)实验代码 实现以下4种模式 递归编写的解释器(-eval_direct) ZAM (-zam_list) 列出环境 ZAM (-zam_array) 将环境表示为数组 ZAM (-zam_fast1) 用一个简单的设备加速 不使用 ref 进行递归的 ZAM (-zam_pure) ZAM (-zam_pure2) 基于讲义 执行方式 使用make字节码编译。 使用make nc编译本机代码。 minicaml选项文件名执行。 例子: $ ./minicaml -eval_direct test/tarai.miniml rtime = 0.864892 result = 7 $ ./minicaml -zam_fast1 test/tarai.miniml rtime = 1.360640 result = 7 该时间是评估所需的实际时间,不包括
【文件预览】:
zam-test-master
----.gitignore(54B)
----zam_list.ml(6KB)
----Makefile(214B)
----main.ml(2KB)
----zam_fast1.ml(6KB)
----util.ml(748B)
----zam_pure2.ml(6KB)
----zam_array.ml(6KB)
----README.md(2KB)
----syntax.ml(374B)
----OCamlMakefile(35KB)
----parser.mly(1KB)
----test()
--------fib_cps.miniml(177B)
--------fib.miniml(118B)
--------tarai.miniml(198B)
--------fact.miniml(92B)
--------sum.miniml(142B)
----eval_direct.ml(2KB)
----lexer.mll(1KB)
----zam_pure.ml(6KB)