{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2018:PGSKPQ52JFZ7TQMZTRF3BT4MBG","short_pith_number":"pith:PGSKPQ52","canonical_record":{"source":{"id":"1811.09071","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2018-11-22T09:41:03Z","cross_cats_sorted":[],"title_canon_sha256":"c50d846cd5255c6b6da119c8f9fe55475822fc7a7c0d33727990e5d673b9b1c3","abstract_canon_sha256":"ede666c5de7539ea8743c595fb38d21d141949b90e7fac86b534aa1ba6c556f7"},"schema_version":"1.0"},"canonical_sha256":"79a4a7c3ba4973f9c1999c4bb0cf8c09abb999516a20ee0c8c66eda23f412116","source":{"kind":"arxiv","id":"1811.09071","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1811.09071","created_at":"2026-05-18T00:00:07Z"},{"alias_kind":"arxiv_version","alias_value":"1811.09071v1","created_at":"2026-05-18T00:00:07Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1811.09071","created_at":"2026-05-18T00:00:07Z"},{"alias_kind":"pith_short_12","alias_value":"PGSKPQ52JFZ7","created_at":"2026-05-18T12:32:43Z"},{"alias_kind":"pith_short_16","alias_value":"PGSKPQ52JFZ7TQMZ","created_at":"2026-05-18T12:32:43Z"},{"alias_kind":"pith_short_8","alias_value":"PGSKPQ52","created_at":"2026-05-18T12:32:43Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2018:PGSKPQ52JFZ7TQMZTRF3BT4MBG","target":"record","payload":{"canonical_record":{"source":{"id":"1811.09071","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2018-11-22T09:41:03Z","cross_cats_sorted":[],"title_canon_sha256":"c50d846cd5255c6b6da119c8f9fe55475822fc7a7c0d33727990e5d673b9b1c3","abstract_canon_sha256":"ede666c5de7539ea8743c595fb38d21d141949b90e7fac86b534aa1ba6c556f7"},"schema_version":"1.0"},"canonical_sha256":"79a4a7c3ba4973f9c1999c4bb0cf8c09abb999516a20ee0c8c66eda23f412116","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:00:07.154827Z","signature_b64":"yEbM2aRFmu22sFUVFvIPIO+g83STkB2j415F0nlyeNuvbCTNqi2zl6ZXVUgdFFCrkzF7r7RUQq88nKx1jlNcAA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"79a4a7c3ba4973f9c1999c4bb0cf8c09abb999516a20ee0c8c66eda23f412116","last_reissued_at":"2026-05-18T00:00:07.154190Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:00:07.154190Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1811.09071","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-18T00:00:07Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"B4Duu0CjtPd0qop43/btWSZIYCqNFeV/RXMcs2t5Kpa/hkDhrtkyFshRukr2aZptCnEC+LYvzRGFg8PyMbKVBQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-05T02:30:13.520174Z"},"content_sha256":"1b1a4bd66ac54856f4b1af83f45ef1680d8cdf94455bd67e1934f225564fd54b","schema_version":"1.0","event_id":"sha256:1b1a4bd66ac54856f4b1af83f45ef1680d8cdf94455bd67e1934f225564fd54b"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2018:PGSKPQ52JFZ7TQMZTRF3BT4MBG","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Automated Amortised Resource Analysis for Term Rewrite Systems","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.LO","authors_text":"Georg Moser, Manuel Schneckenreither","submitted_at":"2018-11-22T09:41:03Z","abstract_excerpt":"In this paper we establish an automated amortised resource analysis for term rewrite systems. The method is presented in an annotated type system and gives rise to polynomial bounds on the innermost runtime complexity of the analysed term rewrite system. Our analysis does not restrict the input rewrite system in any way so that rewrite systems may serve as abstractions of first-order, eagerly evaluated functional programs over user-defined inductive data-types. This facilitates integration in a general framework for resource analysis of programs. In particular, we have implemented the method a"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1811.09071","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-18T00:00:07Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"7rPAb9niocxmOot29ND5iNCpTab2UHS8D/skAVztAVPl6H2KUhwtnwxFLfSn+ySvU0Qn/SFzT38/sT/6buGiCg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-05T02:30:13.520542Z"},"content_sha256":"e64296cefb82e17b57e8ad0789c4fc44990311d731affb5adae1b3a93805be6e","schema_version":"1.0","event_id":"sha256:e64296cefb82e17b57e8ad0789c4fc44990311d731affb5adae1b3a93805be6e"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/PGSKPQ52JFZ7TQMZTRF3BT4MBG/bundle.json","state_url":"https://pith.science/pith/PGSKPQ52JFZ7TQMZTRF3BT4MBG/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/PGSKPQ52JFZ7TQMZTRF3BT4MBG/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-05T02:30:13Z","links":{"resolver":"https://pith.science/pith/PGSKPQ52JFZ7TQMZTRF3BT4MBG","bundle":"https://pith.science/pith/PGSKPQ52JFZ7TQMZTRF3BT4MBG/bundle.json","state":"https://pith.science/pith/PGSKPQ52JFZ7TQMZTRF3BT4MBG/state.json","well_known_bundle":"https://pith.science/.well-known/pith/PGSKPQ52JFZ7TQMZTRF3BT4MBG/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2018:PGSKPQ52JFZ7TQMZTRF3BT4MBG","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":"ede666c5de7539ea8743c595fb38d21d141949b90e7fac86b534aa1ba6c556f7","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2018-11-22T09:41:03Z","title_canon_sha256":"c50d846cd5255c6b6da119c8f9fe55475822fc7a7c0d33727990e5d673b9b1c3"},"schema_version":"1.0","source":{"id":"1811.09071","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1811.09071","created_at":"2026-05-18T00:00:07Z"},{"alias_kind":"arxiv_version","alias_value":"1811.09071v1","created_at":"2026-05-18T00:00:07Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1811.09071","created_at":"2026-05-18T00:00:07Z"},{"alias_kind":"pith_short_12","alias_value":"PGSKPQ52JFZ7","created_at":"2026-05-18T12:32:43Z"},{"alias_kind":"pith_short_16","alias_value":"PGSKPQ52JFZ7TQMZ","created_at":"2026-05-18T12:32:43Z"},{"alias_kind":"pith_short_8","alias_value":"PGSKPQ52","created_at":"2026-05-18T12:32:43Z"}],"graph_snapshots":[{"event_id":"sha256:e64296cefb82e17b57e8ad0789c4fc44990311d731affb5adae1b3a93805be6e","target":"graph","created_at":"2026-05-18T00:00:07Z","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":"In this paper we establish an automated amortised resource analysis for term rewrite systems. The method is presented in an annotated type system and gives rise to polynomial bounds on the innermost runtime complexity of the analysed term rewrite system. Our analysis does not restrict the input rewrite system in any way so that rewrite systems may serve as abstractions of first-order, eagerly evaluated functional programs over user-defined inductive data-types. This facilitates integration in a general framework for resource analysis of programs. In particular, we have implemented the method a","authors_text":"Georg Moser, Manuel Schneckenreither","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2018-11-22T09:41:03Z","title":"Automated Amortised Resource Analysis for Term Rewrite Systems"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1811.09071","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:1b1a4bd66ac54856f4b1af83f45ef1680d8cdf94455bd67e1934f225564fd54b","target":"record","created_at":"2026-05-18T00:00:07Z","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":"ede666c5de7539ea8743c595fb38d21d141949b90e7fac86b534aa1ba6c556f7","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2018-11-22T09:41:03Z","title_canon_sha256":"c50d846cd5255c6b6da119c8f9fe55475822fc7a7c0d33727990e5d673b9b1c3"},"schema_version":"1.0","source":{"id":"1811.09071","kind":"arxiv","version":1}},"canonical_sha256":"79a4a7c3ba4973f9c1999c4bb0cf8c09abb999516a20ee0c8c66eda23f412116","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"79a4a7c3ba4973f9c1999c4bb0cf8c09abb999516a20ee0c8c66eda23f412116","first_computed_at":"2026-05-18T00:00:07.154190Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:00:07.154190Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"yEbM2aRFmu22sFUVFvIPIO+g83STkB2j415F0nlyeNuvbCTNqi2zl6ZXVUgdFFCrkzF7r7RUQq88nKx1jlNcAA==","signature_status":"signed_v1","signed_at":"2026-05-18T00:00:07.154827Z","signed_message":"canonical_sha256_bytes"},"source_id":"1811.09071","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:1b1a4bd66ac54856f4b1af83f45ef1680d8cdf94455bd67e1934f225564fd54b","sha256:e64296cefb82e17b57e8ad0789c4fc44990311d731affb5adae1b3a93805be6e"],"state_sha256":"f463fc02b6487540ed0e3a08553381bc4bab6d5ff8d3faa08097e9b179b84480"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"iL3hlAUZtlFQRLve6FQB/qxm8I+B0c3uVTHI1OFJKLE4+bZtP4eIlrpTlEH5nT6XBeT/JsPpRliGxZOjkwFmDQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-05T02:30:13.522506Z","bundle_sha256":"daa9b19a97733caba216558f21853bb45b1bc78f2bef810eeb200e31b26370a3"}}