8 search results - page 1 / 2 » Experience Report on Automated Procedure Construction for De... |
KBSE
2002
IEEE
13 years 9 months ago
2002
IEEE
ASE
2005
13 years 4 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...
LOPSTR
1998
Springer
13 years 9 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...
LOPSTR
2000
Springer
13 years 8 months ago
2000
Springer
In this paper we will present a formal framework, based on the notion of extraction calculus, which has been successfully applied to define procedures for extracting information fr...
CADE
2004
Springer
14 years 5 months ago
2004
Springer
contexts such as construction of abstractions, speed may be favored over completeness, so that undecidable theories (e.g., nonlinear integer arithmetic) and those whose decision pr...