95 search results - page 1 / 19 » An Implementation of Subtyping Among Regular Expression Type... |
APLAS
2004
ACM
13 years 10 months ago
2004
ACM
ICDT
2009
ACM
14 years 6 months ago
2009
ACM
The inclusion of Regular Expressions (REs) is the kernel of any type-checking algorithm for XML manipulation languages. XML applications would benefit from the extension of REs wi...
ESOP
2008
Springer
13 years 7 months ago
2008
Springer
Abstract. XML database query languages such as XQuery employ regular expression types with structural subtyping. Subtyping systems typically have two presentations, which should be...
ECOOP
2009
Springer
14 years 6 months ago
2009
Springer
We propose a novel approach based on coinductive logic to specify type systems of programming languages. The approach consists in encoding programs in Horn formulas which are inter...
BMCBI
2010
13 years 5 months ago
2010
Background: With the rapid development of new genetic measurement methods, several types of genetic alterations can be quantified in a high-throughput manner. While the initial fo...