{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2018:7C3DWQN3U6RT2NZIWE5XJ2KOT6","short_pith_number":"pith:7C3DWQN3","schema_version":"1.0","canonical_sha256":"f8b63b41bba7a33d3728b13b74e94e9fa8e675430dd5c069a825c3280d385c7c","source":{"kind":"arxiv","id":"1809.04209","version":2},"attestation_state":"computed","paper":{"title":"Bidirectional Evaluation with Direct Manipulation","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.PL","authors_text":"Mika\\\"el Mayer, Ravi Chugh, Viktor Kun\\v{c}ak","submitted_at":"2018-09-12T00:58:55Z","abstract_excerpt":"We present an evaluation update (or simply, update) algorithm for a full-featured functional programming language, which synthesizes program changes based on output changes. Intuitively, the update algorithm retraces the steps of the original evaluation, rewriting the program as needed to reconcile differences between the original and updated output values. Our approach, furthermore, allows expert users to define custom lenses that augment the update algorithm with more advanced or domain-specific program updates.\n  To demonstrate the utility of evaluation update, we implement the algorithm in"},"verification_status":{"content_addressed":true,"pith_receipt":true,"author_attested":false,"weak_author_claims":0,"strong_author_claims":0,"externally_anchored":false,"storage_verified":false,"citation_signatures":0,"replication_records":0,"graph_snapshot":true,"references_resolved":false,"formal_links_present":false},"canonical_record":{"source":{"id":"1809.04209","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2018-09-12T00:58:55Z","cross_cats_sorted":[],"title_canon_sha256":"cd8d91433863b7130d3942060c7b2566b154ccb0a1bdd066b8fdccbb4a742635","abstract_canon_sha256":"74bf9458fed66780d096b70a615db252790f5ce24aa3b32acf27a543a63e5580"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:02:49.074352Z","signature_b64":"rmzS445n0clW319RsYCe643gLmN2QIkZAUx2+bL88Uej8pDmr1/RKIKaaAz3RkjLA/GlijE0AtQ0xCLrTIj1CQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"f8b63b41bba7a33d3728b13b74e94e9fa8e675430dd5c069a825c3280d385c7c","last_reissued_at":"2026-05-18T00:02:49.073707Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:02:49.073707Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Bidirectional Evaluation with Direct Manipulation","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.PL","authors_text":"Mika\\\"el Mayer, Ravi Chugh, Viktor Kun\\v{c}ak","submitted_at":"2018-09-12T00:58:55Z","abstract_excerpt":"We present an evaluation update (or simply, update) algorithm for a full-featured functional programming language, which synthesizes program changes based on output changes. Intuitively, the update algorithm retraces the steps of the original evaluation, rewriting the program as needed to reconcile differences between the original and updated output values. Our approach, furthermore, allows expert users to define custom lenses that augment the update algorithm with more advanced or domain-specific program updates.\n  To demonstrate the utility of evaluation update, we implement the algorithm in"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1809.04209","kind":"arxiv","version":2},"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"},"aliases":[{"alias_kind":"arxiv","alias_value":"1809.04209","created_at":"2026-05-18T00:02:49.073833+00:00"},{"alias_kind":"arxiv_version","alias_value":"1809.04209v2","created_at":"2026-05-18T00:02:49.073833+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1809.04209","created_at":"2026-05-18T00:02:49.073833+00:00"},{"alias_kind":"pith_short_12","alias_value":"7C3DWQN3U6RT","created_at":"2026-05-18T12:32:11.075285+00:00"},{"alias_kind":"pith_short_16","alias_value":"7C3DWQN3U6RT2NZI","created_at":"2026-05-18T12:32:11.075285+00:00"},{"alias_kind":"pith_short_8","alias_value":"7C3DWQN3","created_at":"2026-05-18T12:32:11.075285+00:00"}],"events":[],"event_summary":{},"paper_claims":[],"inbound_citations":{"count":0,"internal_anchor_count":0,"sample":[]},"formal_canon":{"evidence_count":0,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/7C3DWQN3U6RT2NZIWE5XJ2KOT6","json":"https://pith.science/pith/7C3DWQN3U6RT2NZIWE5XJ2KOT6.json","graph_json":"https://pith.science/api/pith-number/7C3DWQN3U6RT2NZIWE5XJ2KOT6/graph.json","events_json":"https://pith.science/api/pith-number/7C3DWQN3U6RT2NZIWE5XJ2KOT6/events.json","paper":"https://pith.science/paper/7C3DWQN3"},"agent_actions":{"view_html":"https://pith.science/pith/7C3DWQN3U6RT2NZIWE5XJ2KOT6","download_json":"https://pith.science/pith/7C3DWQN3U6RT2NZIWE5XJ2KOT6.json","view_paper":"https://pith.science/paper/7C3DWQN3","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1809.04209&json=true","fetch_graph":"https://pith.science/api/pith-number/7C3DWQN3U6RT2NZIWE5XJ2KOT6/graph.json","fetch_events":"https://pith.science/api/pith-number/7C3DWQN3U6RT2NZIWE5XJ2KOT6/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/7C3DWQN3U6RT2NZIWE5XJ2KOT6/action/timestamp_anchor","attest_storage":"https://pith.science/pith/7C3DWQN3U6RT2NZIWE5XJ2KOT6/action/storage_attestation","attest_author":"https://pith.science/pith/7C3DWQN3U6RT2NZIWE5XJ2KOT6/action/author_attestation","sign_citation":"https://pith.science/pith/7C3DWQN3U6RT2NZIWE5XJ2KOT6/action/citation_signature","submit_replication":"https://pith.science/pith/7C3DWQN3U6RT2NZIWE5XJ2KOT6/action/replication_record"}},"created_at":"2026-05-18T00:02:49.073833+00:00","updated_at":"2026-05-18T00:02:49.073833+00:00"}