scientific article; zbMATH DE number 578229

MaRDI QIDQ4293533zbMATH OpenFDO

Authors Susan Stepney

Publication date 29 May 1994

zbMATH Keywords

compilersdynamic semanticsreliability of softwareProlog language

Mathematics Subject Classification ID

Research exposition (monographs, survey articles) pertaining to computer science (68-02) Theory of compilers and interpreters (68N20) Semantics in the theory of computing (68Q55)

Recommendations

• A demonstrably correct compiler
• scientific article; zbMATH DE number 4176425
• Provably correct code generation: a case study
• From relational specifications to logic programs
• scientific article; zbMATH DE number 1104382

Cited in

(3)

• A demonstrably correct compiler
• Correct hardware synthesis
• Specification, verification and prototyping of an optimized compiler

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 Q4293533)