Initial Algebra Semantics for Cyclic Sharing Tree Structures
From MaRDI portal
Publication:2786132
DOI10.2168/LMCS-6(3:15)2010zbMath1209.68371MaRDI QIDQ2786132
Publication date: 21 September 2010
Published in: Logical Methods in Computer Science (Search for Journal in Brave)
Related Items (3)
Fregel: a functional domain-specific language for vertex-centric large-scale graph processing ⋮ Theory and practice of second-order rewriting: foundation, evolution, and SOL ⋮ The algebra of recursive graph transformation language UnCAL: complete axiomatisation and iteration categorical semantics
Uses Software
This page was built for publication: Initial Algebra Semantics for Cyclic Sharing Tree Structures
