Art

J-GLOBAL ID：202102235527516660   Reference number：21A0069446

Development Method of Three Kinds of Typical Tree Structure Algorithms and Isabelle-based Machine Assisted Verification

3種類の典型的ツリー構造アルゴリズムとIsabelleベースマシン支援検証の開発方法【JST・京大機械翻訳】

Author (5)： Wang Changjing (Jiangxi Normal University,School of Computer Information Engineering,Nanchang,China) ,  Xu Fan (Jiangxi Normal University,School of Computer Information Engineering,Nanchang,China) ,  Luo Haimei (Jiangxi Normal University,School of Physics and Communication Electronics,Nanchang,China) ,  Huang Qing (Jiangxi Normal University,School of Computer Information Engineering,Nanchang,China) ,  Zuo Zhengkang (Jiangxi Normal University,School of Computer Information Engineering,Nanchang,China)
Material： IEEE Conference Proceedings  (IEEE Conf Proc)
Volume： 2020  Issue： QRS  Page： 254-264  Publication year： 2020 
JST Material Number： W2441A  Document type： Proceedings
Article type： 原著論文  Country of issue： United States (USA)  Language： ENGLISH (EN)

Abstract/Point： The tree structure algorithms ...

Register(free) or Log In to access     To see more with JDream III (charged).   {{ this.onShowAbsJLink("http://jdream3.com/lp/jglobal/index.html?docNo=21A0069446&from=J-GLOBAL&jstjournalNo=W2441A") }}

Thesaurus term： *algorithm ,  reliability (property) ,  data structure ,  tree structure ,  theorem proving ,  software ,  invariant ,  binary tree ,  data type ,  computer ,  recursive algorithm

JST classification (1)： Graphic and image processing in general  (JE04010I)

Terms in the title (6)： ツリー構造 ,  アルゴリズム ,  ベースマシン ,  支援 ,  検証 ,  開発