643 search results - page 15 / 129 » A browser for incremental programming |
MICRO
2010
IEEE
13 years 5 months ago
2010
IEEE
DSL
1997
13 years 9 months ago
1997
The World-Wide Web is rich in content and services, but access to these resources must be obtained mostly through manual browsers. We would like to be able to write programs that ...
PEPM
1995
ACM
13 years 11 months ago
1995
ACM
A systematic approach is given for symbolically caching intermediate results useful for deriving incremental programs from non-incremental programs. Our method can be applied stra...
GPCE
2008
Springer
13 years 8 months ago
2008
Springer
High-level query constructs help greatly improve the clarity of programs and the productivity of programmers, and are being introduced to increasingly more languages. However, the...
CAV
2005
Springer
14 years 1 months ago
2005
Springer
Automaton-based static program analysis has proved to be an effective tool for bug finding. Current tools generally re-analyze a program from scratch in response to a change in t...