Sciweavers

ENTCS
2002

Regular Expression Types for Strings in a Text Processing Language

13 years 3 months ago
Regular Expression Types for Strings in a Text Processing Language
d Abstract) Naoshi Tabuchi Eijiro Sumii Akinori Yonezawa 1 Department of Computer Science, Graduate School of Information Science and Technology, University of Tokyo We present re, a minimal functional calculus with regular expression types for strings, in order to establish a theoretical foundation of using regular expressions as types of strings in text processing languages. The major technical novelties in this paper (with respect to other work such as XDuce) are (1) the use of regular expression effects to statically analyze the shape of the output of an even diverging program and (2) the treatment of as-patterns in non-tail positions. We expect that our approach will be of help for bringing the merits of static typing into scripting languages such as Perl, Python, and Ruby without sacrificing too much of their expressiveness and flexibility.
Naoshi Tabuchi, Eijiro Sumii, Akinori Yonezawa
Added 19 Dec 2010
Updated 19 Dec 2010
Type Journal
Year 2002
Where ENTCS
Authors Naoshi Tabuchi, Eijiro Sumii, Akinori Yonezawa
Comments (0)