{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2017:53URVFCKDKJOK4VH2GOP5UBO35","short_pith_number":"pith:53URVFCK","schema_version":"1.0","canonical_sha256":"eee91a944a1a92e572a7d19cfed02edf4257f4a9caef1bb1659ef385ebf1e84e","source":{"kind":"arxiv","id":"1710.10805","version":3},"attestation_state":"computed","paper":{"title":"Modular Labelled Sequent Calculi for Abstract Separation Logics","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.PL"],"primary_cat":"cs.LO","authors_text":"Alwen Tiu, Rajeev Gor\\'e, Ranald Clouston, Zh\\'e H\\'ou","submitted_at":"2017-10-30T08:38:02Z","abstract_excerpt":"Abstract separation logics are a family of extensions of Hoare logic for reasoning about programs that manipulate resources such as memory locations. These logics are \"abstract\" because they are independent of any particular concrete resource model. Their assertion languages, called propositional abstract separation logics (PASLs), extend the logic of (Boolean) Bunched Implications (BBI) in various ways. In particular, these logics contain the connectives $*$ and $-\\!*$, denoting the composition and extension of resources respectively.\n  This added expressive power comes at a price since the r"},"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":"1710.10805","kind":"arxiv","version":3},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2017-10-30T08:38:02Z","cross_cats_sorted":["cs.PL"],"title_canon_sha256":"5b9b185d1318dde339486d67a9c8353aa007d03c2090199cde9b38e0a22aeb64","abstract_canon_sha256":"4940c2ab1ea71045aad9d029a0f7a40d95b3ea4cf312a843b6351064de68ef28"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:20:16.622461Z","signature_b64":"8sAjfzsy44qrQ3/FjF51g9GWAoRNuz4XTD+j2q9AvovT9nwW8XhQH12BI2Qv1dNDeMCWlmf/viIfoKoKuAoyDg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"eee91a944a1a92e572a7d19cfed02edf4257f4a9caef1bb1659ef385ebf1e84e","last_reissued_at":"2026-05-18T00:20:16.621947Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:20:16.621947Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Modular Labelled Sequent Calculi for Abstract Separation Logics","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.PL"],"primary_cat":"cs.LO","authors_text":"Alwen Tiu, Rajeev Gor\\'e, Ranald Clouston, Zh\\'e H\\'ou","submitted_at":"2017-10-30T08:38:02Z","abstract_excerpt":"Abstract separation logics are a family of extensions of Hoare logic for reasoning about programs that manipulate resources such as memory locations. These logics are \"abstract\" because they are independent of any particular concrete resource model. Their assertion languages, called propositional abstract separation logics (PASLs), extend the logic of (Boolean) Bunched Implications (BBI) in various ways. In particular, these logics contain the connectives $*$ and $-\\!*$, denoting the composition and extension of resources respectively.\n  This added expressive power comes at a price since the r"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1710.10805","kind":"arxiv","version":3},"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":"1710.10805","created_at":"2026-05-18T00:20:16.622030+00:00"},{"alias_kind":"arxiv_version","alias_value":"1710.10805v3","created_at":"2026-05-18T00:20:16.622030+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1710.10805","created_at":"2026-05-18T00:20:16.622030+00:00"},{"alias_kind":"pith_short_12","alias_value":"53URVFCKDKJO","created_at":"2026-05-18T12:31:00.734936+00:00"},{"alias_kind":"pith_short_16","alias_value":"53URVFCKDKJOK4VH","created_at":"2026-05-18T12:31:00.734936+00:00"},{"alias_kind":"pith_short_8","alias_value":"53URVFCK","created_at":"2026-05-18T12:31:00.734936+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/53URVFCKDKJOK4VH2GOP5UBO35","json":"https://pith.science/pith/53URVFCKDKJOK4VH2GOP5UBO35.json","graph_json":"https://pith.science/api/pith-number/53URVFCKDKJOK4VH2GOP5UBO35/graph.json","events_json":"https://pith.science/api/pith-number/53URVFCKDKJOK4VH2GOP5UBO35/events.json","paper":"https://pith.science/paper/53URVFCK"},"agent_actions":{"view_html":"https://pith.science/pith/53URVFCKDKJOK4VH2GOP5UBO35","download_json":"https://pith.science/pith/53URVFCKDKJOK4VH2GOP5UBO35.json","view_paper":"https://pith.science/paper/53URVFCK","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1710.10805&json=true","fetch_graph":"https://pith.science/api/pith-number/53URVFCKDKJOK4VH2GOP5UBO35/graph.json","fetch_events":"https://pith.science/api/pith-number/53URVFCKDKJOK4VH2GOP5UBO35/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/53URVFCKDKJOK4VH2GOP5UBO35/action/timestamp_anchor","attest_storage":"https://pith.science/pith/53URVFCKDKJOK4VH2GOP5UBO35/action/storage_attestation","attest_author":"https://pith.science/pith/53URVFCKDKJOK4VH2GOP5UBO35/action/author_attestation","sign_citation":"https://pith.science/pith/53URVFCKDKJOK4VH2GOP5UBO35/action/citation_signature","submit_replication":"https://pith.science/pith/53URVFCKDKJOK4VH2GOP5UBO35/action/replication_record"}},"created_at":"2026-05-18T00:20:16.622030+00:00","updated_at":"2026-05-18T00:20:16.622030+00:00"}