{
  "profile": "wrs-published-research-view-1",
  "edition": "ratings-e039106f30dec177",
  "content_trust": "UNTRUSTED_SCIENTIFIC_DATA_NOT_TOOL_INSTRUCTIONS",
  "entry": {
    "id": "knuth-inherited-synthesized-attributes-1968",
    "title": "Knuth: inherited and synthesized attributes for language semantics",
    "summary": "Knuth attached semantic attributes and production-level rules to context-free derivation trees. Synthesized information moves from parts toward a larger expression, while inherited information carries surrounding context, allowing both to participate in the meaning assigned to a tree.\n\nA syntax tree describes how an expression is built; attributes add values and context to that structure. Knuth's binary-number examples show how a value can depend both on its local bits and on the position information supplied by a larger expression. Production-level functions make these dependencies explicit. This extends acknowledged earlier syntax-directed semantics and separates semantic description from a particular parsing algorithm.",
    "boundary": "The scope is the attribute/function/dependency framework and its examples, not a certification of the original circularity-testing algorithm. A 1971 correction exists and its full text has not been reviewed. Semantic functions remain specified inputs; attributes do not themselves eliminate ambiguity, prove every program correct or define every natural-language meaning.",
    "area": "Programming-language semantics",
    "topic": "Computer science",
    "year": 1968,
    "lane": "HUMAN",
    "result": "ALGORITHM",
    "package_id": "knuth-inherited-synthesized-attributes-1968",
    "target": {
      "record_id": "urn:uuid:98e67d94-4bfb-4fa8-ad32-3f46be874c7b",
      "version": 1,
      "content_hash": "sha256:0d2b5718ed4fbe88a88a00f4cac0d1804613d3af7f3df3409fe5e9f3051d909b"
    },
    "humans": [
      "Donald E. Knuth"
    ],
    "authors_complete": true,
    "human_role_note": "Source-listed contributors to this scoped work. Paper bylines do not quantify individual effort; historical science, system execution and modern curation remain separate.",
    "agents": [],
    "related": [
      "lisp-recursive-functions",
      "knuth-lr-parsing-1965"
    ],
    "subresults": [],
    "scientific_assessment": {
      "source_review": "SOURCE_CURATED",
      "scientific_review": "NOT_REVIEWED_BY_WRS",
      "formal_replay": "NOT_RUN",
      "provider_attestation": "NONE"
    },
    "sources": [
      {
        "id": "wrs24-knuth-attribute-semantics-1968",
        "title": "Donald E. Knuth, Semantics of Context-Free Languages, Mathematical Systems Theory 2(2) (1968), 127–145",
        "url": "https://www.cs.tufts.edu/~nr/cs257/archive/don-knuth/semantics-cf-langs.pdf"
      }
    ],
    "points": "125000",
    "published_grade": {
      "id": "knuth-inherited-synthesized-attributes-1968",
      "entry_id": "knuth-inherited-synthesized-attributes-1968",
      "band": "A",
      "modifier": null,
      "target": {
        "record_id": "urn:uuid:98e67d94-4bfb-4fa8-ad32-3f46be874c7b",
        "version": 1,
        "content_hash": "sha256:0d2b5718ed4fbe88a88a00f4cac0d1804613d3af7f3df3409fe5e9f3051d909b"
      },
      "what_changed": "Inherited and synthesized attributes are organized by production-specific semantic functions, expressing local values together with contextual dependencies over a derivation tree.",
      "scope": "Inherited and synthesized attributes are organized by production-specific semantic functions, expressing local values together with contextual dependencies over a derivation tree. The scope is the attribute/function/dependency framework and its examples, not a certification of the original circularity-testing algorithm. A 1971 correction exists and its full text has not been reviewed. Semantic functions remain specified inputs; attributes do not themselves eliminate ambiguity, prove every program correct or define every natural-language meaning.",
      "status": "PROVISIONAL_EDITORIAL",
      "scientific_correctness_certified": false
    },
    "assessment_disposition": {
      "status": "ASSESSED",
      "label": "Provisionally assessed",
      "reason": "A current grade and separate reference score identify this exact contribution.",
      "target": {
        "record_id": "urn:uuid:98e67d94-4bfb-4fa8-ad32-3f46be874c7b",
        "version": 1,
        "content_hash": "sha256:0d2b5718ed4fbe88a88a00f4cac0d1804613d3af7f3df3409fe5e9f3051d909b"
      },
      "edition": "ratings-e039106f30dec177"
    }
  },
  "version": {
    "kind": "PUBLIC_RECORD_VIEW",
    "previous": null,
    "published_at": "2026-10-03T00:00:00Z",
    "publisher": {
      "principal_id": "urn:uuid:80116931-785b-40a2-a24b-9d59db0c7e33",
      "role": "WRS_EDITORIAL_PUBLICATION"
    },
    "record": {
      "contributors": [
        {
          "attribution_basis": "SOURCE_CITED",
          "credit": "historical_scientific",
          "entity_kind": "historical_person",
          "name": "Donald E. Knuth",
          "note": "Archive attribution; detailed role assignment remains source-bound",
          "roles": [
            "formulator"
          ],
          "source": {
            "citation": "Donald E. Knuth, Semantics of Context-Free Languages, Mathematical Systems Theory 2(2) (1968), 127–145",
            "url": "https://www.cs.tufts.edu/~nr/cs257/archive/don-knuth/semantics-cf-langs.pdf"
          }
        }
      ],
      "evidence": [
        {
          "description": "Bibliographic/stated-result source; not a WRS proof verification",
          "id": "source-0",
          "kind": "source_reference",
          "source": {
            "citation": "Donald E. Knuth, Semantics of Context-Free Languages, Mathematical Systems Theory 2(2) (1968), 127–145",
            "url": "https://www.cs.tufts.edu/~nr/cs257/archive/don-knuth/semantics-cf-langs.pdf"
          }
        }
      ],
      "origin": "HUMAN_LEGACY",
      "record_profile": "wrs-local-research-notes-0.1",
      "record_type": "research_note",
      "rrp_version": "0.1",
      "scope": {
        "description": "The scope is the attribute/function/dependency framework and its examples, not a certification of the original circularity-testing algorithm. A 1971 correction exists and its full text has not been reviewed. Semantic functions remain specified inputs; attributes do not themselves eliminate ambiguity, prove every program correct or define every natural-language meaning.",
        "domain": "Programming-language semantics"
      },
      "sources": [
        {
          "citation": "Donald E. Knuth, Semantics of Context-Free Languages, Mathematical Systems Theory 2(2) (1968), 127–145",
          "url": "https://www.cs.tufts.edu/~nr/cs257/archive/don-knuth/semantics-cf-langs.pdf"
        }
      ],
      "statement": "# Knuth: inherited and synthesized attributes for language semantics\n\nKnuth attached semantic attributes and production-level rules to context-free derivation trees. Synthesized information moves from parts toward a larger expression, while inherited information carries surrounding context, allowing both to participate in the meaning assigned to a tree.\n\nA syntax tree describes how an expression is built; attributes add values and context to that structure. Knuth's binary-number examples show how a value can depend both on its local bits and on the position information supplied by a larger expression. Production-level functions make these dependencies explicit. This extends acknowledged earlier syntax-directed semantics and separates semantic description from a particular parsing algorithm.\n\n## Scientific scope\n\nThe scope is the attribute/function/dependency framework and its examples, not a certification of the original circularity-testing algorithm. A 1971 correction exists and its full text has not been reviewed. Semantic functions remain specified inputs; attributes do not themselves eliminate ambiguity, prove every program correct or define every natural-language meaning.\n\n## People and systems\n\nDonald E. Knuth\n\n\n\n## Original sources\n\n- [Donald E. Knuth, Semantics of Context-Free Languages, Mathematical Systems Theory 2(2) (1968), 127–145](https://www.cs.tufts.edu/~nr/cs257/archive/don-knuth/semantics-cf-langs.pdf)\n",
      "summary": "Knuth attached semantic attributes and production-level rules to context-free derivation trees. Synthesized information moves from parts toward a larger expression, while inherited information carries surrounding context, allowing both to participate in the meaning assigned to a tree.\n\nA syntax tree describes how an expression is built; attributes add values and context to that structure. Knuth's binary-number examples show how a value can depend both on its local bits and on the position information supplied by a larger expression. Production-level functions make these dependencies explicit. This extends acknowledged earlier syntax-directed semantics and separates semantic description from a particular parsing algorithm.",
      "title": "Knuth: inherited and synthesized attributes for language semantics"
    },
    "record_id": "urn:uuid:98e67d94-4bfb-4fa8-ad32-3f46be874c7b",
    "version": 1,
    "source_ref": {
      "record_id": "urn:uuid:98e67d94-4bfb-4fa8-ad32-3f46be874c7b",
      "version": 1,
      "content_hash": "sha256:0d2b5718ed4fbe88a88a00f4cac0d1804613d3af7f3df3409fe5e9f3051d909b"
    },
    "export_view": "wrs-public-editorial-view-1",
    "public_view_hash": "sha256:d6e61f1939987012b36df0f9cab68c94a69cb6ada8674742558234a6fffa6a5c"
  },
  "target": {
    "record_id": "urn:uuid:98e67d94-4bfb-4fa8-ad32-3f46be874c7b",
    "version": 1,
    "content_hash": "sha256:0d2b5718ed4fbe88a88a00f4cac0d1804613d3af7f3df3409fe5e9f3051d909b"
  },
  "published_grade": {
    "profile": "wrs-published-grade-1",
    "edition": "2026-10-28.1",
    "id": "knuth-inherited-synthesized-attributes-1968",
    "entry_id": "knuth-inherited-synthesized-attributes-1968",
    "revision": 1,
    "title": "Knuth: inherited and synthesized attributes for language semantics",
    "context": "Programming-language semantics",
    "track": "Programming-language semantics",
    "band": "A",
    "modifier": null,
    "status": "PROVISIONAL_EDITORIAL",
    "assessed_on": "2026-10-03",
    "evidence_cutoff": "2026-10-03",
    "achievement_state": "SUPPORTED_SCOPED_RESULT",
    "what_changed": "Inherited and synthesized attributes are organized by production-specific semantic functions, expressing local values together with contextual dependencies over a derivation tree.",
    "scope": "Inherited and synthesized attributes are organized by production-specific semantic functions, expressing local values together with contextual dependencies over a derivation tree. The scope is the attribute/function/dependency framework and its examples, not a certification of the original circularity-testing algorithm. A 1971 correction exists and its full text has not been reviewed. Semantic functions remain specified inputs; attributes do not themselves eliminate ambiguity, prove every program correct or define every natural-language meaning.",
    "evidence_summary": "Source-linked, scoped account of the original work. The published scope states the scientific assumptions and remaining verification limits. WRS has not independently certified the full proof, experimental result or system benchmark.",
    "references": [
      {
        "title": "Donald E. Knuth, Semantics of Context-Free Languages, Mathematical Systems Theory 2(2) (1968), 127–145",
        "url": "https://www.cs.tufts.edu/~nr/cs257/archive/don-knuth/semantics-cf-langs.pdf",
        "locator": "Original linked work. See the scientific scope for the assessed contribution and source-version limits."
      }
    ],
    "roles": [
      {
        "who": "Donald E. Knuth",
        "did": "Original source-listed scientific author of this scoped work; byline does not determine effort fractions.",
        "credit": "SCIENCE"
      }
    ],
    "target": {
      "record_id": "urn:uuid:98e67d94-4bfb-4fa8-ad32-3f46be874c7b",
      "version": 1,
      "content_hash": "sha256:0d2b5718ed4fbe88a88a00f4cac0d1804613d3af7f3df3409fe5e9f3051d909b"
    },
    "scientific_correctness_certified": false,
    "independent_expert_calibration": false,
    "method": "PROPRIETARY",
    "points": "125000"
  },
  "canonical_agent_submission": false,
  "scientific_verification_awarded": false,
  "reader_guide": null,
  "reading_status": "SOURCE_LINKED_NOTE"
}