Sciweavers

JFP
2002
89views more  JFP 2002»
13 years 9 months ago
The countdown problem
We systematically develop a functional program that solves the countdown problem, a numbers game in which the aim is to construct arithmetic expressions satisfying certain constra...
Graham Hutton
DAGSTUHL
1996
13 years 10 months ago
Program Specialization via Program Slicing
This paper concerns the use of program slicing to perform a certain kind of program-specialization operation. We show that the specialization operation that slicing performs is dif...
Thomas W. Reps, Todd Turnidge