{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2019:GPTZ4WDAT5TIDM2BPEGKLR34SV","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":"97ea6ced52b3dfbf606a0b0aa7aac71225b14dd2210872343e3ce89210fbe71e","cross_cats_sorted":["cs.PL"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2019-07-13T11:46:02Z","title_canon_sha256":"5243e373bcaadac25c6657dba77757a7ad2109c7d0fac17b0568f3d23fd478d6"},"schema_version":"1.0","source":{"id":"1907.06057","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1907.06057","created_at":"2026-05-17T23:40:42Z"},{"alias_kind":"arxiv_version","alias_value":"1907.06057v1","created_at":"2026-05-17T23:40:42Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1907.06057","created_at":"2026-05-17T23:40:42Z"},{"alias_kind":"pith_short_12","alias_value":"GPTZ4WDAT5TI","created_at":"2026-05-18T12:33:18Z"},{"alias_kind":"pith_short_16","alias_value":"GPTZ4WDAT5TIDM2B","created_at":"2026-05-18T12:33:18Z"},{"alias_kind":"pith_short_8","alias_value":"GPTZ4WDA","created_at":"2026-05-18T12:33:18Z"}],"graph_snapshots":[{"event_id":"sha256:0b00dc2771a6f2bcc5aec47d317f98b1f2915f59ce07047fec506f9550835bcf","target":"graph","created_at":"2026-05-17T23:40:42Z","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":"Extending the lambda-calculus with a construct for sharing, such as let expressions, enables a special representation of terms: iterated applications are decomposed by introducing sharing points in between any two of them, reducing to the case where applications have only values as immediate subterms.\n  This work studies how such a crumbled representation of terms impacts on the design and the efficiency of abstract machines for call-by-value evaluation. About the design, it removes the need for data structures encoding the evaluation context, such as the applicative stack and the dump, that g","authors_text":"Andrea Condoluci, Beniamino Accattoli, Claudio Sacerdoti Coen, Giulio Guerrieri","cross_cats":["cs.PL"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2019-07-13T11:46:02Z","title":"Crumbling Abstract Machines"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1907.06057","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:a758eb377581f78ee506c83b63f04d8dd5cbe9450bbc6ece9b2506130b11c1be","target":"record","created_at":"2026-05-17T23:40:42Z","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":"97ea6ced52b3dfbf606a0b0aa7aac71225b14dd2210872343e3ce89210fbe71e","cross_cats_sorted":["cs.PL"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2019-07-13T11:46:02Z","title_canon_sha256":"5243e373bcaadac25c6657dba77757a7ad2109c7d0fac17b0568f3d23fd478d6"},"schema_version":"1.0","source":{"id":"1907.06057","kind":"arxiv","version":1}},"canonical_sha256":"33e79e58609f6681b341790ca5c77c95607fbe4a4a8802d6e5b51ac7d6c15326","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"33e79e58609f6681b341790ca5c77c95607fbe4a4a8802d6e5b51ac7d6c15326","first_computed_at":"2026-05-17T23:40:42.563537Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-17T23:40:42.563537Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"Fqkwmjh7vBtgj7vwV9H607ormn8RD6VT4ksPCYxbtbeO8kjvX8Y56AJd7EP/5HJfaGAlgIZ6K/zklgQuRjsvCw==","signature_status":"signed_v1","signed_at":"2026-05-17T23:40:42.564342Z","signed_message":"canonical_sha256_bytes"},"source_id":"1907.06057","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:a758eb377581f78ee506c83b63f04d8dd5cbe9450bbc6ece9b2506130b11c1be","sha256:0b00dc2771a6f2bcc5aec47d317f98b1f2915f59ce07047fec506f9550835bcf"],"state_sha256":"19fae8ce9cd3ce4296151fb1aa07329295a5f5b1b8a3d37c2530c9f97c184035"}