4880 search results - page 93 / 976 » Manuals as Structured Programs |
142
click to vote
AUIC
2003
IEEE
15 years 8 months ago
2003
IEEE
Spreadsheets are an extremely common form of end-user programming used for many applications from student marks to accounting for global multinationals. Ways of studying the struc...
IPPS
2000
IEEE
15 years 7 months ago
2000
IEEE
Collective operations on distributed data sets foster a high-level data-parallel programming style that eases many aspects of parallel programming significantly. In this paper we...
158
click to vote
SAS
2012
Springer
13 years 5 months ago
2012
Springer
Abstract. Shivers’s escape technique enables one to analyse the control flow of higher-order program fragments. It is widely used, but its soundness has never been proven. In th...
175
click to vote
OOPSLA
2010
Springer
15 years 1 months ago
2010
Springer
In this paper we propose a communication-centric approach to specifying and checking how multithreaded programs use shared memory to perform inter-thread communication. Our approa...
116
click to vote
DSN
2003
IEEE
15 years 8 months ago
2003
IEEE
Abstract: We present a new approach that uses compilerdirected fault-injection for coverage testing of recovery code in Internet services to evaluate their robustness to operating ...