Provably Correct Code Generation: A Case Study
Published in Electronic Notes in Theoretical Computer Science • Feb 1, 2005
NobleIDNI5P72W19R87S87
Authors:,
Qian Wang
Gopal Gupta
Abstract
Provably correct compilation is an important aspect in development of high assurance software systems. In this paper we present an approach to provably correct compilation based on Horn logical semantics of programming languages and partial evaluation. We also show that continuation semantics can be...
Finding related papers...
Discussions
(0)No comments yet
Be the first to share your thoughts!