3001 search results - page 89 / 601 » Recursive type generativity |
146
Voted
DBPL
2005
Springer
15 years 8 months ago
2005
Springer
Pattern matching mechanisms based on regular expressions feature in a number of recent languages for processing XML. The flexibility of these mechanisms demands novel approaches ...
122
Voted
EJC
2002
15 years 2 months ago
2002
The Orlik-Solomon algebra of a matroid M is the quotient of the exterior algebra on the points by the ideal (M) generated by the boundaries of the circuits of the matroid. There i...
145
click to vote
SIAMJO
2002
15 years 2 months ago
2002
Motivated by some results for linear programs and complementarity problems, this paper gives some new characterizations of the central path conditions for semidefinite programs. Ex...
114
click to vote
FATES
2004
Springer
15 years 6 months ago
2004
Springer
Abstract. Classical state-oriented testing approaches are based on simple machine models such as Labelled Transition Systems (LTSs), in which data is represented by concrete values...
191
Voted
ECOOP
1998
Springer
15 years 6 months ago
1998
Springer
Many problems require recursively speci ed types ofdata and a collection of tools that operate on those data. Over time, these problems evolve so that the programmer must extend t...