Pages that link to "Item:Q5176941"
From MaRDI portal
The following pages link to Bidirectionalizing graph transformations (Q5176941):
Displayed 6 items.
- Formalizing semantic bidirectionalization and extensions with dependent types (Q347391) (← links)
- Relations as Executable Specifications: Taming Partiality and Non-determinism Using Invariants (Q2915141) (← links)
- The algebra of recursive graph transformation language UnCAL: complete axiomatisation and iteration categorical semantics (Q3130301) (← links)
- (Q5014444) (← links)
- A Tangled Web of 12 Lens Laws (Q5162609) (← links)
- Characterizing Compatible View Updates in Syntactic Bidirectionalization (Q5237214) (← links)