Regular expression types for strings in a text processing language

Electronic Notes in Theoretical Computer Science

Volumn 75, Issue , 2003, Pages 95-113

  Tabuchi, Naoshi ^a   Sumii, Eijiro ^a   Yonezawa, Akinori ^a  

^a UNIVERSITY OF TOKYO   (Japan)

Author keywords

[No Author keywords available]

Indexed keywords

ABSTRACTING; CONTEXT FREE GRAMMARS; DATA STRUCTURES; ERROR ANALYSIS; HTML; PROGRAM DEBUGGING; SEMANTICS; TEXT PROCESSING;

CALCULUS; DEBUGGING; SCRIPTING LANGUAGES; TEXT PROCESSING LANGUAGES;

COMPUTER PROGRAMMING LANGUAGES;

EID: 18944384127     PISSN: 15710661     EISSN: None     Source Type: Journal    
DOI: 10.1016/S1571-0661(04)80781-3     Document Type: Conference Paper

References (18)

1. CERT Advisory CA-2000-02, http://www.cert.org/advisories/CA-2000-02.html 2000.
2. Freeman T. and F. Pfenning, Refinement types for ML, In: Proceedings of the SIGPLAN '91 Symposium on Language Design and Implementation (1991), pp. 268-277.
3. Frisch A., G. Castagna and V. Benzaken, Semantic subtyping, in: Proceedings of the LICS 2002 17th Annual IEEE Symposium on Logic in Computer Science (2002), pp. 137-146.
4. Harper R. Proof-directed debugging. Journal of Functional Programming. 9:1999;463-469
5. Hopcroft J.E., Motwani R., Ullman J.D. "Introduction to Automata Theory, Languages, and Computation" 2nd edition:2000;Addison-Wesley Publishing
6. Hosoya H. and B. C. Pierce, Regular expression pattern matching for XML, Journal of Functional Programming(2003), to appear. Extended abstract in Proceedings of the POPL 2001 Symposium on Principles of Programming Languages, pages 67-80, 2001.
7. Hosoya H. and B. C. Pierce, XDuce: A typed XML processing language, ACM Transactions on Internet Technology (2003), to appear.
8. Hosoya J., J. Vouillon and B. C. Pierce, Regular expression types for XML, in: International Conference on Functional Programming, 2000, pp. 11-22.
9. Igarashi A. and N. Kobayashi, Resource usage analysis, in: Proceedings of the POPL 2001 Symposium on Principles of Programming Languages, 2002, pp. 331-342.
10. Lutz M. "Programming Python" 2nd edition:2001;O'Reilly & Associates
11. Matsumoto Y.M., Ishituka K. "The Ruby Programming Language," 2002;Addison-Wesley Publishing
12. Mohri M., Nederhof M.-J. Regular approximation of context-free grammars through transformation. Junqua J.-C., Noord G.V. Robustness in Language and Speech Technology. 2001;Kluwer Academic PUblishers
13. Nederhof M.-J. Regular approximation of CFLs: A grammatical view. Bunt H.C., Nijholt A. Advances in Probabilistic and Other Parsing Technologies. 2000;Kluwer Academic Publishers
14. Nielson F. and H. R. Nielson, From CML to process algebras, in: Proceedings of the CONCUR '93 International Conference on Concurrency Theory, Lecture Notes in Computer Science 715 (1993), pp. 493-508.
15. Nielson, H. R. and F. Nielson, Higher-order concurrent programs with finite communications topology, in: Conference Record of POPL '94: 21st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, Portland, Oregon, New York, NY, 1994, pp. 84-97.
16. Nierstrasz O. Regular types for active objects. Nierstrasz O., Tsichritzis D. Object-Oriented Software Composition. 1995;99-121 Prentice-Hall
17. Thomas D., Hunt A., Thomas D. "Programming Ruby: A Pragmatic Programmer's Guide," 2000;Addison-Wesley Publishing
18. Wall L., et al. "Programming Perl" 3rd edition:2000;O'Reilly & Associates