8197 search results - page 345 / 1640 » Adaptive functional programming |
296
click to vote
POPL
2007
ACM
16 years 7 months ago
2007
ACM
XML programming involves idioms for expressing `structure shyness' such as the descendant axis of XPath or the default templates of XSLT. We initiate a discussion of the rela...
203
click to vote
EDO
2006
Springer
15 years 10 months ago
2006
Springer
Reflective middleware has been proposed as an effective way to enhance adaptability of component-oriented middleware architectures. To be effectively adaptable, the implementation...
184
click to vote
ICALP
2005
Springer
16 years 8 days ago
2005
Springer
Although every terminating loop has a ranking function, not every loop has a ranking function of a restricted form, such as a lexicographic tuple of polynomials over program variab...
185
click to vote
FLOPS
2008
Springer
15 years 8 months ago
2008
Springer
Dependent types are useful for statically checking detailed specifications of programs and detecting pattern match or array bounds errors. We propose a novel approach to applicatio...
195
click to vote
ACL2
2006
ACM
16 years 22 days ago
2006
ACM
We have implemented parallelism primitives that permit an ACL2 programmer to parallelize execution of ACL2 functions. We (1) introduce logical definitions for these primitives, (...