{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2014:3TPFKZG7CWZEJNZ7ACZUOTPIJM","short_pith_number":"pith:3TPFKZG7","schema_version":"1.0","canonical_sha256":"dcde5564df15b244b73f00b3474de84b23f063f458f9e83fc8463dc427f63de8","source":{"kind":"arxiv","id":"1407.8251","version":1},"attestation_state":"computed","paper":{"title":"Type Variability and Completeness of Interfaces in Java Applications","license":"http://creativecommons.org/licenses/by-nc-sa/3.0/","headline":"","cross_cats":[],"primary_cat":"cs.SE","authors_text":"Hani Abdeen, Osama Shata","submitted_at":"2014-07-31T01:08:44Z","abstract_excerpt":"Interfaces are widely used as central design elements of Java applications. Although interfaces are abstract types similar to abstract classes, the usage of interfaces in Java applications may considerably differ from the usage of abstract classes. Unlike abstract classes, interfaces are meant to enable multiple inheritance in Java programs. Hence, interfaces are meant to encode shared similarities between classes belonging to different class-type hierarchies. Therefore, it is frequent to use interfaces as partial types, where an interface specifies one specific aspect or usage of its implemen"},"verification_status":{"content_addressed":true,"pith_receipt":true,"author_attested":false,"weak_author_claims":0,"strong_author_claims":0,"externally_anchored":false,"storage_verified":false,"citation_signatures":0,"replication_records":0,"graph_snapshot":true,"references_resolved":false,"formal_links_present":false},"canonical_record":{"source":{"id":"1407.8251","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by-nc-sa/3.0/","primary_cat":"cs.SE","submitted_at":"2014-07-31T01:08:44Z","cross_cats_sorted":[],"title_canon_sha256":"cf4c1df94bd3d27eda04dd9cf3a298996ff71b75179fca53feb8971ba8fd4a42","abstract_canon_sha256":"b73c9e4dc4ac6d1c9ec03568379dd2bb222c10a8c9f814fe4a19e698473ff7f9"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T02:46:05.542800Z","signature_b64":"9u8fbNFy9ixrxvB/cBOWC9SLY2MpGK5yXtQZlpVrHCO/ly72nzWBgVoLEFB+wL84kOTyTxHFQ09cT5jR0vJ4Ag==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"dcde5564df15b244b73f00b3474de84b23f063f458f9e83fc8463dc427f63de8","last_reissued_at":"2026-05-18T02:46:05.542271Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T02:46:05.542271Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Type Variability and Completeness of Interfaces in Java Applications","license":"http://creativecommons.org/licenses/by-nc-sa/3.0/","headline":"","cross_cats":[],"primary_cat":"cs.SE","authors_text":"Hani Abdeen, Osama Shata","submitted_at":"2014-07-31T01:08:44Z","abstract_excerpt":"Interfaces are widely used as central design elements of Java applications. Although interfaces are abstract types similar to abstract classes, the usage of interfaces in Java applications may considerably differ from the usage of abstract classes. Unlike abstract classes, interfaces are meant to enable multiple inheritance in Java programs. Hence, interfaces are meant to encode shared similarities between classes belonging to different class-type hierarchies. Therefore, it is frequent to use interfaces as partial types, where an interface specifies one specific aspect or usage of its implemen"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1407.8251","kind":"arxiv","version":1},"verdict":{"id":null,"model_set":{},"created_at":null,"strongest_claim":"","one_line_summary":"","pipeline_version":null,"weakest_assumption":"","pith_extraction_headline":""},"references":{"count":0,"sample":[],"resolved_work":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57","internal_anchors":0},"formal_canon":{"evidence_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"author_claims":{"count":0,"strong_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"builder_version":"pith-number-builder-2026-05-17-v1"},"aliases":[{"alias_kind":"arxiv","alias_value":"1407.8251","created_at":"2026-05-18T02:46:05.542359+00:00"},{"alias_kind":"arxiv_version","alias_value":"1407.8251v1","created_at":"2026-05-18T02:46:05.542359+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1407.8251","created_at":"2026-05-18T02:46:05.542359+00:00"},{"alias_kind":"pith_short_12","alias_value":"3TPFKZG7CWZE","created_at":"2026-05-18T12:28:11.866339+00:00"},{"alias_kind":"pith_short_16","alias_value":"3TPFKZG7CWZEJNZ7","created_at":"2026-05-18T12:28:11.866339+00:00"},{"alias_kind":"pith_short_8","alias_value":"3TPFKZG7","created_at":"2026-05-18T12:28:11.866339+00:00"}],"events":[],"event_summary":{},"paper_claims":[],"inbound_citations":{"count":0,"internal_anchor_count":0,"sample":[]},"formal_canon":{"evidence_count":0,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/3TPFKZG7CWZEJNZ7ACZUOTPIJM","json":"https://pith.science/pith/3TPFKZG7CWZEJNZ7ACZUOTPIJM.json","graph_json":"https://pith.science/api/pith-number/3TPFKZG7CWZEJNZ7ACZUOTPIJM/graph.json","events_json":"https://pith.science/api/pith-number/3TPFKZG7CWZEJNZ7ACZUOTPIJM/events.json","paper":"https://pith.science/paper/3TPFKZG7"},"agent_actions":{"view_html":"https://pith.science/pith/3TPFKZG7CWZEJNZ7ACZUOTPIJM","download_json":"https://pith.science/pith/3TPFKZG7CWZEJNZ7ACZUOTPIJM.json","view_paper":"https://pith.science/paper/3TPFKZG7","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1407.8251&json=true","fetch_graph":"https://pith.science/api/pith-number/3TPFKZG7CWZEJNZ7ACZUOTPIJM/graph.json","fetch_events":"https://pith.science/api/pith-number/3TPFKZG7CWZEJNZ7ACZUOTPIJM/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/3TPFKZG7CWZEJNZ7ACZUOTPIJM/action/timestamp_anchor","attest_storage":"https://pith.science/pith/3TPFKZG7CWZEJNZ7ACZUOTPIJM/action/storage_attestation","attest_author":"https://pith.science/pith/3TPFKZG7CWZEJNZ7ACZUOTPIJM/action/author_attestation","sign_citation":"https://pith.science/pith/3TPFKZG7CWZEJNZ7ACZUOTPIJM/action/citation_signature","submit_replication":"https://pith.science/pith/3TPFKZG7CWZEJNZ7ACZUOTPIJM/action/replication_record"}},"created_at":"2026-05-18T02:46:05.542359+00:00","updated_at":"2026-05-18T02:46:05.542359+00:00"}