KAMEYAMA Yukiyoshi
- Articles
- Improvement on Real-time Model Checking Using Abstraction-Refinement
中島 一; 亀山 幸義
情報処理学会論文誌. プログラミング/45(12)/pp.11-24, 2004-11 - 自由な時間の使い方
亀山 幸義
コンピュータソフトウェア/23(1)/p.93, 2006-01 - Towards Modeling-error Detection Using Multi-valued Model Checking
辰巳 淳朗; 亀山 幸義
情報処理学会論文誌. プログラミング/47(11)/p.50, 2006-07 - Construction of a Type System for Layered Control Operators
鈴木 輝信; 亀山 幸義
情報処理学会論文誌. プログラミング/48(10)/pp.138-150, 2007-06 - Formal Semantics and Implementation of Dynamic Environments and Delimited Continuations
田中 陽; 亀山 幸義
情報処理学会論文誌. プログラミング/48(12)/p.67, 2007-08 - The Design and an Implementation of Pattern C++
佐々木 卓; 亀山 幸義
情報処理学会論文誌. プログラミング/48(12)/p.68, 2007-08 - A Type System for Dynamic Delimited Continuations
Yonezawa Takuo; Kameyama Yukiyoshi
IPSJ Digital Courier/4(0)/pp.182-192, 2008-01 - A Type System for Dynamic Delimited Continuations
Yonezawa Takuo; Kameyama Yukiyoshi
Information and Media Technologies/3(2)/pp.316-326, 2008-01 - 1Q-5 Implementation of a Calculus for Multi-stage programming
杉浦 啓介; 亀山 幸義
全国大会講演論文集/70(1)/p.303, 2008-03 - A Type System for Dynamic Delimited Continuations
YONEZAWA TAKUO; KAMEYAMA YUKIYOSHI
情報処理学会論文誌. プログラミング/49(3)/pp.28-38, 2008-03 - FOREWORD
KAMEYAMA Yukiyoshi
IEICE Transactions on Information and Systems/92(5)/pp.971-971, 2009-01 - Improving Error Messages in Type System
Kustanto Cynthia; Kameyama Yukiyoshi
Information and Media Technologies/5(4)/pp.1241-1254, 2010-01 - Scalable Web Application Framework based on Delimited Continuation
田中 麻峰; 亀山 幸義
Technical report of IEICE. SS/109(456)/pp.163-168, 2010-03 - Improving Error Messages in Type System
Cynthia Kustanto; Yukiyoshi Kameyama
IPSJ Online Transactions/3(4)/pp.43-56, 2010-09 - Special Section on Formal Approach FOREWORD
Kameyama Yukiyoshi
IEICE TRANSACTIONS ON INFORMATION AND SYSTEMS/E92D(5)/pp.971-971, 2009-05
- Improvement on Real-time Model Checking Using Abstraction-Refinement