Information-theoretic Complexity of Program Specifications

DOI10.1093/COMJNL/30.3.223MaRDI QIDQ3761671zbMATH OpenOpenAlexFDO

Authors N. S. Coulter, Robert B. Cooper, Martin Kenneth Solomon

Publication date 1987

Published in The Computer Journal (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1093/comjnl/30.3.223

zbMATH Keywords

cognitive theoriesentropyinformation-theoretic measuremetricsmodularity problems

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Measures of information, entropy (94A17)

Recommendations

• Complexity measures for concurrent programs based on information- theoretic metrics
• Measuring prime program complexity
• Publication:4896252
• A COMPARISON OF A NEW MEASURE OF LOGICAL COMPLEXITY OF PROGRAMS WITH THE HALSTEAD AND McCABE METHODS
• scientific article; zbMATH DE number 51799

This page was built for publication: Information-theoretic Complexity of Program Specifications

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3761671)