28 citations · 47 across the 8 of their papers we have counts for
1 paper · 1 filter
Haoyang Ma
Most software that runs on computers undergoes processing by compilers. Since compilers constitute the fundamental infrastructure of software development, their correctness is para…