1715 search results - page 166 / 343 » Domain-Specific Program Checking |
122
Voted
ESOP
2003
Springer
15 years 6 months ago
2003
Springer
Programmers confront a minefield when they design interactive Web programs. Web interactions take place via Web browsers. With browsers, consumers can whimsically navigate among t...
114
Voted
ESORICS
2010
Springer
15 years 1 months ago
2010
Springer
Abstract. Researchers have proposed formal definitions of quantitative information flow based on information theoretic notions such as the Shannon entropy, the min entropy, the gue...
341
Voted
JTRES
2010
ACM
15 years 27 days ago
2010
ACM
Safety-Critical Java (SCJ) is a dialect of Java that allows programmers to implement safety-critical systems, such as software to control airplanes, medical devices, and nuclear p...
144
Voted
SOFTVIS
2010
ACM
15 years 27 days ago
2010
ACM
Multi-core processors have become increasingly prevalent, driving a software shift toward concurrent programs which best utilize these processors. Testing and debugging concurrent...
111
Voted
NJC
2006
15 years 19 days ago
2006
Slicing is a technique for extracting parts of programs or specifications with respect to certain criteria of interest. The extraction is carried out in such a way that properties ...