paper
referenced-only
paper:john-correctness-of-a-compiler-for-arithmetic-1967

Correctness of a Compiler for Arithmetic Expressions

External IDs

title_hash
26159ba2770ffe5f51207952fe1d14ae4d625d89
legacy_slug
john-correctness-of-a-compiler-for-arithmetic-1967
Frontmatter (8 fields)
{
  "doi": null,
  "year": 1967,
  "title": "Correctness of a Compiler for Arithmetic Expressions",
  "venue": "Proceedings of Symposia in Applied Mathematics, Volume XIX, American Mathematical Society",
  "authors": [
    "McCarthy, John",
    "Painter, James"
  ],
  "arxiv_id": null,
  "s2_paper_id": null,
  "ingest_status": "referenced-only"
}

Outgoing (0)

None.

Incoming (0)

None.

Cited by (1)