scientific article; zbMATH DE number 3410594

zbMath0259.68008MaRDI QIDQ5674962

Richard W. Weyhrauch, Arthur J. Milner

Publication date: 1972

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

Trace-Relating Compiler Correctness and Secure Compilation, A formally verified compiler back-end, Algebraic translations, correctness and algebraic compiler construction, Mechanizing structural induction. II: Strategies, Correctness of the compiling process based on axiomatic semantics, More on advice on structuring compilers and proving them correct, A survey of state vectors, Completeness results for the equivalence of recursive schemas, PASCAL in LCF: Semantics and examples of proof, A Higher-Order Abstract Syntax Approach to Verified Transformations on Functional Programs, A demonstrably correct compiler, Correctness proofs of syntax-directed processing descriptions by attributes, Verified compilation of floating-point computations, Complex structures and composite models - An essay on methodology

Uses Software

• LCF