Pages that link to "Item:Q2271900"
From MaRDI portal
The following pages link to A programmable editor for developing structured documents based on bidirectional transformations (Q2271900):
Displaying 4 items.
- Formalizing semantic bidirectionalization and extensions with dependent types (Q347391) (← links)
- Fundamentals of reversible flowchart languages (Q896906) (← links)
- Relations as Executable Specifications: Taming Partiality and Non-determinism Using Invariants (Q2915141) (← links)
- A Tangled Web of 12 Lens Laws (Q5162609) (← links)
