{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2000:MILUSLA6NXRJFP2JJEJKE6L6FA","short_pith_number":"pith:MILUSLA6","canonical_record":{"source":{"id":"cs/0010028","kind":"arxiv","version":1},"metadata":{"license":"","primary_cat":"cs.LO","submitted_at":"2000-10-19T11:00:12Z","cross_cats_sorted":["cs.PL"],"title_canon_sha256":"bafb9df7f32b3c23ab4b32569774d630c56b83c7cf6f57a217c6c4b23ffe20fe","abstract_canon_sha256":"a8d8312d64465d1c5a2310f47edf7be19041f3a4d5e11b898634ba88a8a135dd"},"schema_version":"1.0"},"canonical_sha256":"6217492c1e6de292bf494912a2797e28007eb9404870cac929f81f6e6fb50576","source":{"kind":"arxiv","id":"cs/0010028","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"cs/0010028","created_at":"2026-07-05T11:23:00Z"},{"alias_kind":"arxiv_version","alias_value":"cs/0010028v1","created_at":"2026-07-05T11:23:00Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.cs/0010028","created_at":"2026-07-05T11:23:00Z"},{"alias_kind":"pith_short_12","alias_value":"MILUSLA6NXRJ","created_at":"2026-07-05T11:23:00Z"},{"alias_kind":"pith_short_16","alias_value":"MILUSLA6NXRJFP2J","created_at":"2026-07-05T11:23:00Z"},{"alias_kind":"pith_short_8","alias_value":"MILUSLA6","created_at":"2026-07-05T11:23:00Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2000:MILUSLA6NXRJFP2JJEJKE6L6FA","target":"record","payload":{"canonical_record":{"source":{"id":"cs/0010028","kind":"arxiv","version":1},"metadata":{"license":"","primary_cat":"cs.LO","submitted_at":"2000-10-19T11:00:12Z","cross_cats_sorted":["cs.PL"],"title_canon_sha256":"bafb9df7f32b3c23ab4b32569774d630c56b83c7cf6f57a217c6c4b23ffe20fe","abstract_canon_sha256":"a8d8312d64465d1c5a2310f47edf7be19041f3a4d5e11b898634ba88a8a135dd"},"schema_version":"1.0"},"canonical_sha256":"6217492c1e6de292bf494912a2797e28007eb9404870cac929f81f6e6fb50576","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T11:23:00.799133Z","signature_b64":"hqC7OPG58afMVtVJ7du+mmXSPS7RSmcOpYNzDYLVQMtUUat26YoQA7CKXMyKIv6xwDOhuSEcITLa1yhIU+7VAA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"6217492c1e6de292bf494912a2797e28007eb9404870cac929f81f6e6fb50576","last_reissued_at":"2026-07-05T11:23:00.798652Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T11:23:00.798652Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"cs/0010028","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-07-05T11:23:00Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"nn1DRjvVBaDJGmT6zOScA/WDlU7mZOVp4jXjpraAbsAVtXuMdkNgXAPHx10oiNI75MDrtRegq4MDg248M+DKCg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-10T23:27:10.219388Z"},"content_sha256":"9b229af4d5bcdfdf3deb2985f53b08430371f3ac045c0ab93b12dc4c3b81b050","schema_version":"1.0","event_id":"sha256:9b229af4d5bcdfdf3deb2985f53b08430371f3ac045c0ab93b12dc4c3b81b050"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2000:MILUSLA6NXRJFP2JJEJKE6L6FA","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Sequence-Based Abstract Interpretation of Prolog","license":"","headline":"","cross_cats":["cs.PL"],"primary_cat":"cs.LO","authors_text":"Baudouin Le Charlier, Pascal Van Hentenryck, Sabina Rossi","submitted_at":"2000-10-19T11:00:12Z","abstract_excerpt":"Many abstract interpretation frameworks and analyses for Prolog have been proposed, which seek to extract information useful for program optimization. Although motivated by practical considerations, notably making Prolog competitive with imperative languages, such frameworks fail to capture some of the control structures of existing implementations of the language.\n  In this paper we propose a novel framework for the abstract interpretation of Prolog which handles the depth-first search rule and the cut operator. It relies on the notion of substitution sequence to model the result of the execu"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"cs/0010028","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":""},"integrity":{"clean":true,"summary":{"advisory":0,"critical":0,"by_detector":{},"informational":0},"endpoint":"/pith/cs/0010028/integrity.json","findings":[],"available":true,"detectors_run":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938"},"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-07-05T11:23:00Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"QUuQ1obEAThQ5LncVBgxwUnIW/LQN6QeqfKCO/Bqy+wIKVp0bAosphyojeLgYYu9h5zZEp5LlNHykzb2tCVSCQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-10T23:27:10.220406Z"},"content_sha256":"e701f7b35d500cd8d5d2aa91203aae656b5dbee1e5b90e667c9ca0b9ca442d7f","schema_version":"1.0","event_id":"sha256:e701f7b35d500cd8d5d2aa91203aae656b5dbee1e5b90e667c9ca0b9ca442d7f"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/MILUSLA6NXRJFP2JJEJKE6L6FA/bundle.json","state_url":"https://pith.science/pith/MILUSLA6NXRJFP2JJEJKE6L6FA/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/MILUSLA6NXRJFP2JJEJKE6L6FA/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-08-10T23:27:10Z","links":{"resolver":"https://pith.science/pith/MILUSLA6NXRJFP2JJEJKE6L6FA","bundle":"https://pith.science/pith/MILUSLA6NXRJFP2JJEJKE6L6FA/bundle.json","state":"https://pith.science/pith/MILUSLA6NXRJFP2JJEJKE6L6FA/state.json","well_known_bundle":"https://pith.science/.well-known/pith/MILUSLA6NXRJFP2JJEJKE6L6FA/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2000:MILUSLA6NXRJFP2JJEJKE6L6FA","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":"a8d8312d64465d1c5a2310f47edf7be19041f3a4d5e11b898634ba88a8a135dd","cross_cats_sorted":["cs.PL"],"license":"","primary_cat":"cs.LO","submitted_at":"2000-10-19T11:00:12Z","title_canon_sha256":"bafb9df7f32b3c23ab4b32569774d630c56b83c7cf6f57a217c6c4b23ffe20fe"},"schema_version":"1.0","source":{"id":"cs/0010028","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"cs/0010028","created_at":"2026-07-05T11:23:00Z"},{"alias_kind":"arxiv_version","alias_value":"cs/0010028v1","created_at":"2026-07-05T11:23:00Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.cs/0010028","created_at":"2026-07-05T11:23:00Z"},{"alias_kind":"pith_short_12","alias_value":"MILUSLA6NXRJ","created_at":"2026-07-05T11:23:00Z"},{"alias_kind":"pith_short_16","alias_value":"MILUSLA6NXRJFP2J","created_at":"2026-07-05T11:23:00Z"},{"alias_kind":"pith_short_8","alias_value":"MILUSLA6","created_at":"2026-07-05T11:23:00Z"}],"graph_snapshots":[{"event_id":"sha256:e701f7b35d500cd8d5d2aa91203aae656b5dbee1e5b90e667c9ca0b9ca442d7f","target":"graph","created_at":"2026-07-05T11:23:00Z","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/cs/0010028/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Many abstract interpretation frameworks and analyses for Prolog have been proposed, which seek to extract information useful for program optimization. Although motivated by practical considerations, notably making Prolog competitive with imperative languages, such frameworks fail to capture some of the control structures of existing implementations of the language.\n  In this paper we propose a novel framework for the abstract interpretation of Prolog which handles the depth-first search rule and the cut operator. It relies on the notion of substitution sequence to model the result of the execu","authors_text":"Baudouin Le Charlier, Pascal Van Hentenryck, Sabina Rossi","cross_cats":["cs.PL"],"headline":"","license":"","primary_cat":"cs.LO","submitted_at":"2000-10-19T11:00:12Z","title":"Sequence-Based Abstract Interpretation of Prolog"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"cs/0010028","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:9b229af4d5bcdfdf3deb2985f53b08430371f3ac045c0ab93b12dc4c3b81b050","target":"record","created_at":"2026-07-05T11:23:00Z","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":"a8d8312d64465d1c5a2310f47edf7be19041f3a4d5e11b898634ba88a8a135dd","cross_cats_sorted":["cs.PL"],"license":"","primary_cat":"cs.LO","submitted_at":"2000-10-19T11:00:12Z","title_canon_sha256":"bafb9df7f32b3c23ab4b32569774d630c56b83c7cf6f57a217c6c4b23ffe20fe"},"schema_version":"1.0","source":{"id":"cs/0010028","kind":"arxiv","version":1}},"canonical_sha256":"6217492c1e6de292bf494912a2797e28007eb9404870cac929f81f6e6fb50576","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"6217492c1e6de292bf494912a2797e28007eb9404870cac929f81f6e6fb50576","first_computed_at":"2026-07-05T11:23:00.798652Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T11:23:00.798652Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"hqC7OPG58afMVtVJ7du+mmXSPS7RSmcOpYNzDYLVQMtUUat26YoQA7CKXMyKIv6xwDOhuSEcITLa1yhIU+7VAA==","signature_status":"signed_v1","signed_at":"2026-07-05T11:23:00.799133Z","signed_message":"canonical_sha256_bytes"},"source_id":"cs/0010028","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:9b229af4d5bcdfdf3deb2985f53b08430371f3ac045c0ab93b12dc4c3b81b050","sha256:e701f7b35d500cd8d5d2aa91203aae656b5dbee1e5b90e667c9ca0b9ca442d7f"],"state_sha256":"b3cda5abea28ce3360e33abfcda84bf1442aaf3d82bbb563952c5b8e44b4714e"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"uVJXuvkmlVNi2MiB7s3IgpBcMiFPZ2YlxVZ5ea7eSa2AFVivUKqba/klset9h7D+CEIy9gR3pP5O3gWbc94dDg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-10T23:27:10.225522Z","bundle_sha256":"b432fc2c9b93a1670cfc9d5daebc87e62d8bc905930418bbf3836551e7e7a074"}}