名称: 操作语义构建器 描述: 为编程语言定义和测试操作语义规范 允许使用的工具:
- Bash
- Read
- Write
- Edit
- Glob
- Grep 元数据: 专业领域: 计算机科学 领域: 科学 类别: 编程语言理论 阶段: 6
操作语义构建器
目的
为编程语言规范和测试提供定义操作语义的专家指导。
能力
- 小步语义规则生成
- 大步语义规则生成
- 求值上下文定义
- 替换和绑定处理
- 语义执行/测试
- 等价性证明
使用指南
- 语义风格: 选择小步或大步语义
- 规则定义: 定义规约/求值规则
- 上下文: 如有需要，定义求值上下文
- 测试: 在测试程序上执行语义
- 验证: 验证预期行为
工具/库
- PLT Redex
- K Framework
- Ott
- Maude