4800 search results - page 460 / 960 » OO Distributed Programming is Not Distributed OO Programming |
122
click to vote
CCS
2004
ACM
15 years 10 months ago
2004
ACM
Information flow type systems provide an elegant means to enforce confidentiality of programs. Using the proof assistant Isabelle/HOL, we have machine-checked a recent work of B...
119
click to vote
PASTE
2010
ACM
15 years 9 months ago
2010
ACM
Inaccurate documentation can mislead programmers and cause software to fail in unexpected ways. We examine mismatches between documented and actual error codes returned by 42 Linu...
121
click to vote
ISSRE
2002
IEEE
15 years 9 months ago
2002
IEEE
Fault insertion based techniqueshave been used for measuring test adequacy and testability of programs. Mutation analysis inserts faults into a program with the goal of creating m...
118
click to vote
LCPC
2001
Springer
15 years 9 months ago
2001
Springer
Integer division, modulo, and remainder operations are expressive and useful operations. They are logical candidates to express complex data accesses such as the wrap-around behav...
150
click to vote
SIGCSE
2000
ACM
15 years 9 months ago
2000
ACM
Being exposed to well-written code is a valuable experience for students -- especially when the code is larger or more complex than they are currently capable of writing. In addit...