{
  "profile": "wrs-published-research-view-1",
  "edition": "ratings-e039106f30dec177",
  "content_trust": "UNTRUSTED_SCIENTIFIC_DATA_NOT_TOOL_INSTRUCTIONS",
  "entry": {
    "id": "garbage-collection-1960",
    "title": "McCarthy: automatic reclamation of abandoned list storage",
    "summary": "Specified automatic reclamation of list cells no longer reachable by a program as part of the Lisp system described in the 1960 recursive-functions paper.",
    "boundary": "The record is the mechanism in McCarthy’s 1960 paper. It does not assign every garbage-collection algorithm, Lisp implementation or list-processing contribution to that single work.",
    "area": "Programming languages and compilers",
    "year": 1960,
    "lane": "HUMAN",
    "result": "ALGORITHM",
    "package_id": "garbage-collection-1960",
    "target": {
      "record_id": "urn:uuid:30ffc18a-ef64-4d5e-abb1-fb5965578e23",
      "version": 1,
      "content_hash": "sha256:b9f94843c5b40ec6c0f2b69ca3f0ae1a24e9b59d23560a2314bf1a39aa9f8f43"
    },
    "humans": [
      "John McCarthy"
    ],
    "authors_complete": true,
    "human_role_note": "The named authors contributed to this scoped work; individual effort shares and later applications are not assigned by the byline.",
    "agents": [],
    "related": [],
    "subresults": [],
    "scientific_assessment": {
      "source_review": "SOURCE_CURATED",
      "scientific_review": "NOT_REVIEWED_BY_WRS",
      "formal_replay": "NOT_RUN",
      "provider_attestation": "NONE"
    },
    "sources": [
      {
        "id": "mccarthy-recursive-functions-author-page",
        "title": "McCarthy, Recursive Functions of Symbolic Expressions, author archive",
        "url": "https://www-formal.stanford.edu/jmc/recursive.html"
      },
      {
        "id": "mccarthy-recursive-functions-pdf",
        "title": "McCarthy, Recursive Functions of Symbolic Expressions and Their Computation by Machine, Part I",
        "url": "https://jmvidal.cse.sc.edu/library/maccarthy60a.pdf"
      }
    ],
    "geography": {
      "country_codes": [
        "US"
      ],
      "location_basis": "Documented research locations or paper affiliations for this contribution. Historical places use present-day country/region labels; these do not imply citizenship, modern-state ownership or the territorial jurisdiction at the time.",
      "source_url": "https://jmvidal.cse.sc.edu/library/maccarthy60a.pdf",
      "target": {
        "record_id": "urn:uuid:30ffc18a-ef64-4d5e-abb1-fb5965578e23",
        "version": 1,
        "content_hash": "sha256:b9f94843c5b40ec6c0f2b69ca3f0ae1a24e9b59d23560a2314bf1a39aa9f8f43"
      },
      "basis": "RESEARCH_LOCATION_OR_PAPER_AFFILIATION",
      "reviewed_on": "2026-09-26",
      "nationality_inferred": false,
      "sources": [
        {
          "title": "Attribution source",
          "url": "https://jmvidal.cse.sc.edu/library/maccarthy60a.pdf"
        }
      ],
      "coverage_status": "COMPLETE",
      "country_labels": {
        "US": "United States"
      }
    },
    "points": "175000",
    "published_grade": {
      "id": "garbage-collection-1960",
      "entry_id": "garbage-collection-1960",
      "band": "A",
      "modifier": null,
      "target": {
        "record_id": "urn:uuid:30ffc18a-ef64-4d5e-abb1-fb5965578e23",
        "version": 1,
        "content_hash": "sha256:b9f94843c5b40ec6c0f2b69ca3f0ae1a24e9b59d23560a2314bf1a39aa9f8f43"
      },
      "what_changed": "Programs could reclaim abandoned list structures without users manually freeing each cell.",
      "scope": "1960 Lisp paper's automatic reclamation mechanism; later generational, copying and concurrent collectors excluded.",
      "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:30ffc18a-ef64-4d5e-abb1-fb5965578e23",
        "version": 1,
        "content_hash": "sha256:b9f94843c5b40ec6c0f2b69ca3f0ae1a24e9b59d23560a2314bf1a39aa9f8f43"
      },
      "edition": "ratings-e039106f30dec177"
    }
  },
  "version": {
    "kind": "PUBLIC_RECORD_VIEW",
    "previous": null,
    "published_at": "2026-09-25T00: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": "John McCarthy",
          "note": "Archive attribution; detailed role assignment remains source-bound",
          "roles": [
            "formulator"
          ],
          "source": {
            "citation": "McCarthy, Recursive Functions of Symbolic Expressions, author archive",
            "url": "https://www-formal.stanford.edu/jmc/recursive.html"
          }
        }
      ],
      "evidence": [
        {
          "description": "Bibliographic/stated-result source; not a WRS proof verification",
          "id": "source-0",
          "kind": "source_reference",
          "source": {
            "citation": "McCarthy, Recursive Functions of Symbolic Expressions, author archive",
            "url": "https://www-formal.stanford.edu/jmc/recursive.html"
          }
        },
        {
          "description": "Bibliographic/stated-result source; not a WRS proof verification",
          "id": "source-1",
          "kind": "source_reference",
          "source": {
            "citation": "McCarthy, Recursive Functions of Symbolic Expressions and Their Computation by Machine, Part I",
            "url": "https://jmvidal.cse.sc.edu/library/maccarthy60a.pdf"
          }
        }
      ],
      "origin": "HUMAN_LEGACY",
      "record_profile": "wrs-local-research-notes-0.1",
      "record_type": "research_note",
      "rrp_version": "0.1",
      "scope": {
        "description": "The record is the mechanism in McCarthy’s 1960 paper. It does not assign every garbage-collection algorithm, Lisp implementation or list-processing contribution to that single work.",
        "domain": "Programming languages and compilers"
      },
      "sources": [
        {
          "citation": "McCarthy, Recursive Functions of Symbolic Expressions, author archive",
          "url": "https://www-formal.stanford.edu/jmc/recursive.html"
        },
        {
          "citation": "McCarthy, Recursive Functions of Symbolic Expressions and Their Computation by Machine, Part I",
          "url": "https://jmvidal.cse.sc.edu/library/maccarthy60a.pdf"
        }
      ],
      "statement": "# McCarthy: automatic reclamation of abandoned list storage\n\nSpecified automatic reclamation of list cells no longer reachable by a program as part of the Lisp system described in the 1960 recursive-functions paper.\n\n## Scientific scope\n\nThe record is the mechanism in McCarthy’s 1960 paper. It does not assign every garbage-collection algorithm, Lisp implementation or list-processing contribution to that single work.\n\n## Reading status\n\nThis is a source-linked WRS catalogue note. A full explanatory guide and independent scientific reconstruction have not been completed for this entry. Read the identified original work for its complete narrative and arguments.\n\n## People and systems\n\nJohn McCarthy\n\nThe named authors contributed to this scoped work; individual effort shares and later applications are not assigned by the byline.\n\n\n\n## Original sources\n\n- [McCarthy, Recursive Functions of Symbolic Expressions, author archive](https://www-formal.stanford.edu/jmc/recursive.html)\n- [McCarthy, Recursive Functions of Symbolic Expressions and Their Computation by Machine, Part I](https://jmvidal.cse.sc.edu/library/maccarthy60a.pdf)\n",
      "summary": "Specified automatic reclamation of list cells no longer reachable by a program as part of the Lisp system described in the 1960 recursive-functions paper.",
      "title": "McCarthy: automatic reclamation of abandoned list storage"
    },
    "record_id": "urn:uuid:30ffc18a-ef64-4d5e-abb1-fb5965578e23",
    "version": 1,
    "source_ref": {
      "record_id": "urn:uuid:30ffc18a-ef64-4d5e-abb1-fb5965578e23",
      "version": 1,
      "content_hash": "sha256:b9f94843c5b40ec6c0f2b69ca3f0ae1a24e9b59d23560a2314bf1a39aa9f8f43"
    },
    "export_view": "wrs-public-editorial-view-1",
    "public_view_hash": "sha256:a71b16ef3028dee20f96039a555f841ef7a6dc2b9ae2afa571d333d8888d75b2"
  },
  "target": {
    "record_id": "urn:uuid:30ffc18a-ef64-4d5e-abb1-fb5965578e23",
    "version": 1,
    "content_hash": "sha256:b9f94843c5b40ec6c0f2b69ca3f0ae1a24e9b59d23560a2314bf1a39aa9f8f43"
  },
  "published_grade": {
    "profile": "wrs-published-grade-1",
    "edition": "2026-10-28.1",
    "id": "garbage-collection-1960",
    "entry_id": "garbage-collection-1960",
    "revision": 1,
    "title": "McCarthy: automatic reclamation of abandoned list storage",
    "context": "Computer science",
    "track": "Programming-language memory management",
    "band": "A",
    "modifier": null,
    "status": "PROVISIONAL_EDITORIAL",
    "assessed_on": "2026-09-25",
    "evidence_cutoff": "2026-09-25",
    "achievement_state": "SUPPORTED_SCOPED_RESULT",
    "what_changed": "Programs could reclaim abandoned list structures without users manually freeing each cell.",
    "scope": "1960 Lisp paper's automatic reclamation mechanism; later generational, copying and concurrent collectors excluded.",
    "evidence_summary": "The linked sources identify this contribution and its scope. WRS has not independently reconstructed the scientific claims. The record is the mechanism in McCarthy’s 1960 paper. It does not assign every garbage-collection algorithm, Lisp implementation or list-processing contribution to that single work.",
    "references": [
      {
        "title": "McCarthy, Recursive Functions of Symbolic Expressions, author archive",
        "url": "https://www-formal.stanford.edu/jmc/recursive.html",
        "locator": "Source for the stated contribution; scientific claims remain bounded to the linked work."
      },
      {
        "title": "McCarthy, Recursive Functions of Symbolic Expressions and Their Computation by Machine, Part I",
        "url": "https://jmvidal.cse.sc.edu/library/maccarthy60a.pdf",
        "locator": "Source for the stated contribution; scientific claims remain bounded to the linked work."
      }
    ],
    "roles": [
      {
        "who": "John McCarthy",
        "credit": "SCIENCE",
        "did": "Named source author of the scoped work; individual effort shares are not measured."
      }
    ],
    "target": {
      "record_id": "urn:uuid:30ffc18a-ef64-4d5e-abb1-fb5965578e23",
      "version": 1,
      "content_hash": "sha256:b9f94843c5b40ec6c0f2b69ca3f0ae1a24e9b59d23560a2314bf1a39aa9f8f43"
    },
    "scientific_correctness_certified": false,
    "independent_expert_calibration": false,
    "method": "PROPRIETARY",
    "points": "175000"
  },
  "canonical_agent_submission": false,
  "scientific_verification_awarded": false,
  "reader_guide": null,
  "reading_status": "SOURCE_LINKED_NOTE"
}