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