{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2019:EX7RKQQQEL3NENLGP3ILTQG4IX","short_pith_number":"pith:EX7RKQQQ","schema_version":"1.0","canonical_sha256":"25ff15421022f6d235667ed0b9c0dc45f2bd1a580dbde73259d2d6985a26b2e8","source":{"kind":"arxiv","id":"1906.03557","version":2},"attestation_state":"computed","paper":{"title":"Whither Programs as Specifications","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.LO","authors_text":"David A. Naumann, Minh Ngo","submitted_at":"2019-06-09T03:55:10Z","abstract_excerpt":"Unifying theories distil common features of programming languages and design methods by means of algebraic operators and their laws. Several practical concerns --- e.g., improvement of a program, conformance of code with design, correctness with respect to specified requirements --- are subsumed by the beautiful notion that programs and designs are special forms of specification and their relationships are instances of logical implication between specifications. Mathematical development of this idea has been fruitful but limited to an impoverished notion of specification: trace properties. Som"},"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":"1906.03557","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2019-06-09T03:55:10Z","cross_cats_sorted":[],"title_canon_sha256":"518ebae00ad30f611259ad06b527f598d507171aeffb48127485f8e7d3619253","abstract_canon_sha256":"8be2411dcc19701e3cb4ec2088be6109a1647ea45aacde67ea7a434cdd9d4582"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-17T23:39:35.233360Z","signature_b64":"l4cx+FYrt+9yKWNoXu179coT1KBi5LeSq+7/o0Vfj/IrdmZUcHhBDQGr84HsKtboA5SL5R4554a2u9DOfL+hAA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"25ff15421022f6d235667ed0b9c0dc45f2bd1a580dbde73259d2d6985a26b2e8","last_reissued_at":"2026-05-17T23:39:35.232788Z","signature_status":"signed_v1","first_computed_at":"2026-05-17T23:39:35.232788Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Whither Programs as Specifications","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.LO","authors_text":"David A. Naumann, Minh Ngo","submitted_at":"2019-06-09T03:55:10Z","abstract_excerpt":"Unifying theories distil common features of programming languages and design methods by means of algebraic operators and their laws. Several practical concerns --- e.g., improvement of a program, conformance of code with design, correctness with respect to specified requirements --- are subsumed by the beautiful notion that programs and designs are special forms of specification and their relationships are instances of logical implication between specifications. Mathematical development of this idea has been fruitful but limited to an impoverished notion of specification: trace properties. Som"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1906.03557","kind":"arxiv","version":2},"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":"1906.03557","created_at":"2026-05-17T23:39:35.232889+00:00"},{"alias_kind":"arxiv_version","alias_value":"1906.03557v2","created_at":"2026-05-17T23:39:35.232889+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1906.03557","created_at":"2026-05-17T23:39:35.232889+00:00"},{"alias_kind":"pith_short_12","alias_value":"EX7RKQQQEL3N","created_at":"2026-05-18T12:33:15.570797+00:00"},{"alias_kind":"pith_short_16","alias_value":"EX7RKQQQEL3NENLG","created_at":"2026-05-18T12:33:15.570797+00:00"},{"alias_kind":"pith_short_8","alias_value":"EX7RKQQQ","created_at":"2026-05-18T12:33:15.570797+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/EX7RKQQQEL3NENLGP3ILTQG4IX","json":"https://pith.science/pith/EX7RKQQQEL3NENLGP3ILTQG4IX.json","graph_json":"https://pith.science/api/pith-number/EX7RKQQQEL3NENLGP3ILTQG4IX/graph.json","events_json":"https://pith.science/api/pith-number/EX7RKQQQEL3NENLGP3ILTQG4IX/events.json","paper":"https://pith.science/paper/EX7RKQQQ"},"agent_actions":{"view_html":"https://pith.science/pith/EX7RKQQQEL3NENLGP3ILTQG4IX","download_json":"https://pith.science/pith/EX7RKQQQEL3NENLGP3ILTQG4IX.json","view_paper":"https://pith.science/paper/EX7RKQQQ","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1906.03557&json=true","fetch_graph":"https://pith.science/api/pith-number/EX7RKQQQEL3NENLGP3ILTQG4IX/graph.json","fetch_events":"https://pith.science/api/pith-number/EX7RKQQQEL3NENLGP3ILTQG4IX/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/EX7RKQQQEL3NENLGP3ILTQG4IX/action/timestamp_anchor","attest_storage":"https://pith.science/pith/EX7RKQQQEL3NENLGP3ILTQG4IX/action/storage_attestation","attest_author":"https://pith.science/pith/EX7RKQQQEL3NENLGP3ILTQG4IX/action/author_attestation","sign_citation":"https://pith.science/pith/EX7RKQQQEL3NENLGP3ILTQG4IX/action/citation_signature","submit_replication":"https://pith.science/pith/EX7RKQQQEL3NENLGP3ILTQG4IX/action/replication_record"}},"created_at":"2026-05-17T23:39:35.232889+00:00","updated_at":"2026-05-17T23:39:35.232889+00:00"}