Derived Preconditions and Their Use in Program Synthesis
暂无分享,去创建一个
[1] Gérard D. Guiho,et al. Program Synthesis from Incomplete Specifiactions , 1980, CADE.
[2] Nils J. Nilsson,et al. Principles of Artificial Intelligence , 1980, IEEE Transactions on Pattern Analysis and Machine Intelligence.
[3] Donald W. Loveland,et al. Automated theorem proving: a logical basis , 1978, Fundamental studies in computer science.
[4] W. W. Bledsoe,et al. Non-Resolution Theorem Proving , 1977, Artif. Intell..
[5] Raymond Reiter,et al. A Semantically Guided Deductive System for Automatic Theorem Proving , 1973, IEEE Transactions on Computers.
[6] Zohar Manna,et al. A Deductive Approach to Program Synthesis , 1979, TOPL.
[7] Edsger W. Dijkstra,et al. A Discipline of Programming , 1976 .
[8] Wolfgang Bibel,et al. Syntax-Directed, Semantics-Supported Program Synthesis , 1979, Artif. Intell..
[9] Douglas R. Smith. A Design for an Automatic Programming System , 1981, IJCAI.