scientific article; zbMATH DE number 3846848

MaRDI QIDQ3316567zbMATH OpenFDO

Authors Martin C. Henson

Publication date 1983

zbMATH Keywords

compiler correctnesscontinuation semanticsdenotational semantics

Mathematics Subject Classification ID

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

Recommendations

• scientific article; zbMATH DE number 3898208
• Correctness of static flow analysis in continuation semantics
• Toward compiler implementation correctness proofs
• Proving correctness of compilers using structured graphs
• scientific article; zbMATH DE number 702367

Cited in

(10)

• On context-free trees
• Normal form approach to compiler design
• Biorthogonality, step-indexing and compiler correctness
• scientific article; zbMATH DE number 3898208 (Why is no real title available?)
• Toward compiler implementation correctness proofs
• scientific article; zbMATH DE number 702367 (Why is no real title available?)
• scientific article; zbMATH DE number 2079040 (Why is no real title available?)
• Proving correctness of compilers using structured graphs
• Deriving a compiler from an operational semantics written in VDL
• A short proof of the lexical addressing algorithm

This page was built for publication:

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