Telecharger Cours

Program Transformation with Abstract Relation Algebras - DTIC

This rule follows by induction from the definitions of conc, null, and map with equa- tions 8, 49, 39, and 40. 6 Transformations. We use the equations developed ...



Download