scientific article

zbMath0309.68026MaRDI QIDQ4068067

F. L. Morris

Publication date: 1973

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

General topics in the theory of software (68N01)

Related Items (16)

Trace-Relating Compiler Correctness and Secure Compilation ⋮ Two-level semantics and code generation ⋮ Generalized algebraic theories and contextual categories ⋮ Composition and evaluation of attribute coupled grammars ⋮ Algebraic translations, correctness and algebraic compiler construction ⋮ More on advice on structuring compilers and proving them correct ⋮ Abstract data types and algebraic semantics of programming languages ⋮ Proving correctness of a compiler using step-indexed logical relations ⋮ Proving a compiler correct: A simple approach ⋮ Design and correctness of a compiler for a non-procedural language ⋮ Correctness of parallel programs: The Church-Rosser approach ⋮ Semantic properties of Lucid's compute clause and its compilation ⋮ A demonstrably correct compiler ⋮ Correctness proofs of syntax-directed processing descriptions by attributes ⋮ Unnamed Item ⋮ Specification languages in algebraic compilers

This page was built for publication: