86
Voted
LOPSTR
1998
Springer
15 years 4 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...
72
Voted
LOPSTR
1998
Springer
15 years 4 months ago
1998
Springer
LOPSTR
1998
Springer
15 years 4 months ago
1998
Springer
97
Voted
LOPSTR
1998
Springer
15 years 4 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...
120
Voted
LOPSTR
1998
Springer
15 years 4 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...