A 'division' transformation for program and data structures and the structure clash problem

Beat Michel
1988 Science of Computer Programming  
Motivated by the structure clash problem, this study examines certain formal transformations of data and program structures and relates them to the structure clash problem. It defines a division and a decomposition transformation of program and data structures with respect to one of its structure blocks. The latter allows a formal derivation of a new structure where this block appears at the beginning. The transformation is intuitively introduced for program and data structures. At the same
more » ... , it is mathematically treated in terms of regular algebra and is shown to be reflexive, symmetric and transitive. Thus, equivalence classes of regular expressions that are decompositions of each other may be defined. A formal realization of these is constructed as a type of circuitless graph. 0167-6423/88/$3.50 @ 1988, Elsevier Science Publishers B.V. (North-Holland)
doi:10.1016/0167-6423(88)90051-2 fatcat:oilygdid4rebnoed33uewgerfu