1227 search results - page 4 / 246 » Remote Store Programming |
PPDP
2009
Springer
14 years 2 months ago
2009
Springer
We give a denotational semantics to a type and effect system tracking reading and writing to global variables holding values that may include higher-order effectful functions. Re...
ICCD
2001
IEEE
14 years 4 months ago
2001
IEEE
SOFTVIS
2003
ACM
14 years 21 days ago
2003
ACM
Software products are often released with missing functionality, errors, or incompatibilities that may result in failures in the field, inferior performances, or, more generally,...
SECON
2008
IEEE
14 years 1 months ago
2008
IEEE
—Many sensing systems remotely monitor/measure an environment at several sites, and then report these observations to a central site. We propose and investigate several practical...
ICFP
2004
ACM
14 years 7 months ago
2004
ACM
Recent functional logic languages such as Curry and Toy combine lazy functional programming with logic programming features including logic variables, non-determinism, unification...