The multiresolution analysis of flow graphs
From MaRDI portal
Publication:6282347
DOI10.1007/978-3-662-59533-6_20arXiv1701.07051MaRDI QIDQ6282347
Publication date: 24 January 2017
Abstract: We introduce and prove basic results about several graph-theoretic notions relevant to the multiresolution analysis of flow graphs that represent the transfer of control in computer programs. We take a category-theoretical viewpoint to demonstrate that our definitions are natural and to motivate particular incarnations of related constructions.
Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Monoidal categories, symmetric monoidal categories (18M05) Species, Hopf monoids, operads in combinatorics (18M80)
This page was built for publication: The multiresolution analysis of flow graphs
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6282347)
