Art

J-GLOBAL ID：201102255571163258   Reference number：11A0587122

Streaming Transducers for Algorithmic Verification of Single-pass List-processing Programs

単一パスリスト処理プログラムの演算的検証用ストリーミング変換器

Author (2)： ALUR Rajeev (Univ. Pennsylvania) ,  CERNY Pavol (IST Austria)
Material： ACM SIGPLAN Notices (Association for Computing Machinery. Special Interest Group on Programming Languages)  (SIGPLAN Notices)
Volume： 46  Issue： 1  Page： 599-610  Publication year： Jan. 2011 
JST Material Number： D0915A  ISSN： 0362-1340  Document type： Article
Article type： 原著論文  Country of issue： United States (USA)  Language： ENGLISH (EN)

Thesaurus term： *streaming ,  verification ,  *converter ,  *list processing ,  data ,  character string ,  equivalency ,  linear time algorithm
Semi thesaurus term： *ストリング ,  *list ,  *monophase

JST classification (1)： Other system programmings  (JD03070M)

Terms in the title (5)： パス ,  リスト処理 ,  検証 ,  ストリーミング ,  変換器