文件名称：FLK-Semantics:在 Idris 中为 FLK 语言编写小步和大步操作语义
文件大小：10KB
文件格式：ZIP
更新时间：2024-07-04 03:04:32
Idris
FLK-语义 在 Idris 中为 FLK 语言编写小步和大步操作语义 FLK FLK 是Turbak 和Gifford 在Design Concepts in Programming Languages 中描述的一种小型函数式语言。 方法 FLK_sos和FLK_bos分别给出了FLK_sos和大步操作语义的FLK_bos 。 它们还包括评估器，这些评估器带有证明它们符合给定语义的证据（尽管 sos 评估器目前存在错误）。
【文件预览】：
FLK-Semantics-master
----README.md(493B)
----FLK_ast.idr(4KB)
----LICENSE(1KB)
----Fancy_Ops.idr(2KB)
----FLK_bos.idr(6KB)
----Sos_main.idr(2KB)
----FLK_sos.idr(14KB)
----Makefile(260B)
----Bos_main.idr(450B)