Intruder
发表于 2025-4-1 02:50:14
The Refinement Relation of Graph-Based Generic Programsg to attain the goals set for Generic Programming. Within the formalism of AP, we explore the important problem of refinement: given two generic programs, does one express a subset of the programs expressed by the other? We show that two natural definitions of refinement coincide, but the correspond