Symbolic Debugging of Optimized Code

DOI10.1145/357172.357173MaRDI QIDQ3943986zbMATH OpenOpenAlexFDO

Authors John L. Hennessy

Publication date 1982

Published in ACM Transactions on Programming Languages and Systems (Search for Journal in Brave)

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

zbMATH Keywords

code generationdebugging aidsdirected acyclic graphsflow graphsprocessorstesting

Mathematics Subject Classification ID

Theory of operating systems (68N25) Theory of software (68N99) Specification and verification (program logics, model checking, etc.) (68Q60)

Cited in

(1)

• Refinement calculus: A basis for translation validation, debugging and certification

This page was built for publication: Symbolic Debugging of Optimized Code

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