机译:数据库查询语言和功能逻辑编程
机译:用功能数据流并行语言对程序进行形式验证
机译:迈向功能性编程语言的形式化可验证WCET分析
机译:用于优化数据库编程语言中的聚合函数的正式基础
机译:通过中间规范语言FunZ从Z规范派生纯功能程序的形式化方法。
机译:开发翻译和验证用于诊断主要亚洲语言的功能性肠病的增强型亚洲罗马三期问卷:罗马基金会-亚洲神经胃肠病学和动力协会工作小组报告
机译:C,Lambda微积分和编译器验证-在Haskell中研究用于命令式编程语言的正式规范的纯功能技术及其编译器的认识论验证