{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2013:6EJEGSQWALO7ICHS67PR3FUYPG","short_pith_number":"pith:6EJEGSQW","canonical_record":{"source":{"id":"1308.3940","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2013-08-19T07:15:30Z","cross_cats_sorted":[],"title_canon_sha256":"3713f646fc1bcf47b4a8e4c0cb766aaef4a2e40595d3fdaa92c903ed2b7620f5","abstract_canon_sha256":"64c952c19a9d15df6124d30f45fd513704f7d378c2e8c398e5a7cc04e50aab3b"},"schema_version":"1.0"},"canonical_sha256":"f112434a1602ddf408f2f7df1d969879b8755653712fa01c1a7d13064685e0d3","source":{"kind":"arxiv","id":"1308.3940","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1308.3940","created_at":"2026-05-18T03:15:35Z"},{"alias_kind":"arxiv_version","alias_value":"1308.3940v1","created_at":"2026-05-18T03:15:35Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1308.3940","created_at":"2026-05-18T03:15:35Z"},{"alias_kind":"pith_short_12","alias_value":"6EJEGSQWALO7","created_at":"2026-05-18T12:27:36Z"},{"alias_kind":"pith_short_16","alias_value":"6EJEGSQWALO7ICHS","created_at":"2026-05-18T12:27:36Z"},{"alias_kind":"pith_short_8","alias_value":"6EJEGSQW","created_at":"2026-05-18T12:27:36Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2013:6EJEGSQWALO7ICHS67PR3FUYPG","target":"record","payload":{"canonical_record":{"source":{"id":"1308.3940","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2013-08-19T07:15:30Z","cross_cats_sorted":[],"title_canon_sha256":"3713f646fc1bcf47b4a8e4c0cb766aaef4a2e40595d3fdaa92c903ed2b7620f5","abstract_canon_sha256":"64c952c19a9d15df6124d30f45fd513704f7d378c2e8c398e5a7cc04e50aab3b"},"schema_version":"1.0"},"canonical_sha256":"f112434a1602ddf408f2f7df1d969879b8755653712fa01c1a7d13064685e0d3","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T03:15:35.245661Z","signature_b64":"tbj23loXZ2o20tfHmn5CBRzEw2oNKJe9xZG5+53aagbBpxhwGzfdC16uMxdyQjHeY/Ti9AaivIxa2ujWJjUgDw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"f112434a1602ddf408f2f7df1d969879b8755653712fa01c1a7d13064685e0d3","last_reissued_at":"2026-05-18T03:15:35.245044Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T03:15:35.245044Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1308.3940","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-18T03:15:35Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"cydvGTv2lNS0tEQ77xJv+zjXuLqUWC9BPGanhKU033r0/8PVSrRam3ccA3dHR4UN8pMNlHaz9E9Z5oGkd62PCQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-30T22:11:13.141585Z"},"content_sha256":"9ecb6f557f7ae8cb339e6c50cc936a5978aecf0477d7849eb6f23deee5f792de","schema_version":"1.0","event_id":"sha256:9ecb6f557f7ae8cb339e6c50cc936a5978aecf0477d7849eb6f23deee5f792de"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2013:6EJEGSQWALO7ICHS67PR3FUYPG","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Towards an Abstract Domain for Resource Analysis of Logic Programs Using Sized Types","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.PL","authors_text":"Alejandro Serrano, Manuel Hermenegildo, Pedro L\\'opez-Garc\\'ia","submitted_at":"2013-08-19T07:15:30Z","abstract_excerpt":"We present a novel general resource analysis for logic programs based on sized types.Sized types are representations that incorporate structural (shape) information and allow expressing both lower and upper bounds on the size of a set of terms and their subterms at any position and depth. They also allow relating the sizes of terms and subterms occurring at different argument positions in logic predicates. Using these sized types, the resource analysis can infer both lower and upper bounds on the resources used by all the procedures in a program as functions on input term (and subterm) sizes, "},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1308.3940","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-18T03:15:35Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"ORZPcYzBFcQn88lR72UIVN3SAW/74ZIa+ayRq6xwdhFDojGaTg0j4z2ddvC/e5pkZ+mAZ8PylYInyCjVT3LgAA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-30T22:11:13.141930Z"},"content_sha256":"16f759413fd88fd0d9a943dc84d18c6a41a61d42c37bdc3360ac0fbc2c43d3ee","schema_version":"1.0","event_id":"sha256:16f759413fd88fd0d9a943dc84d18c6a41a61d42c37bdc3360ac0fbc2c43d3ee"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/6EJEGSQWALO7ICHS67PR3FUYPG/bundle.json","state_url":"https://pith.science/pith/6EJEGSQWALO7ICHS67PR3FUYPG/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/6EJEGSQWALO7ICHS67PR3FUYPG/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-06-30T22:11:13Z","links":{"resolver":"https://pith.science/pith/6EJEGSQWALO7ICHS67PR3FUYPG","bundle":"https://pith.science/pith/6EJEGSQWALO7ICHS67PR3FUYPG/bundle.json","state":"https://pith.science/pith/6EJEGSQWALO7ICHS67PR3FUYPG/state.json","well_known_bundle":"https://pith.science/.well-known/pith/6EJEGSQWALO7ICHS67PR3FUYPG/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2013:6EJEGSQWALO7ICHS67PR3FUYPG","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":"64c952c19a9d15df6124d30f45fd513704f7d378c2e8c398e5a7cc04e50aab3b","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2013-08-19T07:15:30Z","title_canon_sha256":"3713f646fc1bcf47b4a8e4c0cb766aaef4a2e40595d3fdaa92c903ed2b7620f5"},"schema_version":"1.0","source":{"id":"1308.3940","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1308.3940","created_at":"2026-05-18T03:15:35Z"},{"alias_kind":"arxiv_version","alias_value":"1308.3940v1","created_at":"2026-05-18T03:15:35Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1308.3940","created_at":"2026-05-18T03:15:35Z"},{"alias_kind":"pith_short_12","alias_value":"6EJEGSQWALO7","created_at":"2026-05-18T12:27:36Z"},{"alias_kind":"pith_short_16","alias_value":"6EJEGSQWALO7ICHS","created_at":"2026-05-18T12:27:36Z"},{"alias_kind":"pith_short_8","alias_value":"6EJEGSQW","created_at":"2026-05-18T12:27:36Z"}],"graph_snapshots":[{"event_id":"sha256:16f759413fd88fd0d9a943dc84d18c6a41a61d42c37bdc3360ac0fbc2c43d3ee","target":"graph","created_at":"2026-05-18T03:15:35Z","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":"We present a novel general resource analysis for logic programs based on sized types.Sized types are representations that incorporate structural (shape) information and allow expressing both lower and upper bounds on the size of a set of terms and their subterms at any position and depth. They also allow relating the sizes of terms and subterms occurring at different argument positions in logic predicates. Using these sized types, the resource analysis can infer both lower and upper bounds on the resources used by all the procedures in a program as functions on input term (and subterm) sizes, ","authors_text":"Alejandro Serrano, Manuel Hermenegildo, Pedro L\\'opez-Garc\\'ia","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2013-08-19T07:15:30Z","title":"Towards an Abstract Domain for Resource Analysis of Logic Programs Using Sized Types"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1308.3940","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:9ecb6f557f7ae8cb339e6c50cc936a5978aecf0477d7849eb6f23deee5f792de","target":"record","created_at":"2026-05-18T03:15:35Z","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":"64c952c19a9d15df6124d30f45fd513704f7d378c2e8c398e5a7cc04e50aab3b","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2013-08-19T07:15:30Z","title_canon_sha256":"3713f646fc1bcf47b4a8e4c0cb766aaef4a2e40595d3fdaa92c903ed2b7620f5"},"schema_version":"1.0","source":{"id":"1308.3940","kind":"arxiv","version":1}},"canonical_sha256":"f112434a1602ddf408f2f7df1d969879b8755653712fa01c1a7d13064685e0d3","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"f112434a1602ddf408f2f7df1d969879b8755653712fa01c1a7d13064685e0d3","first_computed_at":"2026-05-18T03:15:35.245044Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T03:15:35.245044Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"tbj23loXZ2o20tfHmn5CBRzEw2oNKJe9xZG5+53aagbBpxhwGzfdC16uMxdyQjHeY/Ti9AaivIxa2ujWJjUgDw==","signature_status":"signed_v1","signed_at":"2026-05-18T03:15:35.245661Z","signed_message":"canonical_sha256_bytes"},"source_id":"1308.3940","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:9ecb6f557f7ae8cb339e6c50cc936a5978aecf0477d7849eb6f23deee5f792de","sha256:16f759413fd88fd0d9a943dc84d18c6a41a61d42c37bdc3360ac0fbc2c43d3ee"],"state_sha256":"b0ce47325ced57149ae32ea43413883b892164945fc06cad54b6fbc69917bad0"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"vwSw9gpmvZU4SUbVdLQD8LTknrQ7qHFkAkScRSOskDNB711qx5wyy61CvVa+I75U6lbj9pBmFvx0sJwPKZoAAg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-30T22:11:13.143877Z","bundle_sha256":"1ddea3038c98123445647e033fa199f545c527094ea43a64115de0b6f1b01675"}}