文献

J-GLOBAL ID：202002238408475661   整理番号：20A2278476

複雑な名前データ上のプログラム指向述語論理のためのシーケント計算【JST・京大機械翻訳】

Sequent Calculus for a Program-oriented Predicate Logic over Complex-Named Data

著者 (3件)： Nikitchenko Mykola (Taras Shevchenko National University of Kyiv,Dept. of Theory and Technology of Programming,Kyiv,Ukraine) ,  Shkilniak Oksana (Taras Shevchenko National University of Kyiv,Dept. of Intelligent Software Systems,Kyiv,Ukraine) ,  Shkilniak Stepan (Taras Shevchenko National University of Kyiv,Dept. of Theory and Technology of Programming,Kyiv,Ukraine)
資料名： IEEE Conference Proceedings  (IEEE Conference Proceedings)
巻： 2020  号： ACIT  ページ： 497-500  発行年： 2020年 
JST資料番号： W2441A  資料種別： 会議録 (C)
記事区分： 原著論文  発行国： アメリカ合衆国 (USA)  言語： 英語 (EN)

抄録/ポイント： プログラミングに用いるデータ構造の多重性は,ソフトウェアシステムの解析と検証を複雑にする。Nominativeデータは,異なるデータ構造の統一モデルとして役立つ。そのようなデータの主な特徴は,データ成分をアクセスまたは修正するための複雑な名前の使用である。これは,複雑な名前(複雑な名前データ),このクラスに関する操作,このクラスの特性(そのようなデータ上の述語として指定),およびそのような述語の成分によって,名詞的データのクラスを定義および調査するために,本論文で考慮された問題をもたらす。複雑な名前を持つデータ上の述語の代数を定義し,そのような代数の一般的性質を記述する一次論理を指定した。この論理に対して,逐次計算を構築し,その健全性と完全性を証明した。Copyright 2020 The Institute of Electrical and Electronics Engineers, Inc. All rights reserved. Translated from English into Japanese by JST.【JST・京大機械翻訳】

シソーラス用語： データ構造 ,  *述語論理 ,  統一模型 ,  多重度 ,  完全性 ,  健全性 ,  名詞
準シソーラス用語： *述語 ,  シーケント計算 ,  ソフトウェアシステム , 【Automatic Indexing@JST】

分類 (4件)： 専用演算制御装置  (JC04030Y) ,  図形・画像処理一般  (JE04010I) ,  音声処理  (JE05000E) ,  符号理論  (ND02030R)

タイトルに関連する用語 (3件)： 名前 ,  述語論理 ,  シーケント計算