Fundamentals of deductive program synthesis
- 1 January 1992
- journal article
- Published by Institute of Electrical and Electronics Engineers (IEEE) in IEEE Transactions on Software Engineering
- Vol. 18 (8) , 674-704
- https://doi.org/10.1109/32.153379
Abstract
No abstract availableThis publication has 27 references indexed in Scilit:
- Constructive Mathematics and Computer ProgrammingPublished by Elsevier ,2014
- Specifying theorem provers in a higher-order logic programming languagePublished by Springer Nature ,2005
- The foundation of a generic theorem proverJournal of Automated Reasoning, 1989
- Formal synthesis of a unification algorithm by the deductive-tableau methodThe Journal of Logic Programming, 1989
- Unification theoryJournal of Symbolic Computation, 1989
- A framework for the synthesis of reactive modulesPublished by Springer Nature ,1988
- Top-down synthesis of divide-and-conquer algorithmsArtificial Intelligence, 1985
- Properties of substitutions and unificationsJournal of Symbolic Computation, 1985
- Completely non-clausal theorem provingArtificial Intelligence, 1982
- A Machine-Oriented Logic Based on the Resolution PrincipleJournal of the ACM, 1965