WEKO3
アイテム
有理時間を含むプログラムの仕様表現および動作解析
https://ipsj.ixsq.nii.ac.jp/records/129601
https://ipsj.ixsq.nii.ac.jp/records/1296018a85c174-2e1e-4839-9bd3-8ec5068ecbd0
| 名前 / ファイル | ライセンス | アクション |
|---|---|---|
KJ00001329822.pdf (201.7 kB)
|
|
| Item type | National Convention(1) | |||||
|---|---|---|---|---|---|---|
| 公開日 | 1996-03-06 | |||||
| タイトル | ||||||
| タイトル | 有理時間を含むプログラムの仕様表現および動作解析 | |||||
| タイトル | ||||||
| 言語 | en | |||||
| タイトル | Representation and Analysis of Rationally Timed Programs | |||||
| 言語 | ||||||
| 言語 | jpn | |||||
| 資源タイプ | ||||||
| 資源タイプ識別子 | http://purl.org/coar/resource_type/c_5794 | |||||
| 資源タイプ | conference paper | |||||
| 著者所属 | ||||||
| 筑波大学工学研究科 | ||||||
| 著者所属 | ||||||
| 筑波大学電子・情報工学系 | ||||||
| 著者所属 | ||||||
| 筑波大学工学研究科 | ||||||
| 著者所属 | ||||||
| 筑波大学電子・情報工学系 | ||||||
| 著者所属(英) | ||||||
| en | ||||||
| Doctoral Program in Engeneering, University of Tsukuba | ||||||
| 著者所属(英) | ||||||
| en | ||||||
| Doctoral Program in Engeneering, University of Tsukuba | ||||||
| 著者所属(英) | ||||||
| en | ||||||
| Institute of Information Sciences , University of Tsukuba | ||||||
| 著者所属(英) | ||||||
| en | ||||||
| Institute of Information Sciences , University of Tsukuba | ||||||
| 論文抄録 | ||||||
| 内容記述タイプ | Other | |||||
| 内容記述 | 有理時間を含むプログラムの仕様表現や検証・動作解析についての2種類の方法について提案する。1つは拍車を用いる方法である。拍車は数学的には我々の立場ではそれ自身プロセスの特別な場合として扱われる概念であるが,直観的にはプロセスのスケジューラを一般化した概念であり,時相論理のnext operatorを一般化したものと考えることもできる。プログラムを拍車の履歴を入力とする一種のオートマトンとして捉える事により検証が容易になった。もう1つは形式的体系「束時相論理」(envelope system)である。時刻で真理値の変化する命題の真理集合を考え,閉包概念を特殊化したenvelopeと呼ぶ集合演算子を用いることにより証明に集合演算の直観を持ち込む事が可能となった。これらを実時間問題に連用して動作解析を行った例を示す。 | |||||
| 書誌レコードID | ||||||
| 収録物識別子タイプ | NCID | |||||
| 収録物識別子 | AN00349328 | |||||
| 書誌情報 |
全国大会講演論文集 巻 第52回, 号 ソフトウェア, p. 3-4, 発行日 1996-03-06 |
|||||
| 出版者 | ||||||
| 言語 | ja | |||||
| 出版者 | 情報処理学会 | |||||
