2362 search results - page 178 / 473 » Programming in Standard ML |
218
click to vote
POPL
2003
ACM
16 years 4 months ago
2003
ACM
The World-Wide Web Consortium (W3C) promotes XML and related standards, including XML Schema, XQuery, and XPath. This paper describes a formalization XML Schema. A formal semantic...
119
click to vote
GI
2004
Springer
15 years 9 months ago
2004
Springer
: In this paper we describe the advantages of a model-based approach to embedded component middleware. Component infrastructures such as Enterprise JavaBeans, Microsoft’s COM+ an...
138
Voted
TYPES
2004
Springer
15 years 9 months ago
2004
Springer
We present four constructions for standard equipment which can be generated for every inductive datatype: case analysis, structural recursion, no confusion, acyclicity. Our constru...
126
click to vote
SAC
2003
ACM
15 years 9 months ago
2003
ACM
As the use of XML is rapidly growing, a growing number of users without programming skills will need to query XML data. Although designed to be easily understood by humans, XQuery...
119
click to vote
IWPC
2002
IEEE
15 years 9 months ago
2002
IEEE
Program comprehension tools extract, organize and analyze information about the design and implementation of software systems. Before tools can exchange information, they must sha...