|
|
JAIST Repository >
b. 情報科学研究科・情報科学系 >
b10. 学術雑誌論文等 >
b10-1. 雑誌掲載論文 >
著者: "小川, 瑞史"
4 著者名表示.
| 発行日 | タイトル |
著者 |
|---|
| 20-Oct-1988 | 広域データフロー解析に基づく関数型プログラムの変則性検出 | 小川, 瑞史; 小野, 諭; Ogawa, Mizuhito; Ono, Satoshi |
| 20-Mar-1997 | 高階書換え系の単一正規形性 | 真野, 健; 小川, 瑞史; Mano, Ken; Ogawa, Mizuhito |
| 20-Nov-1997 | 非線形TRSのE重なり性について | 松浦, 邦博; 大山口, 通夫; 太田, 義勝; 小川, 瑞史; Matsuura, Kunihiro; Oyamaguchi, Michio; Ohta, Yoshikatsu; Ogata, Mizuhito |
| 15-Oct-2003 | モデル検査技術を利用したプログラム解析器の生成ツール | 山岡, 裕司; 胡, 振江; 武市, 正人; 小川, 瑞史; YAMAOKA, Yuji; HU, Zhenjiang; TAKEICHI, Masato; OGAWA, Mizuhito |
|
