...
机译:命令式编程语言的行为规范
School of Information Science, Japan Advanced Institute of Science and Technology, Nomi-shi, 923-1292 Japan;
semantics of imperative programs; behavioral specification; CafeOBJ;
机译:势在必行与陈述约束规范语言:受控实验
机译:命令规划语言的算法完整性
机译:用于命令式编程语言静态分析的符号分析框架
机译:基于可扩展代理行为规范语言的基于行为的机械手编程
机译:图表搜索作为必要/程序编程语言的功能
机译:行为分析语言工具和行为分析语言程序:简短回顾
机译:C,Lambda微积分和编译器验证-在Haskell中研究用于命令式编程语言的正式规范的纯功能技术及其编译器的认识论验证