7 citations · 11 across the 10 of their papers we have counts for
Showing 2018 · cs.PLShow all
2 papers · 2 filters
cs.PL2018★ 1 cited
Correct by construction
M. H. van Emden
Matrix code allows one to discover algorithms and to render them in code that is both compilable and is correct by construction. In this way the difficulty of verifying existing co…
cs.PL2018
Beyond Structured Programming
M. H. van Emden
The correctness of a structured program is, at best, plausible. Though this is a step forward compared to what came before, it falls short of verified correctness. To verify a stru…