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]
@inproceedings{WangGL05,
title = {Towards Provably Correct Code Generation via Horn Logical Continuation Semantics},
author = {Qian Wang and Gopal Gupta and Michael Leuschel},
year = {2005},
url = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3350&spage=98},
tags = {semantics, code generation},
researchr = {https://researchr.org/publication/WangGL05},
cites = {0},
citedby = {0},
pages = {98-112},
booktitle = {Practical Aspects of Declarative Languages, 7th International Symposium, PADL 2005, Long Beach, CA, USA, January 10-11, 2005, Proceedings},
editor = {Manuel V. Hermenegildo and Daniel Cabeza},
volume = {3350},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {3-540-24362-3},
}