{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2011:LF3ZBISQN7YX6TSTNC7N4DMKMX","short_pith_number":"pith:LF3ZBISQ","schema_version":"1.0","canonical_sha256":"597790a2506ff17f4e5368bede0d8a65f022e5df7ba8a01d195691407b4aa2b8","source":{"kind":"arxiv","id":"1108.4816","version":1},"attestation_state":"computed","paper":{"title":"Some Measurements of Nullable and Non-Nullable Parameter Declarations in Relation to Software Malleability","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.PL","authors_text":"Paul Biggar, Tim Walsh, William Harrison","submitted_at":"2011-08-24T11:41:00Z","abstract_excerpt":"The usual advantages put forward for including nullability declarations in the type systems of programming languages are that they improve program reliability or performance. But there is another, entirely different, reason for doing so. In the right context, this information enables the software artifacts we produce, the objects and methods, to exhibit much greater malleability. For declaratively typed languages, we can obtain greater software malleability by extending the model of method call so that assurance of a method's availability can be provided by any non-nullable parameter, not simp"},"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":"1108.4816","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2011-08-24T11:41:00Z","cross_cats_sorted":[],"title_canon_sha256":"22aeb9bea889d2a4920987658d20608eb121a6ae724658792b029ce3f30393dd","abstract_canon_sha256":"dfdcba93e5a89910308508d70b4ca3964fc60aba49c930e16eb6c0de9199b7d4"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T04:14:46.732348Z","signature_b64":"ZY5IATuU3Ebi3wGdwbf/peZ+xHyymUDbq6j0JMzRqRfVrPdqEIXWjx/l/6XjL0m7JrndU8KdM+9G3omXyOE8DQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"597790a2506ff17f4e5368bede0d8a65f022e5df7ba8a01d195691407b4aa2b8","last_reissued_at":"2026-05-18T04:14:46.731864Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T04:14:46.731864Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Some Measurements of Nullable and Non-Nullable Parameter Declarations in Relation to Software Malleability","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.PL","authors_text":"Paul Biggar, Tim Walsh, William Harrison","submitted_at":"2011-08-24T11:41:00Z","abstract_excerpt":"The usual advantages put forward for including nullability declarations in the type systems of programming languages are that they improve program reliability or performance. But there is another, entirely different, reason for doing so. In the right context, this information enables the software artifacts we produce, the objects and methods, to exhibit much greater malleability. For declaratively typed languages, we can obtain greater software malleability by extending the model of method call so that assurance of a method's availability can be provided by any non-nullable parameter, not simp"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1108.4816","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":"1108.4816","created_at":"2026-05-18T04:14:46.731943+00:00"},{"alias_kind":"arxiv_version","alias_value":"1108.4816v1","created_at":"2026-05-18T04:14:46.731943+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1108.4816","created_at":"2026-05-18T04:14:46.731943+00:00"},{"alias_kind":"pith_short_12","alias_value":"LF3ZBISQN7YX","created_at":"2026-05-18T12:26:34.985390+00:00"},{"alias_kind":"pith_short_16","alias_value":"LF3ZBISQN7YX6TST","created_at":"2026-05-18T12:26:34.985390+00:00"},{"alias_kind":"pith_short_8","alias_value":"LF3ZBISQ","created_at":"2026-05-18T12:26:34.985390+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/LF3ZBISQN7YX6TSTNC7N4DMKMX","json":"https://pith.science/pith/LF3ZBISQN7YX6TSTNC7N4DMKMX.json","graph_json":"https://pith.science/api/pith-number/LF3ZBISQN7YX6TSTNC7N4DMKMX/graph.json","events_json":"https://pith.science/api/pith-number/LF3ZBISQN7YX6TSTNC7N4DMKMX/events.json","paper":"https://pith.science/paper/LF3ZBISQ"},"agent_actions":{"view_html":"https://pith.science/pith/LF3ZBISQN7YX6TSTNC7N4DMKMX","download_json":"https://pith.science/pith/LF3ZBISQN7YX6TSTNC7N4DMKMX.json","view_paper":"https://pith.science/paper/LF3ZBISQ","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1108.4816&json=true","fetch_graph":"https://pith.science/api/pith-number/LF3ZBISQN7YX6TSTNC7N4DMKMX/graph.json","fetch_events":"https://pith.science/api/pith-number/LF3ZBISQN7YX6TSTNC7N4DMKMX/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/LF3ZBISQN7YX6TSTNC7N4DMKMX/action/timestamp_anchor","attest_storage":"https://pith.science/pith/LF3ZBISQN7YX6TSTNC7N4DMKMX/action/storage_attestation","attest_author":"https://pith.science/pith/LF3ZBISQN7YX6TSTNC7N4DMKMX/action/author_attestation","sign_citation":"https://pith.science/pith/LF3ZBISQN7YX6TSTNC7N4DMKMX/action/citation_signature","submit_replication":"https://pith.science/pith/LF3ZBISQN7YX6TSTNC7N4DMKMX/action/replication_record"}},"created_at":"2026-05-18T04:14:46.731943+00:00","updated_at":"2026-05-18T04:14:46.731943+00:00"}