L. Rapanotti
G.M. Megson
University of Newcastle upon Tyne. 1993
This report concerns the mapping of high-level specifications in the form of nested DO-loops in sequential programming languages, to systems of recurrence equations suitable for the synthesis of regular designs. In particular it addresses the mapping of (restricted) Pascal programs to Conditional Recurrence Equations in the context of SADE (Systolic Algorithm Design Environment), through the definition of a set of transformations applicable to the initial specification. Such transformations add to the theory of Systolic Design and constitute a sound theoretical basis for the automatic treatment of non-perfectly nested DO-loops with conditional expressions.