3394 search results - page 10 / 679 » Regular Object Types |
ESOP
1998
Springer
14 years 1 months ago
1998
Springer
JFP
2006
13 years 9 months ago
2006
XML data are described by types involving regular expressions. This raises the question of what language feature is convenient for manipulating such data. Previously, we have give...
ITICSE
2005
ACM
14 years 2 months ago
2005
ACM
FAdo1 is an ongoing project which aims the development of an interactive environment for symbolic manipulation of formal languages. In this paper we focus in the description of in...
XSYM
2005
Springer
14 years 2 months ago
2005
Springer
Among various proposals for primitives for deconstructing XML data two approaches seem to clearly stem from practise: path expressions, widely adopted by the database community, an...
ICTCS
2005
Springer
14 years 2 months ago
2005
Springer
In the design of type systems for XML programming languages based on regular expression types and patterns the focus has been over result analysis, with the main aim of statically ...