テキスト処理言語における文字列のための正規表現型

• Item type: Trans(1)
• 公開日: 2003-02-15
• タイトル: テキスト処理言語における文字列のための正規表現型
• タイトル / 言語: en
• タイトル: Regular Expression Types for Strings in a Text Processing Language
• 言語: jpn
• キーワード / 主題Scheme: Other
• キーワード / 主題: 通常論文
• 資源タイプ / 資源タイプ識別子: http://purl.org/coar/resource_type/c_6501
• 資源タイプ: journal article
• 著者所属: 東京大学情報理工学系研究科コンピュータ科学専攻
• 著者所属: 東京大学情報理工学系研究科コンピュータ科学専攻
• 著者所属: 東京大学情報理工学系研究科コンピュータ科学専攻
• 著者所属(英): en
• 著者所属(英): Department of Computer Science, Graduate School of Information Science and Technology, The University of Tokyo
• 著者所属(英): en
• 著者所属(英): Department of Computer Science, Graduate School of Information Science and Technology, The University of Tokyo
• 著者所属(英): en
• 著者所属(英): Department of Computer Science, Graduate School of Information Science and Technology, The University of Tokyo
• 著者名: 田渕, 直; 住井英二郎; 米澤, 明憲
• 著者名(英): Naoshi, Tabuchi; Eijiro, Sumii; Akinori, Yonezawa
• 論文抄録 / 内容記述タイプ: Other
• 論文抄録 / 内容記述: Perl ，Ruby ，Python などに代表されるスクリプト言語は，CGI のような文字列操作が中心となるアプリケーションの開発に広く使用されており，また開発効率を高めるために有用であることが経験的に知られている．しかしながら，これらの言語はその柔軟すぎる記述力のため，プログラムの挙動が実際の実行時まで分からないことが多く，デバッグ・保守が困難になりがちであるという問題をかかえている．一方，プログラムの性質を静的に検証するという目的では，型システムを利用することが有効であるが，Java ・ML など既存の言語の型システムは，スクリプト言語のプログラミングスタイルと必ずしも相性が良くないという問題がある．本研究では，これらのスクリプト言語のプログラミングスタイルとして，「正規表現を用いた文字列操作」が多用されるという点に着目し，正規表現を一種の「型」と見なして文字列に対する型付けを行う型システムを提案する．我々の手法は，文字列の内容や，文字列操作の結果を静的に検査し，プログラムの信頼性を向上させることができる．また，正規表現を用いることにより，古典的な型システムでは達成できない記述力と柔軟性を得ることができる．
• 論文抄録(英) / 内容記述タイプ: Other
• 論文抄録(英) / 内容記述: Scripting language such as Perl,Ruby,Python,etc.are now widely used in developing string-manipulating software including CGIs.Although they are known to be useful for rapid application development,their excessive flexibility often makes it difficult to debug and maintain programs.On the other hand,type systems are known to be a good tool for static veri fication of programs.However,existing type systems as in Java,ML,etc.are not necessarily compatible with scripting languages.To overcome this problem,we propose a new type system in which “types ”consist of regular expressions,observing that an important feature of these scripting languages is to manipulate string values by means of regular expressions. Our method enables programmers to statically verify string values and operations on them, and thereby improve reliability of software.Using regular expressions,our approach achieves higher degree of expressiveness and flexibility than traditional type systems.
• 書誌レコードID / 収録物識別子タイプ: NCID
• 書誌レコードID / 収録物識別子: AA11464814
• 書誌情報: 情報処理学会論文誌プログラミング（PRO）; 巻 44, 号 SIG02(PRO16), p. 1-12, 発行日 2003-02-15
• ISSN / 収録物識別子タイプ: ISSN
• ISSN / 収録物識別子: 1882-7802
• 出版者 / 言語: ja
• 出版者: 情報処理学会