A categorical framework for the transformation of object-oriented systems: models and data
From MaRDI portal
Publication:631577
DOI10.1016/j.jsc.2010.09.010zbMath1211.68259OpenAlexW2004865084MaRDI QIDQ631577
Christoph Schulz, Harald König, Michael Löwe
Publication date: 14 March 2011
Published in: Journal of Symbolic Computation (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.jsc.2010.09.010
Adjoint functors (universal constructions, reflective subcategories, Kan extensions, etc.) (18A40) Specification and verification (program logics, model checking, etc.) (68Q60) Abstract data types; algebraic specification (68Q65) General topics in the theory of data (68P01)
Related Items
The PBPO graph transformation approach ⋮ Model Transformation and Induced Instance Migration: A Universal Framework
Cites Work