An experiment in high level language microprogramming and verification

DOI10.1145/358769.358788zbMath0477.68014OpenAlexW1970580078WikidataQ128253362 ScholiaQ128253362MaRDI QIDQ3935450

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

optimizationmicroprogramminghigh level microprogramming languagesstructured microprogramming

Mathematics Subject Classification ID

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

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