Art

J-GLOBAL ID：202002250245505842   Reference number：20A2436339

型システムを用いたロックフリースタックの検証

Author (2)： SATO SHUNTARO (東北大 大学院情報科学研究科) ,  SUMII EIJIRO (東北大 大学院情報科学研究科)
Material： 日本ソフトウェア科学会大会講演論文集(Web)  (Proceeding of the JSSST Annual Conference (Web))
Volume： 37th  Page： ROMBUNNO.61-L (WEB ONLY)  Publication year： 2020 
JST Material Number： U1746A  ISSN： 1349-3515  Document type： Proceedings
Article type： 原著論文  Country of issue： Japan (JPN)  Language： JAPANESE (JA)

Thesaurus term： *deadlock ,  specification description ,  data type ,  data structure ,  input output control ,  concurrent processing ,  control theory ,  hybrid system ,  computer programming ,  thread ,  synchronous control ,  mutual exclusion ,  program analysis ,  parallel arithmetic ,  algorithm
Semi thesaurus term： pi calculus ,  hybrid system ,  ロックフリー ,  *ロックフリースタック ,  type system ,  static analysis ,  mutual exclusion ,  並行システム ,  concurrent programming

JST classification (1)： Control systems  (JC02030K)

Terms in the title (4)： 型システム ,  ロック ,  スタック ,  検証