WEKO3
アイテム
SOFTWARE VERIFICATION BASED ON TRANSFORMATION FROM PROCEDURAL PROGRAMS TO REWRITE SYSTEMS
http://hdl.handle.net/2237/10447
http://hdl.handle.net/2237/104470b1f25d3-8857-4ea3-a64c-6feaf1fdd0fe
名前 / ファイル | ライセンス | アクション |
---|---|---|
p129-130_Software_verification.pdf (7.6 MB)
|
|
Item type | 会議発表論文 / Conference Paper(1) | |||||
---|---|---|---|---|---|---|
公開日 | 2008-08-25 | |||||
タイトル | ||||||
タイトル | SOFTWARE VERIFICATION BASED ON TRANSFORMATION FROM PROCEDURAL PROGRAMS TO REWRITE SYSTEMS | |||||
言語 | en | |||||
著者 |
Nishida, Naoki
× Nishida, Naoki× Furuichi, Yuki× Sakai, Masahiko× Kusakari, Keiichirou× Sakabe, Toshiki |
|||||
アクセス権 | ||||||
アクセス権 | open access | |||||
アクセス権URI | http://purl.org/coar/access_right/c_abf2 | |||||
抄録 | ||||||
内容記述タイプ | Abstract | |||||
内容記述 | In our research, taking advantage of methods for proving inductive theorems, we apply them to verification of procedural programs written in a subset of the C language with integer type. More precisely, we transform procedural programs to equivalent rewrite systems, and verify that the rewrite systems satisfy the specifications, using the inductionless induction mehtod. In this paper, we briefly summarize the outline of our approach. | |||||
言語 | en | |||||
出版者 | ||||||
出版者 | INTELLIGENT MEDIA INTEGRATION NAGOYA UNIVERSITY / COE | |||||
言語 | en | |||||
言語 | ||||||
言語 | eng | |||||
資源タイプ | ||||||
資源タイプ識別子 | http://purl.org/coar/resource_type/c_5794 | |||||
資源タイプ | conference paper | |||||
書誌情報 |
en : 4th Symposium on "Intelligent Media Integration for Social Information Infrastructure" December 7-8, 2006 p. 129-130, 発行日 2006-12 |
|||||
フォーマット | ||||||
値 | application/pdf | |||||
著者版フラグ | ||||||
値 | publisher | |||||
URI | ||||||
識別子 | http://hdl.handle.net/2237/10447 | |||||
識別子タイプ | HDL |