WEKO3
アイテム
内包論理に基づく逐次型プログラムの論理
https://ipsj.ixsq.nii.ac.jp/records/16243
https://ipsj.ixsq.nii.ac.jp/records/162433293a376-1157-465f-a452-58b7dd45340d
名前 / ファイル | ライセンス | アクション |
---|---|---|
![]() |
Copyright (c) 1981 by the Information Processing Society of Japan
|
|
オープンアクセス |
Item type | Journal(1) | |||||||
---|---|---|---|---|---|---|---|---|
公開日 | 1981-05-15 | |||||||
タイトル | ||||||||
タイトル | 内包論理に基づく逐次型プログラムの論理 | |||||||
タイトル | ||||||||
言語 | en | |||||||
タイトル | A Logic of Sequential Programs Based on Montague's Intensional Logic | |||||||
言語 | ||||||||
言語 | jpn | |||||||
キーワード | ||||||||
主題Scheme | Other | |||||||
主題 | 論文 | |||||||
資源タイプ | ||||||||
資源タイプ識別子 | http://purl.org/coar/resource_type/c_6501 | |||||||
資源タイプ | journal article | |||||||
著者所属 | ||||||||
北海道大学工学部情報工学専攻 現 富士通国際情報社会科学研究所 | ||||||||
著者所属(英) | ||||||||
en | ||||||||
Division of Information Engineenng, Faculty of Engineering, Hokkaido University | ||||||||
著者名 |
沢村, 一
× 沢村, 一
|
|||||||
著者名(英) |
Hajime, Sawamura
× Hajime, Sawamura
|
|||||||
論文抄録 | ||||||||
内容記述タイプ | Other | |||||||
内容記述 | R.Montagueは自然言語(英語)に現れるさまざまな種類の内包的な語法を一つの形式的体系の中に取り入れるために一種の高階の様相論理である内包論理を展開した.この内包論理はまた言語としてのプログラミング言語に現れる内包性の問題をも解決することができる.これまで様相論理に含まれるが概念とプログラムについて議論するさいに起る概念との間には意味論的および統語論的な両方の観点から密接な対応が存在するという理由で様相論理がプログラムの論証に対して適用されてきたが この能力のゆえに内包論理の一般的枠組はプログラムの論理を考えるさいに様相論理よりもより十分な表現能力を提供している.本文ではプログラミング言語の内包性にのみ注目して最初に 内包性の問題を解くために必要な言語要素を付加された内包論理について述べ 次にこの論理を基礎として Hoare論理の関数的変形となっている内包的Hoare論理(IHL)を形式化する.内包的Hoare論理は単にHoare論理の表現力に富んだ別形としてだけではなく これまで提案されてきたいろいろな算法論理とさらにはプログラミング言語と自然言語の双方に対する統一的な論理体系の可能な一つの形体であると考えられる. | |||||||
書誌レコードID | ||||||||
収録物識別子タイプ | NCID | |||||||
収録物識別子 | AN00116647 | |||||||
書誌情報 |
情報処理学会論文誌 巻 22, 号 3, p. 216-224, 発行日 1981-05-15 |
|||||||
ISSN | ||||||||
収録物識別子タイプ | ISSN | |||||||
収録物識別子 | 1882-7764 |