|
|||||
|
|
| 堆栈机器简单编译器在Isabelle/HOL中的验证 | |
| 引用本文： | 陈飞扬,徐文涛,孙绍山,朱浩,钱振江.堆栈机器简单编译器在Isabelle/HOL中的验证[J].常熟理工学院学报,2019,33(5). |
| 作者姓名： | 陈飞扬 徐文涛 孙绍山 朱浩 钱振江 |
| 作者单位： | 常熟理工学院计算机科学与工程学院,江苏常熟,215500;常熟理工学院计算机科学与工程学院,江苏常熟,215500;常熟理工学院计算机科学与工程学院,江苏常熟,215500;常熟理工学院计算机科学与工程学院,江苏常熟,215500;常熟理工学院计算机科学与工程学院,江苏常熟,215500 |
| 基金项目： | 江苏省高等学校"青蓝工程"中青年学术带头人项目;江苏省高等学校"青蓝工程"项目;江苏省高层次人才培养工程"项目;教育部天诚汇智创新促教基金;创新基金;创新基金 |
| 摘 要： | |
| 关 键 词： | 堆栈机器 编译器 定理证明器 形式化方法 Isabelle/HOL |
| 本文献已被 万方数据 等数据库收录！ | |