文献

J-GLOBAL ID：202202257032200804   整理番号：22A0886845

S-Semantics-例【JST・京大機械翻訳】

S-Semantics-an Example

著者 (2件)： Drabent Wlodzimierz (Institute of Computer Science, Polish Academy of Sciences, Warszawa, Poland) ,  Drabent Wlodzimierz (Department of Computer and Information Science, Linkoping University, Linkoping, Sweden)
資料名： Lecture Notes in Computer Science  (Lecture Notes in Computer Science)
巻： 13290  ページ： 60-74  発行年： 2022年 
JST資料番号： H0078D  ISSN： 0302-9743  資料種別： 会議録 (C)
記事区分： 原著論文  発行国： ドイツ (DEU)  言語： 英語 (EN)

抄録/ポイント： s-semanticsは,プログラム回答における変数を明示的に取り扱うことを可能にする。従って,オープンリストのような非地上データ構造を用いたプログラムに適していると思われる。しかし,特別なプログラムの理由のために,s-semanticsを使用する出版された例を見つけるのは難しい。ここでは,Fruehwirthのnqueensプログラムの正当性と完全性を証明するために,s-semanticsを適用した。これを,標準意味論とHerbrand解釈に基づいて,他の場所で発表された証明と比較した。Copyright Springer Nature Switzerland AG 2022 Translated from English into Japanese by JST.【JST・京大機械翻訳】

シソーラス用語： *意味論 ,  データ構造 ,  完全性 ,  論理プログラミング

著者キーワード (6件)： 論理プログラミング ,  s-意味論 ,  プログラム正当性 ,  プログラム完全性 ,  宣言的プログラミング ,  仕様

分類 (2件)： 人工知能  (JE08000Z) ,  計算機システム開発  (JD02010R)