Figure 12From: Clock refinement in imperative synchronous languages Pseudo code of function Compile. Back to article page