{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2018:5RJYHVC7HHXZPINMG6F734JCF2","short_pith_number":"pith:5RJYHVC7","canonical_record":{"source":{"id":"1802.04695","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2018-02-13T16:02:20Z","cross_cats_sorted":[],"title_canon_sha256":"0f14e12b46fdfa478131f724c94ba6faf87c0e150b3a053c36cf7e940667a814","abstract_canon_sha256":"5bada127838505913bc3bd0a33cd282b19e19ac33c2aed8e147d5a6d78767683"},"schema_version":"1.0"},"canonical_sha256":"ec5383d45f39ef97a1ac378bfdf1222e82441b2bfdab9e481b822fe6379cceaf","source":{"kind":"arxiv","id":"1802.04695","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1802.04695","created_at":"2026-05-18T00:23:41Z"},{"alias_kind":"arxiv_version","alias_value":"1802.04695v1","created_at":"2026-05-18T00:23:41Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1802.04695","created_at":"2026-05-18T00:23:41Z"},{"alias_kind":"pith_short_12","alias_value":"5RJYHVC7HHXZ","created_at":"2026-05-18T12:32:08Z"},{"alias_kind":"pith_short_16","alias_value":"5RJYHVC7HHXZPINM","created_at":"2026-05-18T12:32:08Z"},{"alias_kind":"pith_short_8","alias_value":"5RJYHVC7","created_at":"2026-05-18T12:32:08Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2018:5RJYHVC7HHXZPINMG6F734JCF2","target":"record","payload":{"canonical_record":{"source":{"id":"1802.04695","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2018-02-13T16:02:20Z","cross_cats_sorted":[],"title_canon_sha256":"0f14e12b46fdfa478131f724c94ba6faf87c0e150b3a053c36cf7e940667a814","abstract_canon_sha256":"5bada127838505913bc3bd0a33cd282b19e19ac33c2aed8e147d5a6d78767683"},"schema_version":"1.0"},"canonical_sha256":"ec5383d45f39ef97a1ac378bfdf1222e82441b2bfdab9e481b822fe6379cceaf","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:23:41.655093Z","signature_b64":"LMWO/2AiC8LbrEhpKDSh9AkGHLkkb9Ty204f4iUJqdrb+c70I5qE0R2cBiOgHOC/geTEJJkjZWwF401YIr0ACA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"ec5383d45f39ef97a1ac378bfdf1222e82441b2bfdab9e481b822fe6379cceaf","last_reissued_at":"2026-05-18T00:23:41.654564Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:23:41.654564Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1802.04695","source_version":1,"attestation_state":"computed"},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-05-18T00:23:41Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"fzCBEt4aBe4Ol2ZL1m7QS7HFEsHdfQwMT9Qz0Yr5nfgQMW1nIXu1LlL8zUNJvNx6+U5ADMGXjccWKbcqqXhiAA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-28T10:25:00.838061Z"},"content_sha256":"c330f3b709fa910c57952590d5f1ac836423c9875d7ff92c4d503f2f9356a432","schema_version":"1.0","event_id":"sha256:c330f3b709fa910c57952590d5f1ac836423c9875d7ff92c4d503f2f9356a432"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2018:5RJYHVC7HHXZPINMG6F734JCF2","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"A Concurrent Constraint Programming Interpretation of Access Permissions","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.LO","authors_text":"Camilo Rueda, Carlos Olarte, Elaine Pimentel","submitted_at":"2018-02-13T16:02:20Z","abstract_excerpt":"A recent trend in object oriented (OO) programming languages is the use of Access Permissions (APs) as an abstraction for controlling concurrent executions of programs. The use of AP source code annotations defines a protocol specifying how object references can access the mutable state of objects. Although the use of APs simplifies the task of writing concurrent code, an unsystematic use of them can lead to subtle problems. This paper presents a declarative interpretation of APs as Linear Concurrent Constraint Programs (lcc). We represent APs as constraints (i.e., formulas in logic) in an und"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1802.04695","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"},"verdict_id":null},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-05-18T00:23:41Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"DH25cR7RoDW++Dfo7SPlvRlWMClZXb9YxeYxbxzflBNE+ABCSlL/6dW3WptZXrJHoOLuKqrcUfqLnHskjgOQAw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-28T10:25:00.838428Z"},"content_sha256":"9824d285fc9a651a7196f0e15eccc96c013aeb8b51280724b116443845ccdb19","schema_version":"1.0","event_id":"sha256:9824d285fc9a651a7196f0e15eccc96c013aeb8b51280724b116443845ccdb19"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/5RJYHVC7HHXZPINMG6F734JCF2/bundle.json","state_url":"https://pith.science/pith/5RJYHVC7HHXZPINMG6F734JCF2/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/5RJYHVC7HHXZPINMG6F734JCF2/bundle.json","status":"primary"}],"public_keys":[{"key_id":"pith-v1-2026-05","algorithm":"ed25519","format":"raw","public_key_b64":"stVStoiQhXFxp4s2pdzPNoqVNBMojDU/fJ2db5S3CbM=","public_key_hex":"b2d552b68890857171a78b36a5dccf368a953413288c353f7c9d9d6f94b709b3","fingerprint_sha256_b32_first128bits":"RVFV5Z2OI2J3ZUO7ERDEBCYNKS","fingerprint_sha256_hex":"8d4b5ee74e4693bcd1df2446408b0d54","rotates_at":null,"url":"https://pith.science/pith-signing-key.json","notes":"Pith uses this Ed25519 key to sign canonical record SHA-256 digests. Verify with: ed25519_verify(public_key, message=canonical_sha256_bytes, signature=base64decode(signature_b64))."}],"merge_version":"pith-open-graph-merge-v1","built_at":"2026-05-28T10:25:00Z","links":{"resolver":"https://pith.science/pith/5RJYHVC7HHXZPINMG6F734JCF2","bundle":"https://pith.science/pith/5RJYHVC7HHXZPINMG6F734JCF2/bundle.json","state":"https://pith.science/pith/5RJYHVC7HHXZPINMG6F734JCF2/state.json","well_known_bundle":"https://pith.science/.well-known/pith/5RJYHVC7HHXZPINMG6F734JCF2/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2018:5RJYHVC7HHXZPINMG6F734JCF2","merge_version":"pith-open-graph-merge-v1","event_count":2,"valid_event_count":2,"invalid_event_count":0,"equivocation_count":0,"current":{"canonical_record":{"metadata":{"abstract_canon_sha256":"5bada127838505913bc3bd0a33cd282b19e19ac33c2aed8e147d5a6d78767683","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2018-02-13T16:02:20Z","title_canon_sha256":"0f14e12b46fdfa478131f724c94ba6faf87c0e150b3a053c36cf7e940667a814"},"schema_version":"1.0","source":{"id":"1802.04695","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1802.04695","created_at":"2026-05-18T00:23:41Z"},{"alias_kind":"arxiv_version","alias_value":"1802.04695v1","created_at":"2026-05-18T00:23:41Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1802.04695","created_at":"2026-05-18T00:23:41Z"},{"alias_kind":"pith_short_12","alias_value":"5RJYHVC7HHXZ","created_at":"2026-05-18T12:32:08Z"},{"alias_kind":"pith_short_16","alias_value":"5RJYHVC7HHXZPINM","created_at":"2026-05-18T12:32:08Z"},{"alias_kind":"pith_short_8","alias_value":"5RJYHVC7","created_at":"2026-05-18T12:32:08Z"}],"graph_snapshots":[{"event_id":"sha256:9824d285fc9a651a7196f0e15eccc96c013aeb8b51280724b116443845ccdb19","target":"graph","created_at":"2026-05-18T00:23:41Z","signer":{"key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signer_id":"pith.science","signer_type":"pith_registry"},"payload":{"graph_snapshot":{"author_claims":{"count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57","strong_count":0},"builder_version":"pith-number-builder-2026-05-17-v1","claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"formal_canon":{"evidence_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"paper":{"abstract_excerpt":"A recent trend in object oriented (OO) programming languages is the use of Access Permissions (APs) as an abstraction for controlling concurrent executions of programs. The use of AP source code annotations defines a protocol specifying how object references can access the mutable state of objects. Although the use of APs simplifies the task of writing concurrent code, an unsystematic use of them can lead to subtle problems. This paper presents a declarative interpretation of APs as Linear Concurrent Constraint Programs (lcc). We represent APs as constraints (i.e., formulas in logic) in an und","authors_text":"Camilo Rueda, Carlos Olarte, Elaine Pimentel","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2018-02-13T16:02:20Z","title":"A Concurrent Constraint Programming Interpretation of Access Permissions"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1802.04695","kind":"arxiv","version":1},"verdict":{"created_at":null,"id":null,"model_set":{},"one_line_summary":"","pipeline_version":null,"pith_extraction_headline":"","strongest_claim":"","weakest_assumption":""}},"verdict_id":null}}],"author_attestations":[],"timestamp_anchors":[],"storage_attestations":[],"citation_signatures":[],"replication_records":[],"corrections":[],"mirror_hints":[],"record_created":{"event_id":"sha256:c330f3b709fa910c57952590d5f1ac836423c9875d7ff92c4d503f2f9356a432","target":"record","created_at":"2026-05-18T00:23:41Z","signer":{"key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signer_id":"pith.science","signer_type":"pith_registry"},"payload":{"attestation_state":"computed","canonical_record":{"metadata":{"abstract_canon_sha256":"5bada127838505913bc3bd0a33cd282b19e19ac33c2aed8e147d5a6d78767683","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2018-02-13T16:02:20Z","title_canon_sha256":"0f14e12b46fdfa478131f724c94ba6faf87c0e150b3a053c36cf7e940667a814"},"schema_version":"1.0","source":{"id":"1802.04695","kind":"arxiv","version":1}},"canonical_sha256":"ec5383d45f39ef97a1ac378bfdf1222e82441b2bfdab9e481b822fe6379cceaf","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"ec5383d45f39ef97a1ac378bfdf1222e82441b2bfdab9e481b822fe6379cceaf","first_computed_at":"2026-05-18T00:23:41.654564Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:23:41.654564Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"LMWO/2AiC8LbrEhpKDSh9AkGHLkkb9Ty204f4iUJqdrb+c70I5qE0R2cBiOgHOC/geTEJJkjZWwF401YIr0ACA==","signature_status":"signed_v1","signed_at":"2026-05-18T00:23:41.655093Z","signed_message":"canonical_sha256_bytes"},"source_id":"1802.04695","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:c330f3b709fa910c57952590d5f1ac836423c9875d7ff92c4d503f2f9356a432","sha256:9824d285fc9a651a7196f0e15eccc96c013aeb8b51280724b116443845ccdb19"],"state_sha256":"ebe203d5905f966299dba1e3353164c2daeb3c4eb98a697f1eef990bca5f42cc"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"Hi9kZI3/OstlWumaBL1o6+KfL4zp1HoDc3ujQTepQAUXy8Z2esmRhNNPFr6bZkqVKTnlKoBth5vR0lrQHTOpDg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-28T10:25:00.840579Z","bundle_sha256":"73d658578e9872603f48b659c3c361a4920f959b364fbfd829d836fd536d6f64"}}