scientific article; zbMATH DE number 3342643

zbMath0215.55901MaRDI QIDQ5618896

Peter J. Landin, Rod M. Burstall

Publication date: 1969

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

Mathematics Subject Classification ID

Theory of compilers and interpreters (68N20) General topics in the theory of software (68N01)

Related Items (12)

Fold–unfold lemmas for reasoning about recursive programs using the Coq proof assistant ⋮ Types in Programming Languages, Between Modelling, Abstraction, and Correctness ⋮ Getting There and Back Again ⋮ Algebraic translations, correctness and algebraic compiler construction ⋮ Algebraic processing of programming languages ⋮ More on advice on structuring compilers and proving them correct ⋮ Semantic preserving translations ⋮ Program morphisms ⋮ Expressive power of typed and type-free programming languages ⋮ Unnamed Item ⋮ A constructive method for abstract algebraic software specification ⋮ A unified language processing methodology

This page was built for publication: