16 citations · 33 across the 4 of their papers we have counts for
1 paper · 1 filter
Jan Stolarek, James Cheney
Common programming tools, like compilers, debuggers, and IDEs, crucially rely on the ability to analyse program code to reason about its behaviour and properties. There has been a…