12 search results - page 3 / 3 » Debugging hygienic macros |
134
Voted
ACL2
2006
ACM
15 years 6 months ago
2006
ACM
One of ACL2’s most interesting features is that it is executable, so users can run the programs that they verify, and debug them during verification. In fact, the ACL2 implemen...
136
Voted
KBSE
2010
IEEE
14 years 11 months ago
2010
IEEE
A method is described for automatically repairing legacy software at the assembly code level using evolutionary computation. The technique is demonstrated on Java byte code and x8...