46 search results - page 6 / 10 » Sometimes Updates Are Circumscription |
PASTE
1998
ACM
13 years 11 months ago
1998
ACM
The task of mappingbetween source programs and machine code, once the code has been optimizedand transformed by a compiler is often di cult. Yet there are many instances, such as ...
ICLP
1997
Springer
13 years 11 months ago
1997
Springer
Array updates in single assignment languages generally require some copying of the array, and thus tend to be more expensive than in imperative languages. As a result, programs in...
CHI
2011
ACM
12 years 11 months ago
2011
ACM
As technologies age, they experience wear and degradation, sometimes resulting in loss of functionality. In response, parts are replaced and software is updated. Yet restorationā...
ICDE
2012
IEEE
11 years 9 months ago
2012
IEEE
āA major challenge faced by todayās information systems is that of evolution as data usage evolves or new data resources become available. Modern organizations sometimes exchan...
PLDI
2010
ACM
14 years 13 days ago
2010
ACM
Self-adjusting computation provides an evaluation model where computations can respond automatically to modiļ¬cations to their data by using a mechanism for propagating modiļ¬ca...