{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2026:JD7FOEMRP6LVX2EPSZDJFVL53K","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":"2215c635fcfbaf8f76e5566cf7ae84258557e227b62d113adad37fba290f981a","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.LO","submitted_at":"2026-06-08T18:32:29Z","title_canon_sha256":"87446b4cafb5015420843ba6e884ea1c00d40555731ce223d49f64349c567671"},"schema_version":"1.0","source":{"id":"2606.10056","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2606.10056","created_at":"2026-06-10T00:08:46Z"},{"alias_kind":"arxiv_version","alias_value":"2606.10056v1","created_at":"2026-06-10T00:08:46Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2606.10056","created_at":"2026-06-10T00:08:46Z"},{"alias_kind":"pith_short_12","alias_value":"JD7FOEMRP6LV","created_at":"2026-06-10T00:08:46Z"},{"alias_kind":"pith_short_16","alias_value":"JD7FOEMRP6LVX2EP","created_at":"2026-06-10T00:08:46Z"},{"alias_kind":"pith_short_8","alias_value":"JD7FOEMR","created_at":"2026-06-10T00:08:46Z"}],"graph_snapshots":[{"event_id":"sha256:cd23ba7f563279fd3b7e03664a4a1b29b9cb8c03b4a979bd685b821b25e8841c","target":"graph","created_at":"2026-06-10T00:08:46Z","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"},"integrity":{"available":true,"clean":true,"detectors_run":[],"endpoint":"/pith/2606.10056/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"In the field of static analysis of logic programs, the optimality of abstract operators is a valuable theoretical property, as it provides insight into the structure of abstract domains and the maximum precision that can be achieved. However, implementing optimal operators is often complex and may significantly impact performance, giving rise to a trade-off between precision and efficiency.\n  We experimentally investigate this trade-off in the context of sharing and linearity analysis of logic programs. Our experiments build on previous work that proposed several optimal operators for unificat","authors_text":"Francesca Scozzari, Gianluca Amato","cross_cats":[],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.LO","submitted_at":"2026-06-08T18:32:29Z","title":"Experimental evaluation of optimal abstract operators for sharing and linearity analysis"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2606.10056","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:9bc1e4647e9f9fc36f08eb9e877de5c768da68080358827945492c12c035050b","target":"record","created_at":"2026-06-10T00:08:46Z","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":"2215c635fcfbaf8f76e5566cf7ae84258557e227b62d113adad37fba290f981a","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.LO","submitted_at":"2026-06-08T18:32:29Z","title_canon_sha256":"87446b4cafb5015420843ba6e884ea1c00d40555731ce223d49f64349c567671"},"schema_version":"1.0","source":{"id":"2606.10056","kind":"arxiv","version":1}},"canonical_sha256":"48fe5711917f975be88f964692d57ddabb1c8eb9dbcc83cd9f7528a02e63f987","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"48fe5711917f975be88f964692d57ddabb1c8eb9dbcc83cd9f7528a02e63f987","first_computed_at":"2026-06-10T00:08:46.775325Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-06-10T00:08:46.775325Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"JelGBKg00bU5TJ87Zjd63yNAyDJsXrFBJQ5tM61x0Oj6H/yXg5drmi9fqDFyBVNx9I3tPE8Qx1BT0asWMz5XAw==","signature_status":"signed_v1","signed_at":"2026-06-10T00:08:46.776200Z","signed_message":"canonical_sha256_bytes"},"source_id":"2606.10056","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:9bc1e4647e9f9fc36f08eb9e877de5c768da68080358827945492c12c035050b","sha256:cd23ba7f563279fd3b7e03664a4a1b29b9cb8c03b4a979bd685b821b25e8841c"],"state_sha256":"9757746a332269d24b0b468199868bd53b4ec895b27a7bd959940f823365ddd8"}