Heterogeneous colimits
Mihai Codescu, Till Mossakowski · 2008
Colimits are a useful tool for the combination of specifications and logical theories. We generalize the notion of colimit to a heterogeneous multi-logic setting. For practically realistic cases, the notion has to be weakened. We describe an algorithm that approximates the weaker notion but obtains a colimit whenever possible. This algorithm is being implemented as part of the Heterogeneous Tool Set HETS.