Representability of Design Objects by Ancestor-Controlled Hierarchical Specifications

DOI10.1137/0221049zbMath0757.68045MaRDI QIDQ4015970

Daniel J. Rosenkrantz, Lin Yu

Publication date: 6 December 1992

Published in: SIAM Journal on Computing (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1137/0221049

zbMATH Keywords

conditional expansion; configuration control; hierarchical modules; module alternatives

Mathematics Subject Classification ID

68Q25: Analysis of algorithms and problem complexity

68P15: Database theory

68R05: Combinatorics in computer science