scientific article; zbMATH DE number 3342643

MaRDI QIDQ5618896zbMATH OpenFDO

Authors Rod Burstall, Peter J. Landin

Publication date 1969

Mathematics Subject Classification ID

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

Cited in

(14)

• Algebraic translations, correctness and algebraic compiler construction
• Algebraic processing of programming languages
• More on advice on structuring compilers and proving them correct
• Program morphisms
• A unified language processing methodology
• Types in programming languages, between modelling, abstraction, and correctness (extended abstract)
• Semantic preserving translations
• scientific article; zbMATH DE number 1022228 (Why is no real title available?)
• Fold-unfold lemmas for reasoning about recursive programs using the Coq proof assistant
• Getting There and Back Again
• Rod Burstall: in memoriam (1934--2025)
• An overview of compositional translations
• Expressive power of typed and type-free programming languages
• A constructive method for abstract algebraic software specification

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