Qian Wang, Gopal Gupta, Michael Leuschel. Towards Provably Correct Code Generation via Horn Logical Continuation Semantics. In Manuel V. Hermenegildo, Daniel Cabeza, editors, Practical Aspects of Declarative Languages, 7th International Symposium, PADL 2005, Long Beach, CA, USA, January 10-11, 2005, Proceedings. Volume 3350 of Lecture Notes in Computer Science, pages 98-112, Springer, 2005. [doi]