Formal verification of compiler transformations for speculative real-time execution

DOI10.1016/S0005-1098(98)00034-XMaRDI QIDQ1294961zbMATH OpenOpenAlexWikidataFDO

Authors Mohamed F. Younis, Grace Tsai, Thomas J. jun. Marlowe, Alexander D. Stoyenko

Publication date 21 June 2000

Published in Automatica (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/s0005-1098(98)00034-x

Mathematics Subject Classification ID

Theory of compilers and interpreters (68N20) Control/observation systems involving computers (process control, etc.) (93C83)

This page was built for publication: Formal verification of compiler transformations for speculative real-time execution

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