The formalism underlying EASYMAP: A precompiler for refinement-based exploration of hierarchical data organizations

DOI10.1016/J.SCICO.2008.03.002zbMath1154.68368OpenAlexW2067061622MaRDI QIDQ941466

Edgar G. Daylight, Arnout Vandecappelle, Francky V. M. Catthoor

Publication date: 1 September 2008

Published in: Science of Computer Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.scico.2008.03.002

zbMATH Keywords

embedded systemsseparation logicabstract data type refinementdata structure designformal tool designhierarchical data organization

Mathematics Subject Classification ID

Data structures (68P05)

This page was built for publication: The formalism underlying EASYMAP: A precompiler for refinement-based exploration of hierarchical data organizations