情報・システム-ソフトウェアサイエンス(開催日:1996/01/24)

タイトル/著者/発表日/資料番号
表紙

,  

[発表日]1996/1/24
[資料番号]
目次

,  

[発表日]1996/1/24
[資料番号]
並行処理プログラムの安全性破壊に対する順序列テスト基準の信頼性に関する一考察

伊東 栄典,  古川 善吾,  牛島 和夫,  

[発表日]1996/1/24
[資料番号]SS95-36
再帰やポインタを含むプログラムの効率的な依存関係解析法の提案

佐藤 慎一,  植田 良一,  井上 克郎,  

[発表日]1996/1/24
[資料番号]SS95-37
バイナリ・メソッドのための型付きオブジェクト計算

冨田 一郎,  石井 直宏,  

[発表日]1996/1/24
[資料番号]SS95-38
電子化した総合列車時刻表「ハイパー時刻表」の試作と評価

水戸 成,  有澤 誠,  

[発表日]1996/1/24
[資料番号]SS95-39
優先順位付き項書換え系の意味論とその強逐次性

酒井 正彦,  外山 芳人,  

[発表日]1996/1/24
[資料番号]SS95-40
等価変換に基づく構文解析と意味解釈の統合処理

高橋 征義,  赤間 清,  宮本 衛市,  

[発表日]1996/1/24
[資料番号]SS95-41
[OTHERS]

,  

[発表日]1996/1/24
[資料番号]