Derived preconditions and their use in program synthesis
- 5 October 2005
- book chapter
- Published by Springer Nature
- p. 172-193
- https://doi.org/10.1007/bfb0000059
Abstract
No abstract availableKeywords
This publication has 4 references indexed in Scilit:
- Syntax-directed, semantics-supported program synthesisArtificial Intelligence, 1980
- A Deductive Approach to Program SynthesisACM Transactions on Programming Languages and Systems, 1980
- Non-resolution theorem provingArtificial Intelligence, 1977
- A Semantically Guided Deductive System for Automatic Theorem ProvingIEEE Transactions on Computers, 1976