{"type":"ScholarlyArticle","title":"Predicate Logic: A Calculus for the Formal Derivation of Programs","authors":[{"name":"Keith L. Clark","slug":"keith-l-clark","given":"Keith L.","family":"Clark","affiliation":""},{"name":"Sharon Sickel","slug":"sharon-sickel","given":"Sharon","family":"Sickel","affiliation":""}],"abstract":"We show how predicate logic can be used to derive programs from axiomatic specifications. We also show how its proof theory can be used to analyse, and re-characterize, the computations of a program.","doi":null,"url":"https://ijcai.org/proceedings/1977/96","pdf":"https://ijcai.org/proceedings/1977/0096.pdf","markdown":"https://ijcai.org/proceedings/1977/96.md","bibtex":"https://ijcai.org/proceedings/1977/bibtex/96","volume":{"slug":"1977","title":"Proceedings of the Fifth International Joint Conference on Artificial Intelligence","short_title":"IJCAI 1977","url":"https://ijcai.org/proceedings/1977/","year":1977,"location":"Cambridge, MA, USA","dates":"","editors":"Raj Reddy","isbn":"","publisher":"International Joint Conferences on Artificial Intelligence","doi_prefix":""},"section":"Aids to Programming","track":"Aids to Programming","number":96,"pages":{"first":419,"last":419},"keywords":[],"videos":[],"references":[],"license_note":"Copyright International Joint Conferences on Artificial Intelligence."}