artifact
active
artifact:mccarthy-painter-1967-correctness-of-a-compiler-for-arithmetic-expressions

McCarthy & Painter (1967): Correctness of a Compiler for Arithmetic Expressions

Early work on compiler correctness, referenced for a and c functions.

Neighborhood — ranked by edge-count

Papers (1)

paper

Concepts (1)

concept
  • John McCarthy
    authored
    Primary author proposing Elephant 2000 programming language based on speech acts and logical semantics.