Leuschel, Michael; Vidal Oriola, Germán Francisco(Elsevier, 2014-04)
One of the most important challenges in partial evaluation is the design of automatic
methods for ensuring the termination of the process. In this work, we introduce sufficient
conditions for the strong (i.e., independent ...