Verification of programs using Continuation based C
Yasutaka Higa
研究目的
コードセグメントとデータセグメントという単位を用いてプログラムを記述する手法を提案する
プログラムはコードセグメントという処理の集合として表され、相互に接続される
個々のコードセグメントを検証し、検証されたコードセグメントどうしの組み合わせによりプログラム全体を検証する
研究内容
コードセグメントとデータセグメントを用いたプログラムに対し、検証を行なう
コードセグメントどうしの接続の間にメタ計算として検証機構を導入する
コードを検証用に変更することなく、仕様を満たすか検証する
検証の対象として Gears OS のデータ構造を用いる
近況報告
印鑑ください(履修登録確認表, 研究計画表)
IPSJ PRO 申し込みについて
第109回 (PRO-2016-01)
https://sigpro.ipsj.or.jp/#schedule109
場所: 静岡県浜松
発表申し込み締切 04/22(Fri)
論文投稿締切 05/10(Tue)
日程 06/09(Thu)-06/10(Fri)
第110回 (PRO-2016-02) (SWoPP2016)
https://sigpro.ipsj.or.jp/#schedule110
場所: 長野県松本
発表申し込み締切: 05/09-05/13
論文締切: 07/08
日程: 08/08-08/10
