Verification of Substitution Theorem Using HOL
- 期刊名称IPSJ Online Transactions
- 作者Koai, Takayuki; Tatsuta, Makoto
- 卷第5卷
- 电子ISSN1882-6660
- 文件大小173.41KB
- 发表时间2012
- DOI10.2197/ipsjtrans.5.105
- 页码105-113
Introducing Composite Layers in EventCJKamina, Tetsuo; Aotani, Tomoyuki; Masuhara, Hidehiko · IPSJ Online Transactions · 2013
Accumulative Computation on MapReduceLiu, Yu; Emoto, Kento; Matsuzaki, Kiminori; Hu, Zhenjiang · IPSJ Online Transactions · 2014
Product Derivatives of Regular ExpressionsSuzuki, Taro; Okui, Satoshi · IPSJ Online Transactions · 2008
Interactive Application Scheduling with GridRPCSun, Hao; Aida, Kento · IPSJ Online Transactions · 2010
Associative Search on Shogi Game RecordsViriyayudhakorn, Kobkrit; Ogawa, Mizuhito · IPSJ Online Transactions · 2011
Improving Error Messages in Type SystemKustanto, Cynthia; Kameyama, Yukiyoshi · IPSJ Online Transactions · 2010
Verification of Substitution Theorem Using HOLKoai, Takayuki; Tatsuta, Makoto · IPSJ Online Transactions · 2012
Improving Automatic Centralization by Version SeparationMa, Lei; Artho, Cyrille; Sato, Hiroyuki · IPSJ Online Transactions · 2014