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

情報処理学会 Web Site 参考文献14件

書誌事項

タイトル別名
  • Regular Expression Types for Strings in a Text Processing Language
  • テキスト ショリ ゲンゴ ニ オケル モジレツ ノ タメ ノ セイキ ヒョウゲンガタ

この論文をさがす

説明

Perl ，Ruby ，Python などに代表されるスクリプト言語は，CGI のような文字列操作が中心となるアプリケーションの開発に広く使用されており，また開発効率を高めるために有用であることが経験的に知られている．しかしながら，これらの言語はその柔軟すぎる記述力のため，プログラムの挙動が実際の実行時まで分からないことが多く，デバッグ・保守が困難になりがちであるという問題をかかえている．一方，プログラムの性質を静的に検証するという目的では，型システムを利用することが有効であるが，Java ・ML など既存の言語の型システムは，スクリプト言語のプログラミングスタイルと必ずしも相性が良くないという問題がある．本研究では，これらのスクリプト言語のプログラミングスタイルとして，「正規表現を用いた文字列操作」が多用されるという点に着目し，正規表現を一種の「型」と見なして文字列に対する型付けを行う型システムを提案する．我々の手法は，文字列の内容や，文字列操作の結果を静的に検査し，プログラムの信頼性を向上させることができる．また，正規表現を用いることにより，古典的な型システムでは達成できない記述力と柔軟性を得ることができる．

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.

収録刊行物

参考文献 (14)*注記

もっと見る

キーワード

詳細情報 詳細情報について

問題の指摘

ページトップへ