203 search results - page 28 / 41 » How Program History Can Improve Code Completion |
157
click to vote
VLDB
2008
ACM
15 years 9 months ago
2008
ACM
XML query processing based on labeling schemes has been thoroughly studied in the past several years. Recently efficient processing of updates in dynamic XML data has gained more a...
GI
2007
Springer
15 years 3 months ago
2007
Springer
: In this article we advocate an integrated approach for the automation of module or software integration testing and static analysis. It is illustrated how funmethods of static an...
SIGMETRICS
1994
ACM
15 years 1 months ago
1994
ACM
Shade is an instruction-set simulator and custom trace generator. Application programs are executed and traced under the control of a user-supplied trace analyzer. To reduce commu...
TAP
2010
Springer
14 years 7 months ago
2010
Springer
We present QuickSpec, a tool that automatically generates algebraic specifications for sets of pure functions. The tool is based on testing, rather than static analysis or theorem ...
CHI
2009
ACM
15 years 10 months ago
2009
ACM
According to the Free Software Movement, the user ought to have "the freedoms to make changes, and to publish improved versions" and "to study how the program works...