関数型プログラミング言語向けの形式検証支援及び 開発支援システムの提案

才村, 徹也; 岡野, 浩三; 谷口, 健一

ソフトウェア・シンポジウム2004論文集, 2004, 53-57

アクセス数:518件（2026-04-05 18:43 集計）

固定URL: https://hdl.handle.net/11094/51281

閲覧可能ファイル 

ファイル フォーマット 利用条件 サイズ 閲覧回数 利用開始日 説明 information
SoftwareSymposium2004_53 pdf なし 1.05 MB 96 2015.03.09 出版社版/publisher  

論文情報

ファイル出力 EndNote Basic出力 Mendeley出力

タイトル
関数型プログラミング言語向けの形式検証支援及び 開発支援システムの提案
カンスウガタ　プログラミング　ゲンゴ　ムケ　ノ　ケイシキ　ケンショウ　シエン　オヨビ　カイハツ　シエン　システム　ノ　テイアン
著者
著者名
才村, 徹也
NRID
1000070252632 1000070252632
著者名
岡野, 浩三
NRID
1000000029513 1000000029513
著者名
谷口, 健一
抄録
関数型プログラミング言語を対象とした形式的検証支援及び開発支援システムを提案する。モジュールのインターフェイスに対して前提条件、後置条件を等式論理の形で記述し検証を行う。上述の性質記述はソースファルのコメント中に記述する。性質記述とソースプログラムから、前提条件の下で後置条件が成り立つことを表す論理式を作成し、プレスプルガー文真偽判定アルゴリズムなどを用いて検証する。さらに図書管理システムの性質記述例について述べる。
出版者
ソフトウェア技術者協会
Software Engineers Association
ソフトウェア　ギジュツシャ　キョウカイ
収録物名
ソフトウェア・シンポジウム2004論文集
ページ
53-57
刊行年月
2004-06
言語
日本語
ハンドルURL
https://hdl.handle.net/11094/51281
アクセス権
open access
出版タイプ
Version of Record
カテゴリ
学術雑誌論文 Journal Article