1072 search results - page 61 / 215 » Object-Oriented Type Inference |
121
click to vote
ICDT
2007
ACM
15 years 9 months ago
2007
ACM
Stay macro tree transducers (smtts) are an expressive formalism for reasoning about XSLT-like document transformations. Here, we consider the exact type checking problem for smtts....
115
Voted
ESOP
2007
Springer
15 years 9 months ago
2007
Springer
Abstract. Two of the most prominent features of ML are its expressive module system and its support for Damas-Milner type inference. However, while the foundations of both these fe...
257
click to vote
SIGMOD
2000
ACM
15 years 7 months ago
2000
ACM
XML is rapidly emerging as the new standard for data representation and exchange on the Web. An XML document can be accompanied by a Document Type Descriptor (DTD) which plays the...
140
click to vote
CORR
2008
Springer
15 years 3 months ago
2008
Springer
Many real-world data are maintained in relational format, with different tables storing information about entities and their links or relationships. The structure (schema) of the ...
108
click to vote
SAS
2007
Springer
15 years 9 months ago
2007
Springer
Type constraints express subtype-relationships between the types of program expressions that are required for type-correctness, and were originally proposed as a convenient framewo...