Maintenance and abstraction of program data using formal transformations | Synapse