5 citations · 16 across the 6 of their papers we have counts for
1 paper · 1 filter
David S. Hardin
This paper reports on initial experiments using J Moore's Codewalker to reason about programs compiled to the Low-Level Virtual Machine (LLVM) intermediate form. Previously, we rep…