Regular Expression Types for Strings in a Text Processing Language
Open Access
- 1 February 2003
- journal article
- Published by Elsevier in Electronic Notes in Theoretical Computer Science
- Vol. 75, 95-113
- https://doi.org/10.1016/s1571-0661(04)80781-3
Abstract
No abstract availableKeywords
This publication has 9 references indexed in Scilit:
- XDuceACM Transactions on Internet Technology, 2003
- Resource usage analysisPublished by Association for Computing Machinery (ACM) ,2002
- Regular Approximation of Context-Free Grammars through TransformationPublished by Springer Nature ,2001
- Regular expression pattern matching for XMLPublished by Association for Computing Machinery (ACM) ,2001
- Regular expression types for XMLACM SIGPLAN Notices, 2000
- Proof-directed debuggingJournal of Functional Programming, 1999
- Higher-order concurrent programs with finite communication topology (extended abstract)Published by Association for Computing Machinery (ACM) ,1994
- From CML to process algebrasPublished by Springer Nature ,1993
- Refinement types for MLACM SIGPLAN Notices, 1991