堆栈机器相关硕士博士期刊学术论文 - 信丰网

堆栈机器相关论文

堆栈机器简单编译器在Isabelle/HOL中的验证

堆栈机器(stack machine)作为一种计算模型,不仅执行部分高级语言的效率很高,而且其编译器也简单、快速.在形式化领域,目前已有不......

期刊

堆栈机器编译器定理证明器形式化方法 Isabelle/HOL stack machinecompilertheorem proversformal met

看过本文同时还关注