Pages that link to "Item:Q1725926"

The following pages link to Introduction to bidirectional transformations (Q1725926):

Displaying 3 items.

• Comprehensive systems: a formal foundation for multi-model consistency management (Q2065549) (← links)
• Double-pushout-rewriting in \(S\)-Cartesian functor categories: rewriting theory and application to partial triple graphs (Q2192461) (← links)
• Contract lenses: Reasoning about bidirectional programs via calculation (Q6065510) (← links)