This paper contains the synthesis of three well-known scheduling algorithms starting from a common high level definition. The scheduling algorithms have been synthesized using program transformation techniques.

--Authors’ Abstract

As the authors conclude, this paper is “just a preliminary attempt” to establish notation and concepts to enable the synthesis of full scheduling algorithms.