1392 search results - page 120 / 279 » A Calculus for Dynamic Linking |
157
click to vote
DAGSTUHL
1996
15 years 6 months ago
1996
Abstract. Type-directed partial evaluation stems from the residualization of arbitrary static values in dynamic contexts, given their type. Its algorithm coincides with the one for...
114
click to vote
CORR
2010
Springer
15 years 5 months ago
2010
Springer
Software that cannot change is condemned to atrophy: it cannot accommodate the constant revision and renegotiation of its business goals nor intercept the potential of new technol...
192
click to vote
SOCIALCOM
2010
15 years 2 months ago
2010
We explore the hypothesis that it is possible to obtain information about the dynamics of a blog network by analysing the temporal relationships between blogs at a semantic level, ...
140
click to vote
CIC
2004
15 years 6 months ago
2004
Given the dynamic and harsh environments of electronic textile applications, particularly wearable computers and large-scale sensor networks, fault-tolerance is necessary. The inte...
123
click to vote
COMSIS
2007
15 years 5 months ago
2007
This paper presents an extension of the Tatoo compiler compiler that supports separate compilation and dynamic linking of formal grammars. It allows the developer to define reusabl...