13004 search results - page 2219 / 2601 » Mining Software Data |
176
click to vote
CSEE
2007
Springer
16 years 29 days ago
2007
Springer
This report illustrates the use of qualitative methods and an interpretive framework (Cultural Historical Activity Theory) to examine educational interventions. The techniques are...
176
click to vote
EUROPAR
2007
Springer
16 years 29 days ago
2007
Springer
Computer systems are increasingly parallel and heterogeneous, while programs are still largely written in sequential languages. The obvious suggestion that the compiler should auto...
215
click to vote
FOSSACS
2007
Springer
16 years 29 days ago
2007
Springer
Abstract. We introduce an extension of Hoare logic for call-by-value higherorder functions with ML-like local reference generation. Local references may be generated dynamically an...
172
click to vote
FSEN
2007
Springer
16 years 29 days ago
2007
Springer
This paper shows how a machine-code Hoare logic is used to lift reasoning from the tedious operational model of a machine lana manageable level of abstraction without making simpli...
133
click to vote
FSTTCS
2007
Springer
16 years 29 days ago
2007
Springer
The diff3 algorithm is widely considered the gold standard for merging uncoordinated changes to list-structured data such as text files. Surprisingly, its fundamental properties h...