External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Tags

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

Towards Provably Correct Code Generation via Horn Logical Continuation Semantics

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]

Authors

Qian Wang

This author has not been identified. Look up 'Qian Wang' in Google

Gopal Gupta

This author has not been identified. Look up 'Gopal Gupta' in Google

Michael Leuschel

Identified as Michael Leuschel
runs on