Definitional Interpreters for Higher-Order Programming Languages

Reynolds, J. C. (1972). Definitional Interpreters for Higher-Order Programming Languages. ACM, 717-740.

Type

Conference paper

Intellectual base

Primary research

Year

1972

Pages

717-740

DOI

10.1145/800194.805852

DOI registrant

Association for Computing Machinery

Link

https://doi.org/10.1145/800194.805852

Cited by

2 citations across 2 artifacts.

Each citation links to the sentence it supports in the citing article.

Domain-specific

• Mutual recursion
  • The entry records a descriptive analytical identity; practical use requires the governing domain's evidence, standards, and safety obligations.

Mechanisms

• Callback or Continuation Registration
  • Expressed formally, it is continuation-passing style

    This sourceDocuments it is continuation-passing style; "what to do next" made an explicit object the callee owns.

Verification

Does it exist? Confirmed. This work's DOI resolves to a registered record, which fixes its identity. That is all it fixes.

Does it back the claim? Not recorded. Neither this nor any other of the 2 citations of this work carries a recorded support check.

Support is checked per citation rather than per work — the same source can be cited soundly in one article and wrongly in another. Per-citation recording began recently, so a citation with no recorded check is a gap in the record rather than evidence it went unchecked.

See how references were verified.

Registry ID ref:d413659c64f3 · see in the full table