{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2011:2VASGIQIP6D3P3BGGKKPEBGPPD","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":"a49b69a9a7ac608b21ec587e4c6316d067abdb7f7faa63d2c04d6a9494f64b7d","cross_cats_sorted":["cs.DS"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2011-09-05T01:57:14Z","title_canon_sha256":"b4d273691bf2858d684d915dcb259a856f12e6e63790b546ea9f5cb9a7118ba1"},"schema_version":"1.0","source":{"id":"1109.0784","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1109.0784","created_at":"2026-05-18T04:14:06Z"},{"alias_kind":"arxiv_version","alias_value":"1109.0784v1","created_at":"2026-05-18T04:14:06Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1109.0784","created_at":"2026-05-18T04:14:06Z"},{"alias_kind":"pith_short_12","alias_value":"2VASGIQIP6D3","created_at":"2026-05-18T12:26:18Z"},{"alias_kind":"pith_short_16","alias_value":"2VASGIQIP6D3P3BG","created_at":"2026-05-18T12:26:18Z"},{"alias_kind":"pith_short_8","alias_value":"2VASGIQI","created_at":"2026-05-18T12:26:18Z"}],"graph_snapshots":[{"event_id":"sha256:ee123caf3e93b3b68eea40f38a01b52c73519c25603789b4f75937eac3bd6849","target":"graph","created_at":"2026-05-18T04:14:06Z","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":"Aliasing, or sharing, is prominent in many domains, denoting that two differently-named objects are in fact identical: a change in one object (memory cell, circuit terminal, disk block) is instantly reflected in the other.  Languages for modelling such domains should let the programmer explicitly define the sharing among objects or expressions. A DSL compiler may find other identical expressions and share them, implicitly. Such common subexpression elimination is crucial to the efficient implementation of DSLs. Sharing is tricky in embedded DSL, since host aliasing may correspond to copying of","authors_text":"Oleg Kiselyov","cross_cats":["cs.DS"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2011-09-05T01:57:14Z","title":"Implementing Explicit and Finding Implicit Sharing in Embedded DSLs"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1109.0784","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:70316cc53cc19fb34dce795d13142ca75a1b7cc9c4a4beea4f33bd63b1b327a3","target":"record","created_at":"2026-05-18T04:14:06Z","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":"a49b69a9a7ac608b21ec587e4c6316d067abdb7f7faa63d2c04d6a9494f64b7d","cross_cats_sorted":["cs.DS"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2011-09-05T01:57:14Z","title_canon_sha256":"b4d273691bf2858d684d915dcb259a856f12e6e63790b546ea9f5cb9a7118ba1"},"schema_version":"1.0","source":{"id":"1109.0784","kind":"arxiv","version":1}},"canonical_sha256":"d5412322087f87b7ec263294f204cf78ddcc18fea85348f960105f19085c35be","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"d5412322087f87b7ec263294f204cf78ddcc18fea85348f960105f19085c35be","first_computed_at":"2026-05-18T04:14:06.673505Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T04:14:06.673505Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"J7eMYETgiFd7z0wAo/prLjPFfNcGYMHq4sOAzGlxTg6OXHKIjZkt59APSs1qjiRvBVUFtkhG7f7DE6jeUZP/Bg==","signature_status":"signed_v1","signed_at":"2026-05-18T04:14:06.674061Z","signed_message":"canonical_sha256_bytes"},"source_id":"1109.0784","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:70316cc53cc19fb34dce795d13142ca75a1b7cc9c4a4beea4f33bd63b1b327a3","sha256:ee123caf3e93b3b68eea40f38a01b52c73519c25603789b4f75937eac3bd6849"],"state_sha256":"e6a70873267cd726cd97113d005a1179fde40c28b732e1337b3189efd85e4f4a"}