This report describes the Graphical Editor part of DataLab, a visual programming tool for the specification and synthesis of abstract data types (ADTs). DataLab consists of two major components: graphical editor and source code generator. The graphical editor is used to design an abstract data structure and its operations by...