Towards Provably Correct Code Generation via Horn Logical Continuation Semantics.

Qian Wang, Gopal Gupta, Michael Leuschel

Browse the full PADL paper archive.