LOPSTR
1998
Springer
14 years 5 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
14 years 5 months ago
1998
Springer
LOPSTR
1998
Springer
14 years 5 months ago
1998
Springer
LOPSTR
1998
Springer
14 years 5 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
14 years 5 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...