抄録/ポイント：
抄録/ポイント
文献の概要を数百字程度の日本語でまとめたものです。
部分表示の続きは、JDreamⅢ(有料)でご覧頂けます。
J-GLOBALでは書誌(タイトル、著者名等)登載から半年以上経過後に表示されますが、医療系文献の場合はMyJ-GLOBALでのログインが必要です。
形式的意味論が最新の話題であったとき,プログラム正当性は,初期日におけるコンピュータソフトウェアの主要な関心事であった。しかし,単語「修正」は,その後,信頼できる,ロバストで信頼できる信頼性,トレードオフ状況によって置き換えられた。これは,正しさがもはや重要ではないのではなく,人々がこの方向を通して得る方法を見出さないからである。トレードオフは,ソフトウェアエンジニアが技術および試験ツールに焦点を合わせるように導いた。ソフトウェア工学の急速な発展は,現在,バグが避けられないので,バグの多くを wぐことなく,現在,ピークとプログラマが自由に動作している。それは,今日のプログラム正当性について話すのに意味がある。著者らの回答はyesである。将来,あまりに遅れる前に,再び正しさを考慮する時間である。次世代コンピュータシステムは,構文的(静的)および意味的(動的)の両者で正しい。第1著者による「OESPA:セマンティック指向理論」(2019)は,意味研究のための新しい方向を開いた。理論的に言えば,プログラムテキストからプログラム意味論を計算し,プログラムの正当性を証明できるように,OESPAに基づいて,現在,それは可能である。しかし,プログラムのサイズが大きいとき,意味的計算と正当性証明は手によって行うことができない。自動ツールが必要である。本論文は,必要な自動ツールを開発するための基礎を築くことを試みるので,OESPAは将来の必要性を果たすために濃縮する。この目的のために,条件付き意味述語という新しい概念を提案した。意味関数,意味的述語,意味的公式および意味的計算を含むOESPAの概念を,一致して再表現した。このような再導入は,書籍が意味的計算に関する唯一の出版物であるため,必要である。意味的計算の新しいバージョンは,セマンティック自動計算がどのように行われるかを例示する。【JST・京大機械翻訳】
