University of Tsukuba;
Nagoya University;
University of Tokyo;
Relative Completeness; Higher-Order Programs; Software Model Checking; Type Inference;
机译:自动化相对完整的高阶功能程序的验证
机译:在Maude中执行和验证高阶功能命令程序
机译:高阶功能程序的时间验证
机译:自动化高阶功能计划的相对完整验证
机译:经验证的功能程序编译的高阶抽象语法方法。
机译:自动发现人类基因表达程序的功能通用性
机译:自动化相对完整的高阶功能程序验证
机译:基于Lambda-Calculus和集抽象的实用高阶泛函和逻辑程序设计