文献

J-GLOBAL ID：201102255571163258   整理番号：11A0587122

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

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

著者 (2件)： ALUR Rajeev (Univ. Pennsylvania) ,  CERNY Pavol (IST Austria)
資料名： ACM SIGPLAN Notices (Association for Computing Machinery. Special Interest Group on Programming Languages)  (ACM SIGPLAN Notices (Association for Computing Machinery. Special Interest Group on Programming Languages))
巻： 46  号： 1  ページ： 599-610  発行年： 2011年01月 
JST資料番号： D0915A  ISSN： 0362-1340  資料種別： 逐次刊行物 (A)
記事区分： 原著論文  発行国： アメリカ合衆国 (USA)  言語： 英語 (EN)

抄録/ポイント： 筆者らは単一パス中でデータ列へのアクセス及び修正を行なうプログラム用の抽象及び解析可能モデルとしてストリーミング変換器を提案した。データストリングとは等号及び順序付け演算のみを持った潜在的無限データ領域上のデータ値の(無限)列である。提案モデル中では,ストリーミングデータストリング変換器は入力データストリングを線形時間内に単一の左から右へのパスで出力データストリングに写像する。筆者らはストリーミングデータストリング変換器に効率良く変換できるリストを操作する命令クラス,関数型プログラムのクラスを識別した。本結果を基に通常はリスト処理用のルーチンで使われる異なった形式で書かれた2つのプログラムの機能的等価性検査用のアルゴリズムを導いた。

シソーラス用語： *ストリーミング ,  検証 ,  *変換器 ,  *リスト処理 ,  データ ,  文字列 ,  等価性 ,  線形時間アルゴリズム
準シソーラス用語： *ストリング ,  *リスト ,  *単一相

分類 (1件)： その他のシステムプログラミング  (JD03070M)

タイトルに関連する用語 (5件)： パス ,  リスト処理 ,  検証 ,  ストリーミング ,  変換器