CHI
2003
ACM
14 years 11 months ago
2003
ACM
Despite their ability to help with program correctness, assertions have been notoriously unpopular--even with professional programmers. End-user programmers seem even less likely ...