1911 search results - page 304 / 383 » Program analysis for code duplication in logic programs |
120
click to vote
SAC
2003
ACM
15 years 7 months ago
2003
ACM
Test Driven Development (TDD) is a software development practice in which unit test cases are incrementally written prior to code implementation. In our research, we ran a set of ...
213
click to vote
ECOOP
2009
Springer
16 years 3 months ago
2009
Springer
Reusable APIs often dene usage protocols. We previously developed a sound modular type system that checks compliance with typestate-based protocols while aording a great deal of al...
113
click to vote
SRDS
2007
IEEE
15 years 8 months ago
2007
IEEE
Sensors that operate in an unattended, harsh or hostile environment are vulnerable to compromises because their low costs preclude the use of expensive tamper-resistant hardware. ...
122
click to vote
VMCAI
2004
Springer
15 years 7 months ago
2004
Springer
Abstract. Java is a very successful programming language which is also becoming widespread in embedded systems, where software correctness is critical. Jlint is a simple but highly...
104
click to vote
SAC
1996
ACM
15 years 6 months ago
1996
ACM
Gaining the code re-use advantages of object oriented programming requires dynamic function binding, which allows a new subclass to override a function of a superclass. Dynamic bi...