6740 search results - page 526 / 1348 » Using Classification as a Programming Language |
130
click to vote
ERSHOV
2001
Springer
15 years 9 months ago
2001
Springer
Abstract The generic programming paradigm has exerted great influence on the recent development of C++, e.g., large parts of its standard library [2] are based on generic containe...
143
click to vote
ECCC
2007
15 years 4 months ago
2007
Program checking, program self-correcting and program selftesting were pioneered by [Blum and Kannan] and [Blum, Luby and Rubinfeld] in the mid eighties as a new way to gain con...
144
click to vote
ASPLOS
2011
ACM
14 years 8 months ago
2011
ACM
In practice, it is quite difficult to write correct multithreaded programs due to the potential for unintended and nondeterministic interference between parallel threads. A funda...
176
click to vote
PLDI
2011
ACM
14 years 7 months ago
2011
ACM
Software modifications are often systematic—they consist of similar, but not identical, program changes to multiple contexts. Existing tools for systematic program transformati...
238
click to vote
ECOOP
2011
Springer
14 years 4 months ago
2011
Springer
Abstract. The information of execution frequencies of virtual call targets is valuable for program analyses and optimizations of object-oriented programs. However, to obtain this i...