{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2018:J6UECSBYD3OZ6NR2LQ4BVMJLJM","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":"8e766fb9d1ea0f92ba6a309d0f408d2b9a4bcc3c5af9fc09d674f3e1457d047d","cross_cats_sorted":["cs.LO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2018-08-15T17:44:16Z","title_canon_sha256":"9ccd7165fa4fb6ff6ee301ab145a286e97a7bd0071a7bc1f58d965b048926178"},"schema_version":"1.0","source":{"id":"1808.05197","kind":"arxiv","version":3}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1808.05197","created_at":"2026-05-17T23:58:13Z"},{"alias_kind":"arxiv_version","alias_value":"1808.05197v3","created_at":"2026-05-17T23:58:13Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1808.05197","created_at":"2026-05-17T23:58:13Z"},{"alias_kind":"pith_short_12","alias_value":"J6UECSBYD3OZ","created_at":"2026-05-18T12:32:31Z"},{"alias_kind":"pith_short_16","alias_value":"J6UECSBYD3OZ6NR2","created_at":"2026-05-18T12:32:31Z"},{"alias_kind":"pith_short_8","alias_value":"J6UECSBY","created_at":"2026-05-18T12:32:31Z"}],"graph_snapshots":[{"event_id":"sha256:275900604c3e7d3d8abfb92f7a2433ebd24a2b9165875b690d76e5208e28dfa5","target":"graph","created_at":"2026-05-17T23:58:13Z","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":"Approximations during program analysis are a necessary evil, as they ensure essential properties, such as soundness and termination of the analysis, but they also imply not always producing useful results. Automatic techniques have been studied to prevent precision loss, typically at the expense of larger resource consumption. In both cases (i.e., when analysis produces inaccurate results and when resource consumption is too high), it is necessary to have some means for users to provide information to guide analysis and thus improve precision and/or performance. We present techniques for suppo","authors_text":"Isabel Garcia-Contreras, Jose F. Morales, Manuel V. Hermenegildo","cross_cats":["cs.LO"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2018-08-15T17:44:16Z","title":"Multivariant Assertion-based Guidance in Abstract Interpretation"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1808.05197","kind":"arxiv","version":3},"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:e00650969c42682bb0921abde9093b08514f7c46631164a97bc77b5f56668582","target":"record","created_at":"2026-05-17T23:58:13Z","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":"8e766fb9d1ea0f92ba6a309d0f408d2b9a4bcc3c5af9fc09d674f3e1457d047d","cross_cats_sorted":["cs.LO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2018-08-15T17:44:16Z","title_canon_sha256":"9ccd7165fa4fb6ff6ee301ab145a286e97a7bd0071a7bc1f58d965b048926178"},"schema_version":"1.0","source":{"id":"1808.05197","kind":"arxiv","version":3}},"canonical_sha256":"4fa84148381edd9f363a5c381ab12b4b0c69d91b9797e5cf81bf33177dc4bde8","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"4fa84148381edd9f363a5c381ab12b4b0c69d91b9797e5cf81bf33177dc4bde8","first_computed_at":"2026-05-17T23:58:13.862469Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-17T23:58:13.862469Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"+OiPEr/vO7htXXJQQLejUzn5eiAMBUjhbbx90rX1RRyXtWFC84rlwp2jXIS6CWATWiIdpft78a3TDCU3/fpBBw==","signature_status":"signed_v1","signed_at":"2026-05-17T23:58:13.863051Z","signed_message":"canonical_sha256_bytes"},"source_id":"1808.05197","source_kind":"arxiv","source_version":3}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:e00650969c42682bb0921abde9093b08514f7c46631164a97bc77b5f56668582","sha256:275900604c3e7d3d8abfb92f7a2433ebd24a2b9165875b690d76e5208e28dfa5"],"state_sha256":"b24c5b71818c59227555eaf06a4743c1ce1f8862e23068584578f854bb61032a"}