2 search results - page 1 / 1 » wlp 1997 |
89
Voted
WLP
1997
Springer
15 years 5 months ago
1997
Springer
Recently well-quasi orders in general, and homeomorphic embedding in particular, have gained popularity to ensure the termination of program analysis, specialisation and transform...
125
Voted
WLP
1997
Springer
15 years 5 months ago
1997
Springer
eduction strategies for logic programs often use an abstraction operator to guarantee the niteness of the set of goals for which partial deductions are . Findingan abstraction ope...