権藤 克彦


ネイティブアセンブリコードを出力する教育用コンパイラ(XCC)と,水平スライスが可能な可視化ツール(MieruCompiler)
権藤 克彦 福安 直樹 荒堀 喜貴 
誌名:   電子情報通信学会論文誌 D
発行日: 2012/05/01
Vol. J95-D  No. 5  pp. 1225-1241
論文種別:  論文
専門分野: ソフトウェア工学
キーワード: 
コンパイラ講義コード生成ネイティブアセンブリコード可視化プログラム理解
 あらまし | 本文:PDF(6.8MB)

誤解放を防ぐための新しい型修飾子strict_lifetime
鮎川 力也 権藤 克彦 荒堀 喜貴 
誌名:   電子情報通信学会論文誌 D
発行日: 2012/02/01
Vol. J95-D  No. 2  pp. 217-224
論文種別:  論文
専門分野: ソフトウェア工学
キーワード: 
コンパイラ最適化器ガベージコレクタファイナライザ生存期間volatile
 あらまし | 本文:PDF(924.8KB)

広範な実用Cプログラムに適用可能かつ高精度な動的境界検査ツール
荒堀 喜貴 権藤 克彦 前島 英雄 
誌名:   電子情報通信学会論文誌 D
発行日: 2010/10/01
Vol. J93-D  No. 10  pp. 1851-1865
論文種別:  特集論文 (システム開発論文特集)
専門分野: ソフトウェア開発支援
キーワード: 
ソフトウェア工学ソフトウェア開発環境テストデバッグ
 あらまし | 本文:PDF(289.9KB)

DRACULA:シグナルによるデータ競合の検出ツール
田原 貴光 権藤 克彦 
誌名:   電子情報通信学会論文誌 D
発行日: 2008/02/01
Vol. J91-D  No. 2  pp. 449-458
論文種別:  論文
専門分野: ソフトウェア工学
キーワード: 
競合状態データ競合UNIXシグナル開発ツール/procファイルシステム
 あらまし | 本文:PDF(251.6KB)

プログラム理解のための実装レベル制約とソースコード間の追跡性の整理保存法
大場 勝 権藤 克彦 
誌名:   電子情報通信学会論文誌 D
発行日: 2007/06/01
Vol. J90-D  No. 6  pp. 1445-1461
論文種別:  論文
専門分野: ソフトウェア工学
キーワード: 
プログラム理解ドキュメンテーション実装レベル制約コンセプトキーワード追跡性
 あらまし | 本文:PDF(619.2KB)

中レベル抽象・薄い中間層・追跡性の実践によるコンパクトな教育用オペレーティングシステムudosの設計と実装
権藤 克彦 大場 勝 
誌名:   電子情報通信学会論文誌 D
発行日: 2007/05/01
Vol. J90-D  No. 5  pp. 1194-1208
論文種別:  論文
専門分野: ソフトウェア工学
キーワード: 
教育用OSプログラム理解抽象化中間層追跡性
 あらまし | 本文:PDF(551KB)

コンパクトなANSI CインタプリタXCIの設計と実装
権藤 克彦 川島 勇人 
誌名:   電子情報通信学会論文誌 D
発行日: 2003/03/01
Vol. J86-D1  No. 3  pp. 159-168
論文種別:  論文
専門分野: ソフトウェア工学
キーワード: 
ANSI Cプログラミング言語インタプリタtypedef名抽象構文木
 あらまし | 本文:PDF(372.6KB)

オブジェクト指向属性文法OOAGのソフトウェア開発環境への応用
権藤 克彦 今泉 貴史 萩原 威志 片山 卓也 
誌名:   電子情報通信学会論文誌 D
発行日: 1995/05/25
Vol. J78-D1  No. 5  pp. 478-491
論文種別:  論文
専門分野: ソフトウェア基礎
キーワード: 
属性文法オブジェクト指向構造指向環境
 あらまし | 本文:PDF(953.4KB)