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

概要

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

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

スポンサーリンク

概要

著者

関連論文

スポンサーリンク