{
  "profile": "wrs-published-research-view-1",
  "edition": "ratings-e039106f30dec177",
  "content_trust": "UNTRUSTED_SCIENTIFIC_DATA_NOT_TOOL_INSTRUCTIONS",
  "entry": {
    "id": "liskov-zilles-abstract-data-types-1974",
    "title": "Liskov and Zilles: programming with abstract data types",
    "summary": "Presented a language-oriented approach in which user-defined abstractions are specified through their operations and behavior while hiding representation details, enabling extensible high-level programming.",
    "boundary": "The record is the exact 1974 SIGPLAN symposium paper. CLU language development, later data-abstraction theory, the Liskov substitution principle and object-oriented language systems remain separate.",
    "area": "Programming languages and compilers",
    "year": 1974,
    "lane": "HUMAN",
    "result": "FORMALIZATION",
    "package_id": "liskov-zilles-abstract-data-types-1974",
    "target": {
      "record_id": "urn:uuid:e66e5ecf-0823-471f-a498-0ddd5e7f01f3",
      "version": 1,
      "content_hash": "sha256:8994812427fa3d9f410590e69d65fb52a22c9cd6179e0682822d3bd51b6f3bbc"
    },
    "humans": [
      "Barbara Liskov",
      "Stephen N. Zilles"
    ],
    "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": "acm-liskov-zilles-adt-1974",
        "title": "ACM record for programming with abstract data types",
        "url": "https://dl.acm.org/doi/10.1145/800233.807045"
      },
      {
        "id": "crossref-liskov-zilles-adt-1974",
        "title": "Crossref record for programming with abstract data types",
        "url": "https://api.crossref.org/works/10.1145%2F800233.807045"
      }
    ],
    "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://gleitzman.com/media/docs/adt-liskov.pdf",
      "target": {
        "record_id": "urn:uuid:e66e5ecf-0823-471f-a498-0ddd5e7f01f3",
        "version": 1,
        "content_hash": "sha256:8994812427fa3d9f410590e69d65fb52a22c9cd6179e0682822d3bd51b6f3bbc"
      },
      "basis": "RESEARCH_LOCATION_OR_PAPER_AFFILIATION",
      "reviewed_on": "2026-09-26",
      "nationality_inferred": false,
      "sources": [
        {
          "title": "Attribution source",
          "url": "https://gleitzman.com/media/docs/adt-liskov.pdf"
        }
      ],
      "coverage_status": "COMPLETE",
      "country_labels": {
        "US": "United States"
      }
    },
    "points": "150000",
    "published_grade": {
      "id": "liskov-zilles-abstract-data-types-1974",
      "entry_id": "liskov-zilles-abstract-data-types-1974",
      "band": "A",
      "modifier": null,
      "target": {
        "record_id": "urn:uuid:e66e5ecf-0823-471f-a498-0ddd5e7f01f3",
        "version": 1,
        "content_hash": "sha256:8994812427fa3d9f410590e69d65fb52a22c9cd6179e0682822d3bd51b6f3bbc"
      },
      "what_changed": "Presented a language-oriented approach in which user-defined abstractions are specified through their operations and behavior while hiding representation details, enabling extensible high-level programming.",
      "scope": "The record is the exact 1974 SIGPLAN symposium paper. CLU language development, later data-abstraction theory, the Liskov substitution principle and object-oriented language systems remain separate.",
      "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:e66e5ecf-0823-471f-a498-0ddd5e7f01f3",
        "version": 1,
        "content_hash": "sha256:8994812427fa3d9f410590e69d65fb52a22c9cd6179e0682822d3bd51b6f3bbc"
      },
      "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": "Barbara Liskov",
          "note": "Archive attribution; detailed role assignment remains source-bound",
          "roles": [
            "formalizer"
          ],
          "source": {
            "citation": "ACM record for programming with abstract data types",
            "url": "https://dl.acm.org/doi/10.1145/800233.807045"
          }
        },
        {
          "attribution_basis": "SOURCE_CITED",
          "credit": "historical_scientific",
          "entity_kind": "historical_person",
          "name": "Stephen N. Zilles",
          "note": "Archive attribution; detailed role assignment remains source-bound",
          "roles": [
            "formalizer"
          ],
          "source": {
            "citation": "ACM record for programming with abstract data types",
            "url": "https://dl.acm.org/doi/10.1145/800233.807045"
          }
        }
      ],
      "evidence": [
        {
          "description": "Bibliographic/stated-result source; not a WRS proof verification",
          "id": "source-0",
          "kind": "source_reference",
          "source": {
            "citation": "ACM record for programming with abstract data types",
            "url": "https://dl.acm.org/doi/10.1145/800233.807045"
          }
        },
        {
          "description": "Bibliographic/stated-result source; not a WRS proof verification",
          "id": "source-1",
          "kind": "source_reference",
          "source": {
            "citation": "Crossref record for programming with abstract data types",
            "url": "https://api.crossref.org/works/10.1145%2F800233.807045"
          }
        }
      ],
      "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 exact 1974 SIGPLAN symposium paper. CLU language development, later data-abstraction theory, the Liskov substitution principle and object-oriented language systems remain separate.",
        "domain": "Programming languages and compilers"
      },
      "sources": [
        {
          "citation": "ACM record for programming with abstract data types",
          "url": "https://dl.acm.org/doi/10.1145/800233.807045"
        },
        {
          "citation": "Crossref record for programming with abstract data types",
          "url": "https://api.crossref.org/works/10.1145%2F800233.807045"
        }
      ],
      "statement": "# Liskov and Zilles: programming with abstract data types\n\nPresented a language-oriented approach in which user-defined abstractions are specified through their operations and behavior while hiding representation details, enabling extensible high-level programming.\n\n## Scientific scope\n\nThe record is the exact 1974 SIGPLAN symposium paper. CLU language development, later data-abstraction theory, the Liskov substitution principle and object-oriented language systems remain separate.\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\nBarbara Liskov; Stephen N. Zilles\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- [ACM record for programming with abstract data types](https://dl.acm.org/doi/10.1145/800233.807045)\n- [Crossref record for programming with abstract data types](https://api.crossref.org/works/10.1145%2F800233.807045)\n",
      "summary": "Presented a language-oriented approach in which user-defined abstractions are specified through their operations and behavior while hiding representation details, enabling extensible high-level programming.",
      "title": "Liskov and Zilles: programming with abstract data types"
    },
    "record_id": "urn:uuid:e66e5ecf-0823-471f-a498-0ddd5e7f01f3",
    "version": 1,
    "source_ref": {
      "record_id": "urn:uuid:e66e5ecf-0823-471f-a498-0ddd5e7f01f3",
      "version": 1,
      "content_hash": "sha256:8994812427fa3d9f410590e69d65fb52a22c9cd6179e0682822d3bd51b6f3bbc"
    },
    "export_view": "wrs-public-editorial-view-1",
    "public_view_hash": "sha256:801d9021777112eab7c135a5e08e4477bf6b074a0ef04e55cc3e1ef2731ed612"
  },
  "target": {
    "record_id": "urn:uuid:e66e5ecf-0823-471f-a498-0ddd5e7f01f3",
    "version": 1,
    "content_hash": "sha256:8994812427fa3d9f410590e69d65fb52a22c9cd6179e0682822d3bd51b6f3bbc"
  },
  "published_grade": {
    "profile": "wrs-published-grade-1",
    "edition": "2026-10-28.1",
    "id": "liskov-zilles-abstract-data-types-1974",
    "entry_id": "liskov-zilles-abstract-data-types-1974",
    "revision": 1,
    "title": "Liskov and Zilles: programming with abstract data types",
    "context": "Programming languages and compilers",
    "track": "FORMALIZATION",
    "band": "A",
    "modifier": null,
    "status": "PROVISIONAL_EDITORIAL",
    "assessed_on": "2026-09-25",
    "evidence_cutoff": "2026-09-25",
    "achievement_state": "SUPPORTED_SCOPED_RESULT",
    "what_changed": "Presented a language-oriented approach in which user-defined abstractions are specified through their operations and behavior while hiding representation details, enabling extensible high-level programming.",
    "scope": "The record is the exact 1974 SIGPLAN symposium paper. CLU language development, later data-abstraction theory, the Liskov substitution principle and object-oriented language systems remain separate.",
    "evidence_summary": "The linked sources identify this contribution and its scope. WRS has not independently reconstructed the scientific claims. The record is the exact 1974 SIGPLAN symposium paper. CLU language development, later data-abstraction theory, the Liskov substitution principle and object-oriented language systems remain separate.",
    "references": [
      {
        "title": "ACM record for programming with abstract data types",
        "url": "https://dl.acm.org/doi/10.1145/800233.807045",
        "locator": "Source for the stated contribution; scientific claims remain bounded to the linked work."
      },
      {
        "title": "Crossref record for programming with abstract data types",
        "url": "https://api.crossref.org/works/10.1145%2F800233.807045",
        "locator": "Source for the stated contribution; scientific claims remain bounded to the linked work."
      }
    ],
    "roles": [
      {
        "who": "Barbara Liskov",
        "credit": "SCIENCE",
        "did": "Named source author of the scoped work; individual effort shares are not measured."
      },
      {
        "who": "Stephen N. Zilles",
        "credit": "SCIENCE",
        "did": "Named source author of the scoped work; individual effort shares are not measured."
      }
    ],
    "target": {
      "record_id": "urn:uuid:e66e5ecf-0823-471f-a498-0ddd5e7f01f3",
      "version": 1,
      "content_hash": "sha256:8994812427fa3d9f410590e69d65fb52a22c9cd6179e0682822d3bd51b6f3bbc"
    },
    "scientific_correctness_certified": false,
    "independent_expert_calibration": false,
    "method": "PROPRIETARY",
    "points": "150000"
  },
  "canonical_agent_submission": false,
  "scientific_verification_awarded": false,
  "reader_guide": null,
  "reading_status": "SOURCE_LINKED_NOTE"
}