An experiment in high level language microprogramming and verification

DOI10.1145/358769.358788MaRDI QIDQ3935450zbMATH OpenOpenAlexWikidataFDO

Authors David A. Patterson

Publication date 1981

Published in Communications of the ACM (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1145/358769.358788

zbMATH Keywords

high level microprogramming languagesmicroprogrammingoptimizationstructured microprogramming

Mathematics Subject Classification ID

General topics in the theory of software (68N01) Specification and verification (program logics, model checking, etc.) (68Q60)

This page was built for publication: An experiment in high level language microprogramming and verification

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