1227 search results - page 128 / 246 » Remote Store Programming |
INTERNET
2002
13 years 9 months ago
2002
stract level, remote procedure calls enable programmers to invoke (possibly remote) services as if they were intra-application procedure calls. Much like function or procedure call...
FOSSACS
2009
Springer
14 years 4 months ago
2009
Springer
traction for Reduced ML Andrzej S. Murawski and Nikos Tzevelekos Oxford University Computing Laboratory Wolfson Building, Parks Road, Oxford OX1 3QD, UK We present the first effe...
ACG
2009
Springer
14 years 4 months ago
2009
Springer
Retrograde analysis is a tool for reconstructing a game tree starting from its leaves; with these techniques one can solve specific subsets of a complex game, achieving optimal pl...
FM
2009
Springer
14 years 4 months ago
2009
Springer
Shared and mutable data-structures pose major problems in static analysis and most analyzers are unable to keep track of the values of numeric variables stored in the heap. In this...
VSTTE
2005
Springer
14 years 3 months ago
2005
Springer
Abstract. Many well-established concepts of object-oriented programming work for individual objects, but do not support object structures. The development of a verifying compiler r...