文件名称：featherweight-C:轻量级C，可执行语义
文件大小：24KB
文件格式：ZIP
更新时间：2024-06-10 08:35:54
C++
羽重C 轻量级C，可执行语义：解析器，类型检查器和抽象机 这种类似于C的小型语言包含多种类型的值：整数，布尔值，指针和函数指针。 关于控制流，它包括if语句，goto和函数调用。 解析器是使用flex和bison解析器生成器工具实现的。 轻量级C的语法在几个地方与C有所不同，以使语法更简单。 该语法没有任何解析器冲突（移位/减少或减少/减少）。 词法分析器规范 语法 解析器将程序文本转换为抽象语法树（AST）。 包括AST的结构定义以及用于创建和打印AST的函数声明。 包含函数定义。 类型检查器定义AST成为有效程序的含义。 如果AST无效，则类型检查器将打印错误并退出。 解析器和类型检查器一起指定Featherweight C的静态语义。 Featherweight C的动态语义是由抽象机器指定的。 抽象机器具有一些积极的特性，使其符合规范： 抽象机在程序的AST上操作
【文件预览】：
featherweight-C-master
----syntax.l(1KB)
----assoc_list.h(606B)
----typecheck.h(330B)
----Makefile(523B)
----interp.h(57B)
----interp.cc(19KB)
----cons_list.h(383B)
----LICENSE(12KB)
----typecheck.cc(6KB)
----ast.cc(8KB)
----examples()
--------goto1.fc(167B)
--------zero.fc(31B)
--------undef1.fc(223B)
--------fun2.fc(271B)
--------undef2.fc(102B)
--------fun1.fc(71B)
--------goto2.fc(193B)
--------funptr1.fc(105B)
--------fun-recur.fc(112B)
--------addrof1.fc(70B)
--------malloc1.fc(70B)
----README.md(6KB)
----syntax.y(6KB)
----ast.h(3KB)