Implementing application-specific Object-Oriented theories in HOL
Implementing application-specific Object-Oriented theories in HOL
复制标题
在 HOL 中实现特定于应用程序的面向对象理论
DOI：
--
复制
发表时间：
2005
期刊：
影响因子：
--
通讯作者：
Takuya Katayama
中科院分区：
文献类型：
--
作者：
Kenro Yatake;Toshiaki Aoki;Takuya Katayama
登录
查看更多内容
用于验证顺序 Java 程序的类型理论内存模型
DOI：
10.1007/978-3-540-44616-3_1
发表时间：
1999
期刊：
--
影响因子：
--
作者：
J. Berg;M. Huisman;B. Jacobs;E. Poll
通讯作者：
E. Poll
Isabelle/HOL 中 Java 的霍尔逻辑
DOI：
--
发表时间：
2001
期刊：
Concurrency and Computation
影响因子：
--
作者：
David von Oheimb
通讯作者：
David von Oheimb
类型化面向对象语言的逻辑基础
DOI：
10.1007/978-0-387-35358-6_26
发表时间：
1998
期刊：
--
影响因子：
--
作者：
A. Poetzsch;Peter Müller
通讯作者：
Peter Müller
高阶逻辑中基于记录子类型的面向对象验证
DOI：
10.1007/bfb0055146
发表时间：
1998
期刊：
International Conference on Theorem Proving in Higher Order Logics
影响因子：
--
作者：
Wolfgang Naraschewski;M. Wenzel
通讯作者：
M. Wenzel
虚拟类型的静态安全替代方案
DOI：
10.1007/bfb0054106
发表时间：
1998
期刊：
J. Object Technol.
影响因子：
--
作者：
Kim B. Bruce;Martin Odersky;P. Wadler
通讯作者：
P. Wadler