Abstract
Treating predicate logic as both a specification language and a programming language, firstorder logical deduction is shown to be sufficient for verifying, synthesizing, and transforming programs. © 1981, ACM. All rights reserved.
Author supplied keywords
Cite
CITATION STYLE
APA
Hogger, C. J. (1981). Derivation of Logic Programs. Journal of the ACM (JACM), 28(2), 372–392. https://doi.org/10.1145/322248.322258
Register to see more suggestions
Mendeley helps you to discover research relevant for your work.
Already have an account? Sign in
Sign up for free