Sciweavers

2 search results - page 1 / 1
» Using Decision Procedures to Accelerate Domain-Specific Dedu...
Sort
View
LOPSTR
1998
Springer
13 years 7 months ago
Using Decision Procedures to Accelerate Domain-Specific Deductive Synthesis Systems
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...
Jeffrey Van Baalen, Steve Roach
ASE
2005
140views more  ASE 2005»
13 years 3 months ago
Automated Procedure Construction for Deductive Synthesis
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...
Steve Roach, Jeffrey Van Baalen