{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2015:LJ7QZBIXNOI4L7SELC5Q2UMM5W","short_pith_number":"pith:LJ7QZBIX","canonical_record":{"source":{"id":"1507.05762","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by-sa/4.0/","primary_cat":"cs.PL","submitted_at":"2015-07-21T09:39:11Z","cross_cats_sorted":[],"title_canon_sha256":"492cc4e87492b746ac4371a11f09b12992cac4d9446e11d4d68c26a24b57d16a","abstract_canon_sha256":"44ca342d8fc95ef95158a39afb8144aee9c8261dd1f000d3a2bf865bd29abdc4"},"schema_version":"1.0"},"canonical_sha256":"5a7f0c85176b91c5fe4458bb0d518cedb6bfed3dae161c0da07490409de1e8dd","source":{"kind":"arxiv","id":"1507.05762","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1507.05762","created_at":"2026-07-05T00:42:11Z"},{"alias_kind":"arxiv_version","alias_value":"1507.05762v1","created_at":"2026-07-05T00:42:11Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1507.05762","created_at":"2026-07-05T00:42:11Z"},{"alias_kind":"pith_short_12","alias_value":"LJ7QZBIXNOI4","created_at":"2026-07-05T00:42:11Z"},{"alias_kind":"pith_short_16","alias_value":"LJ7QZBIXNOI4L7SE","created_at":"2026-07-05T00:42:11Z"},{"alias_kind":"pith_short_8","alias_value":"LJ7QZBIX","created_at":"2026-07-05T00:42:11Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2015:LJ7QZBIXNOI4L7SELC5Q2UMM5W","target":"record","payload":{"canonical_record":{"source":{"id":"1507.05762","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by-sa/4.0/","primary_cat":"cs.PL","submitted_at":"2015-07-21T09:39:11Z","cross_cats_sorted":[],"title_canon_sha256":"492cc4e87492b746ac4371a11f09b12992cac4d9446e11d4d68c26a24b57d16a","abstract_canon_sha256":"44ca342d8fc95ef95158a39afb8144aee9c8261dd1f000d3a2bf865bd29abdc4"},"schema_version":"1.0"},"canonical_sha256":"5a7f0c85176b91c5fe4458bb0d518cedb6bfed3dae161c0da07490409de1e8dd","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T00:42:11.968894Z","signature_b64":"cZFCWx6me64mUAA6j8LjMkuDfayncOtel5vRooyeyqRKuypLnj7XZG2D2kpLSMDyja9MVFb6MUYbGhIgDggzBg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"5a7f0c85176b91c5fe4458bb0d518cedb6bfed3dae161c0da07490409de1e8dd","last_reissued_at":"2026-07-05T00:42:11.968491Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T00:42:11.968491Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1507.05762","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-05T00:42:11Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"l7kp1JaqIHgXx8r1Xram3J3M/+y95XsVGJw+rFsbqEexgyQKtnfP/TUdZaJYi4dB6Lk36OIAQcGlo2v6JBaTCQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-14T17:03:59.943568Z"},"content_sha256":"3e69b585493507c2fb255907747a325b864a432b33f70714d708c70334ed1f84","schema_version":"1.0","event_id":"sha256:3e69b585493507c2fb255907747a325b864a432b33f70714d708c70334ed1f84"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2015:LJ7QZBIXNOI4L7SELC5Q2UMM5W","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Horn Clauses as an Intermediate Representation for Program Analysis and Transformation","license":"http://creativecommons.org/licenses/by-sa/4.0/","headline":"","cross_cats":[],"primary_cat":"cs.PL","authors_text":"Graeme Gange, Harald Sondergaard, Jorge A. Navas, Peter J. Stuckey, Peter Schachte","submitted_at":"2015-07-21T09:39:11Z","abstract_excerpt":"Many recent analyses for conventional imperative programs begin by transforming programs into logic programs, capitalising on existing LP analyses and simple LP semantics. We propose using logic programs as an intermediate program representation throughout the compilation process. With restrictions ensuring determinism and single-modedness, a logic program can easily be transformed to machine language or other low-level language, while maintaining the simple semantics that makes it suitable as a language for program analysis and transformation. We present a simple LP language that enforces det"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1507.05762","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/1507.05762/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-05T00:42:11Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"3uxXGgaWtMbXTwN6eEjx0fvbx1ayBT3vMMH3dZape/uaLeT52C6duQTW36nAqDY2wneO5YUxEvtHHc8136vGDg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-14T17:03:59.944126Z"},"content_sha256":"148d1996483c25331c077f16df1c745a07743fa4f62bbb36a07f16074aec9220","schema_version":"1.0","event_id":"sha256:148d1996483c25331c077f16df1c745a07743fa4f62bbb36a07f16074aec9220"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/LJ7QZBIXNOI4L7SELC5Q2UMM5W/bundle.json","state_url":"https://pith.science/pith/LJ7QZBIXNOI4L7SELC5Q2UMM5W/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/LJ7QZBIXNOI4L7SELC5Q2UMM5W/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-14T17:03:59Z","links":{"resolver":"https://pith.science/pith/LJ7QZBIXNOI4L7SELC5Q2UMM5W","bundle":"https://pith.science/pith/LJ7QZBIXNOI4L7SELC5Q2UMM5W/bundle.json","state":"https://pith.science/pith/LJ7QZBIXNOI4L7SELC5Q2UMM5W/state.json","well_known_bundle":"https://pith.science/.well-known/pith/LJ7QZBIXNOI4L7SELC5Q2UMM5W/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2015:LJ7QZBIXNOI4L7SELC5Q2UMM5W","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":"44ca342d8fc95ef95158a39afb8144aee9c8261dd1f000d3a2bf865bd29abdc4","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by-sa/4.0/","primary_cat":"cs.PL","submitted_at":"2015-07-21T09:39:11Z","title_canon_sha256":"492cc4e87492b746ac4371a11f09b12992cac4d9446e11d4d68c26a24b57d16a"},"schema_version":"1.0","source":{"id":"1507.05762","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1507.05762","created_at":"2026-07-05T00:42:11Z"},{"alias_kind":"arxiv_version","alias_value":"1507.05762v1","created_at":"2026-07-05T00:42:11Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1507.05762","created_at":"2026-07-05T00:42:11Z"},{"alias_kind":"pith_short_12","alias_value":"LJ7QZBIXNOI4","created_at":"2026-07-05T00:42:11Z"},{"alias_kind":"pith_short_16","alias_value":"LJ7QZBIXNOI4L7SE","created_at":"2026-07-05T00:42:11Z"},{"alias_kind":"pith_short_8","alias_value":"LJ7QZBIX","created_at":"2026-07-05T00:42:11Z"}],"graph_snapshots":[{"event_id":"sha256:148d1996483c25331c077f16df1c745a07743fa4f62bbb36a07f16074aec9220","target":"graph","created_at":"2026-07-05T00:42:11Z","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/1507.05762/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Many recent analyses for conventional imperative programs begin by transforming programs into logic programs, capitalising on existing LP analyses and simple LP semantics. We propose using logic programs as an intermediate program representation throughout the compilation process. With restrictions ensuring determinism and single-modedness, a logic program can easily be transformed to machine language or other low-level language, while maintaining the simple semantics that makes it suitable as a language for program analysis and transformation. We present a simple LP language that enforces det","authors_text":"Graeme Gange, Harald Sondergaard, Jorge A. Navas, Peter J. Stuckey, Peter Schachte","cross_cats":[],"headline":"","license":"http://creativecommons.org/licenses/by-sa/4.0/","primary_cat":"cs.PL","submitted_at":"2015-07-21T09:39:11Z","title":"Horn Clauses as an Intermediate Representation for Program Analysis and Transformation"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1507.05762","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:3e69b585493507c2fb255907747a325b864a432b33f70714d708c70334ed1f84","target":"record","created_at":"2026-07-05T00:42:11Z","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":"44ca342d8fc95ef95158a39afb8144aee9c8261dd1f000d3a2bf865bd29abdc4","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by-sa/4.0/","primary_cat":"cs.PL","submitted_at":"2015-07-21T09:39:11Z","title_canon_sha256":"492cc4e87492b746ac4371a11f09b12992cac4d9446e11d4d68c26a24b57d16a"},"schema_version":"1.0","source":{"id":"1507.05762","kind":"arxiv","version":1}},"canonical_sha256":"5a7f0c85176b91c5fe4458bb0d518cedb6bfed3dae161c0da07490409de1e8dd","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"5a7f0c85176b91c5fe4458bb0d518cedb6bfed3dae161c0da07490409de1e8dd","first_computed_at":"2026-07-05T00:42:11.968491Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T00:42:11.968491Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"cZFCWx6me64mUAA6j8LjMkuDfayncOtel5vRooyeyqRKuypLnj7XZG2D2kpLSMDyja9MVFb6MUYbGhIgDggzBg==","signature_status":"signed_v1","signed_at":"2026-07-05T00:42:11.968894Z","signed_message":"canonical_sha256_bytes"},"source_id":"1507.05762","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:3e69b585493507c2fb255907747a325b864a432b33f70714d708c70334ed1f84","sha256:148d1996483c25331c077f16df1c745a07743fa4f62bbb36a07f16074aec9220"],"state_sha256":"f6e14f6037a0aa2b67b825ac8551dbf0ed26dc58a62712c2d6e9870db78932e0"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"3QXqzT/QDzvWQHSKL7oUsURJYIEqj334iEEyC00upJU+cQ/yHJmtB/83mm5teiRHhXF250+gf2lFalii1jUwBw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-14T17:03:59.949369Z","bundle_sha256":"c101638c085497a66bd92e0bd157cef33e387179821302b3865d4ae560101b40"}}