Introduction to bidirectional transformations
From MaRDI portal
Publication:1725926
DOI10.1007/978-3-319-79108-1_1zbMath1476.68034OpenAlexW2795350824MaRDI QIDQ1725926
Perdita Stevens, Jeremy Gibbons, Faris Abou-Saleh, James McKinna, James Cheney
Publication date: 15 February 2019
Full work available at URL: https://ora.ox.ac.uk/objects/uuid:87786088-8a5c-4924-9e6d-36067c434264
Related Items (3)
Contract lenses: Reasoning about bidirectional programs via calculation ⋮ Double-pushout-rewriting in \(S\)-Cartesian functor categories: rewriting theory and application to partial triple graphs ⋮ Comprehensive systems: a formal foundation for multi-model consistency management
This page was built for publication: Introduction to bidirectional transformations
