{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2011:EZ2WTPKDHJEJD3KRCV6JJVV7UL","short_pith_number":"pith:EZ2WTPKD","canonical_record":{"source":{"id":"1108.4706","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2011-08-23T21:37:59Z","cross_cats_sorted":[],"title_canon_sha256":"fcdd6429d41a3b7fc886cb6637fd6ba65b84733ad487540416403b66cfb75831","abstract_canon_sha256":"7409e28773fa09a869f9760170cd31bda27bc045741a8a86c6adfcaff69bde5d"},"schema_version":"1.0"},"canonical_sha256":"267569bd433a4891ed51157c94d6bfa2c19b89749820426c3e1546846d341922","source":{"kind":"arxiv","id":"1108.4706","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1108.4706","created_at":"2026-05-18T04:14:46Z"},{"alias_kind":"arxiv_version","alias_value":"1108.4706v1","created_at":"2026-05-18T04:14:46Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1108.4706","created_at":"2026-05-18T04:14:46Z"},{"alias_kind":"pith_short_12","alias_value":"EZ2WTPKDHJEJ","created_at":"2026-05-18T12:26:28Z"},{"alias_kind":"pith_short_16","alias_value":"EZ2WTPKDHJEJD3KR","created_at":"2026-05-18T12:26:28Z"},{"alias_kind":"pith_short_8","alias_value":"EZ2WTPKD","created_at":"2026-05-18T12:26:28Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2011:EZ2WTPKDHJEJD3KRCV6JJVV7UL","target":"record","payload":{"canonical_record":{"source":{"id":"1108.4706","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2011-08-23T21:37:59Z","cross_cats_sorted":[],"title_canon_sha256":"fcdd6429d41a3b7fc886cb6637fd6ba65b84733ad487540416403b66cfb75831","abstract_canon_sha256":"7409e28773fa09a869f9760170cd31bda27bc045741a8a86c6adfcaff69bde5d"},"schema_version":"1.0"},"canonical_sha256":"267569bd433a4891ed51157c94d6bfa2c19b89749820426c3e1546846d341922","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T04:14:46.922142Z","signature_b64":"+J4syvPxC4ZYPE8eXZ9AQYkelmMgBBvdpsw/Rq+1aA1vEpR5LUELiTrttmWV5pbskJFSmKP1vOeZYyOVQlITCg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"267569bd433a4891ed51157c94d6bfa2c19b89749820426c3e1546846d341922","last_reissued_at":"2026-05-18T04:14:46.921683Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T04:14:46.921683Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1108.4706","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-18T04:14:46Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"0WLScl1HdZwK7AkD6uz8jfG8Uf3oH0CAwocf1IczRuvlJ0vft0mlxQmyfA0CH64FPwLpdMwfuPvCvsAb3/ScBw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-31T06:50:10.832703Z"},"content_sha256":"6c12e1b35b227ff8e959e93c171b3261036bcced0624852878755c7aebeb4287","schema_version":"1.0","event_id":"sha256:6c12e1b35b227ff8e959e93c171b3261036bcced0624852878755c7aebeb4287"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2011:EZ2WTPKDHJEJD3KRCV6JJVV7UL","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Stepping Lazy Programs","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.PL","authors_text":"Eli Barzilay, John Clements, Matthias Felleisen, Stephen Chang","submitted_at":"2011-08-23T21:37:59Z","abstract_excerpt":"Debugging lazy functional programs poses serious challenges. In support of the \"stop, examine, and resume\" debugging style of imperative languages, some debugging tools abandon lazy evaluation. Other debuggers preserve laziness but present it in a way that may confuse programmers because the focus of evaluation jumps around in a seemingly random manner.\n  In this paper, we introduce a supplemental tool, the algebraic program stepper. An algebraic stepper shows computation as a mathematical calculation. Algebraic stepping could be particularly useful for novice programmers or programmers new to"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1108.4706","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-18T04:14:46Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"U91s4aOYmTfZe6qh6S6okW9sgYxykAC7VJ6aFD3bMcwKYH1mFDP5PglQMApivKWc8b/6ytMm9qS//e+nyg/pCg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-31T06:50:10.833533Z"},"content_sha256":"a1a66fe32b57f0108af5b8641b9375f073251624955eed7a2f7d100894a08f61","schema_version":"1.0","event_id":"sha256:a1a66fe32b57f0108af5b8641b9375f073251624955eed7a2f7d100894a08f61"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/EZ2WTPKDHJEJD3KRCV6JJVV7UL/bundle.json","state_url":"https://pith.science/pith/EZ2WTPKDHJEJD3KRCV6JJVV7UL/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/EZ2WTPKDHJEJD3KRCV6JJVV7UL/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-05-31T06:50:10Z","links":{"resolver":"https://pith.science/pith/EZ2WTPKDHJEJD3KRCV6JJVV7UL","bundle":"https://pith.science/pith/EZ2WTPKDHJEJD3KRCV6JJVV7UL/bundle.json","state":"https://pith.science/pith/EZ2WTPKDHJEJD3KRCV6JJVV7UL/state.json","well_known_bundle":"https://pith.science/.well-known/pith/EZ2WTPKDHJEJD3KRCV6JJVV7UL/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2011:EZ2WTPKDHJEJD3KRCV6JJVV7UL","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":"7409e28773fa09a869f9760170cd31bda27bc045741a8a86c6adfcaff69bde5d","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2011-08-23T21:37:59Z","title_canon_sha256":"fcdd6429d41a3b7fc886cb6637fd6ba65b84733ad487540416403b66cfb75831"},"schema_version":"1.0","source":{"id":"1108.4706","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1108.4706","created_at":"2026-05-18T04:14:46Z"},{"alias_kind":"arxiv_version","alias_value":"1108.4706v1","created_at":"2026-05-18T04:14:46Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1108.4706","created_at":"2026-05-18T04:14:46Z"},{"alias_kind":"pith_short_12","alias_value":"EZ2WTPKDHJEJ","created_at":"2026-05-18T12:26:28Z"},{"alias_kind":"pith_short_16","alias_value":"EZ2WTPKDHJEJD3KR","created_at":"2026-05-18T12:26:28Z"},{"alias_kind":"pith_short_8","alias_value":"EZ2WTPKD","created_at":"2026-05-18T12:26:28Z"}],"graph_snapshots":[{"event_id":"sha256:a1a66fe32b57f0108af5b8641b9375f073251624955eed7a2f7d100894a08f61","target":"graph","created_at":"2026-05-18T04:14:46Z","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":"Debugging lazy functional programs poses serious challenges. In support of the \"stop, examine, and resume\" debugging style of imperative languages, some debugging tools abandon lazy evaluation. Other debuggers preserve laziness but present it in a way that may confuse programmers because the focus of evaluation jumps around in a seemingly random manner.\n  In this paper, we introduce a supplemental tool, the algebraic program stepper. An algebraic stepper shows computation as a mathematical calculation. Algebraic stepping could be particularly useful for novice programmers or programmers new to","authors_text":"Eli Barzilay, John Clements, Matthias Felleisen, Stephen Chang","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2011-08-23T21:37:59Z","title":"Stepping Lazy Programs"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1108.4706","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:6c12e1b35b227ff8e959e93c171b3261036bcced0624852878755c7aebeb4287","target":"record","created_at":"2026-05-18T04:14:46Z","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":"7409e28773fa09a869f9760170cd31bda27bc045741a8a86c6adfcaff69bde5d","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2011-08-23T21:37:59Z","title_canon_sha256":"fcdd6429d41a3b7fc886cb6637fd6ba65b84733ad487540416403b66cfb75831"},"schema_version":"1.0","source":{"id":"1108.4706","kind":"arxiv","version":1}},"canonical_sha256":"267569bd433a4891ed51157c94d6bfa2c19b89749820426c3e1546846d341922","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"267569bd433a4891ed51157c94d6bfa2c19b89749820426c3e1546846d341922","first_computed_at":"2026-05-18T04:14:46.921683Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T04:14:46.921683Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"+J4syvPxC4ZYPE8eXZ9AQYkelmMgBBvdpsw/Rq+1aA1vEpR5LUELiTrttmWV5pbskJFSmKP1vOeZYyOVQlITCg==","signature_status":"signed_v1","signed_at":"2026-05-18T04:14:46.922142Z","signed_message":"canonical_sha256_bytes"},"source_id":"1108.4706","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:6c12e1b35b227ff8e959e93c171b3261036bcced0624852878755c7aebeb4287","sha256:a1a66fe32b57f0108af5b8641b9375f073251624955eed7a2f7d100894a08f61"],"state_sha256":"d8e0bf6ec4d9a9b3b11f9c400a31981c95d025d01643ddd1f3403753c5a294ff"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"kAFt6MpAw2RmSZkos07BSi1gvtEonEd1X0hEZdWKFNFRErLrYMQfhhlSHJGidtAOMXOuKBuxmU7T85P/cOUtBQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-31T06:50:10.837945Z","bundle_sha256":"1317c996df2c8437c94b2c28afc63479db377dad3de52777d9c69167996a1526"}}