{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2011:GEC6MZJV7EKGAZZHIHOALCAFIC","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":"cdf96f68989e0d666c8a1b0c7511fa0ccda3ccbc0469c60ef6fe8077502bae42","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2011-12-29T21:29:59Z","title_canon_sha256":"c9bee3f8058ec059248a0ca360d28f76edcb335deaf2bb704c95889bdd484ee2"},"schema_version":"1.0","source":{"id":"1201.0024","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1201.0024","created_at":"2026-05-18T04:05:26Z"},{"alias_kind":"arxiv_version","alias_value":"1201.0024v1","created_at":"2026-05-18T04:05:26Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1201.0024","created_at":"2026-05-18T04:05:26Z"},{"alias_kind":"pith_short_12","alias_value":"GEC6MZJV7EKG","created_at":"2026-05-18T12:26:28Z"},{"alias_kind":"pith_short_16","alias_value":"GEC6MZJV7EKGAZZH","created_at":"2026-05-18T12:26:28Z"},{"alias_kind":"pith_short_8","alias_value":"GEC6MZJV","created_at":"2026-05-18T12:26:28Z"}],"graph_snapshots":[{"event_id":"sha256:f142e63f89ea94e7011839acd7acec2af4e8461b86a7674e02a8068a2ba1c79b","target":"graph","created_at":"2026-05-18T04:05:26Z","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":"This paper addresses the problem of specifying and parsing the syntax of domain-specific languages (DSLs) in a modular, user-friendly way. That is, we want to enable the design of composable DSLs that combine the natural syntax of external DSLs with the easy implementation of internal DSLs. The challenge in parsing composable DSLs is that the composition of several (individually unambiguous) languages is likely to contain ambiguities. In this paper, we present the design of a system that uses a type-oriented variant of island parsing to efficiently parse the syntax of composable DSLs. In parti","authors_text":"Erik Silkensen, Jeremy G. Siek","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2011-12-29T21:29:59Z","title":"Well-typed Islands Parse Faster"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1201.0024","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:0cf7c7be1b39927dc8b07950122d10ac1837aa8ea55e63168a5f53ba51c58db4","target":"record","created_at":"2026-05-18T04:05:26Z","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":"cdf96f68989e0d666c8a1b0c7511fa0ccda3ccbc0469c60ef6fe8077502bae42","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2011-12-29T21:29:59Z","title_canon_sha256":"c9bee3f8058ec059248a0ca360d28f76edcb335deaf2bb704c95889bdd484ee2"},"schema_version":"1.0","source":{"id":"1201.0024","kind":"arxiv","version":1}},"canonical_sha256":"3105e66535f91460672741dc05880540be0151b54083e6351468a17c60bbf416","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"3105e66535f91460672741dc05880540be0151b54083e6351468a17c60bbf416","first_computed_at":"2026-05-18T04:05:26.456379Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T04:05:26.456379Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"MrbmeO87fnpowX6t9/5snXa/eDSqnHYFlE1MptpVODUTsxNi5YZWy558CQ/V5NmyY6j/vwI5ipz3Xnzswt8RAg==","signature_status":"signed_v1","signed_at":"2026-05-18T04:05:26.457039Z","signed_message":"canonical_sha256_bytes"},"source_id":"1201.0024","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:0cf7c7be1b39927dc8b07950122d10ac1837aa8ea55e63168a5f53ba51c58db4","sha256:f142e63f89ea94e7011839acd7acec2af4e8461b86a7674e02a8068a2ba1c79b"],"state_sha256":"42925d21486cb1d72d0abb06f7452499d748376ed115e5770fabf317792451f5"}