6 search results - page 1 / 2 » lopstr 1998 |
LOPSTR
1998
Springer
13 years 8 months ago
1998
Springer
LOPSTR
1998
Springer
13 years 8 months ago
1998
Springer
LOPSTR
1998
Springer
13 years 8 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
1998
Springer
13 years 8 months ago
1998
Springer
Well-quasi orders in general, and homeomorphic embedding in particular, have gained popularity to ensure online termination of program analysis, specialisation and transformation t...
LOPSTR
1998
Springer
13 years 8 months ago
1998
Springer
Based on a variable-free combinatory form of definite clause logic programs we outline a methodology and supporting program environment CombInduce for inducing well-moded logic pro...