This paper describes the program transformation method used in DataLab, a general-purpose system for the specification and synthesis of abstract data types (ADTs). We present a model for transforming visual specifications of ADTs to imperative code. This model includes two forms of internal representations: one for the ADTs visual specifications...