2 search results - page 1 / 1 » Using Decision Procedures to Accelerate Domain-Specific Dedu... |
LOPSTR
1998
Springer
14 years 3 months ago
1998
Springer
This paper describes a class of decision procedures that we have found useful for efficient, domain-specific deductive synthesis, and a method for integrating this type of procedur...
ASE
2005
13 years 11 months ago
2005
Deductive program synthesis systems based on automated theorem proving offer the promise of software that is correct by construction. However, the difficulty encountered in constru...