867 search results - page 159 / 174 » On Two Forms of Structural Recursion |
116
Voted
PEPM
2009
ACM
15 years 9 months ago
2009
ACM
We show that a wide class of bidirectional data-flow analyses and program optimizations based on them admit declarative descriptions in the form of type systems. The salient feat...
108
click to vote
ESOP
2009
Springer
15 years 7 months ago
2009
Springer
Just as some functions have uniform behavior over distinct types, other functions have uniform behavior over distinct arities. These variable-arity functions are widely used in scr...
103
Voted
WABI
2009
Springer
15 years 7 months ago
2009
Springer
Background: This paper considers the problem of identifying pathways through metabolic networks that relate to a specific biological response. Our proposed model, HME3M, first ide...
114
Voted
EIT
2008
IEEE
15 years 7 months ago
2008
IEEE
Abstract—Processing markup in object-oriented languages often requires the programmer to focus on the objects generating the markup rather than the more pertinent domain objects....
124
click to vote
ICDCS
2007
IEEE
15 years 6 months ago
2007
IEEE
Application-layer overlay networks have recently emerged as a promising solution for live media multicast on the Internet. A tree is probably the most natural structure for a mult...