scientific article; zbMATH DE number 578229

zbMATH Open0823.68022MaRDI QIDQ4293533FDOQ4293533

Authors: Susan Stepney 

Publication date: 29 May 1994

Title of this publication is not available (Why is that?)

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

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)

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)