{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2019:O7JIUQRQUPFAPBUVK2J23DLNBS","short_pith_number":"pith:O7JIUQRQ","schema_version":"1.0","canonical_sha256":"77d28a4230a3ca0786955693ad8d6d0c89f63258f7beccd692df265b61e870ea","source":{"kind":"arxiv","id":"1904.11254","version":1},"attestation_state":"computed","paper":{"title":"SafeStrings: Representing Strings as Structured Data","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.PL","authors_text":"David Clark, David Kelly, Earl T. Barr, Mark Marron","submitted_at":"2019-04-25T10:46:41Z","abstract_excerpt":"Strings are ubiquitous in code. Not all strings are created equal, some contain structure that makes them incompatible with other strings. CSS units are an obvious example. Worse, type checkers cannot see this structure: this is the latent structure problem. We introduce SafeStrings to solve this problem and expose latent structure in strings. Once visible, operations can leverage this structure to efficiently manipulate it; further, SafeStrings permit the establishment of closure properties. SafeStringsharness the subtyping and inheritance mechanics of their host language to create a natural "},"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":"1904.11254","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2019-04-25T10:46:41Z","cross_cats_sorted":[],"title_canon_sha256":"f0127cc1999a8812f936a66f42269822934ce1fb0f8a50160ffc67fcb0cbbbea","abstract_canon_sha256":"7ee43a6f22cfbb614ee0962987f314aec01b2b70f7973eef3b5dd69af2c4d652"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-17T23:47:45.377230Z","signature_b64":"UbHk2A6VGX/VBUtzX1Rgx7McgJLjWWdnUMywYuQwvVwECFLw604BrzVfn5O9MA7iJRMNuDKrXWwx3zsFZ0KbBA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"77d28a4230a3ca0786955693ad8d6d0c89f63258f7beccd692df265b61e870ea","last_reissued_at":"2026-05-17T23:47:45.376704Z","signature_status":"signed_v1","first_computed_at":"2026-05-17T23:47:45.376704Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"SafeStrings: Representing Strings as Structured Data","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.PL","authors_text":"David Clark, David Kelly, Earl T. Barr, Mark Marron","submitted_at":"2019-04-25T10:46:41Z","abstract_excerpt":"Strings are ubiquitous in code. Not all strings are created equal, some contain structure that makes them incompatible with other strings. CSS units are an obvious example. Worse, type checkers cannot see this structure: this is the latent structure problem. We introduce SafeStrings to solve this problem and expose latent structure in strings. Once visible, operations can leverage this structure to efficiently manipulate it; further, SafeStrings permit the establishment of closure properties. SafeStringsharness the subtyping and inheritance mechanics of their host language to create a natural "},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1904.11254","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"},"aliases":[{"alias_kind":"arxiv","alias_value":"1904.11254","created_at":"2026-05-17T23:47:45.376784+00:00"},{"alias_kind":"arxiv_version","alias_value":"1904.11254v1","created_at":"2026-05-17T23:47:45.376784+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1904.11254","created_at":"2026-05-17T23:47:45.376784+00:00"},{"alias_kind":"pith_short_12","alias_value":"O7JIUQRQUPFA","created_at":"2026-05-18T12:33:24.271573+00:00"},{"alias_kind":"pith_short_16","alias_value":"O7JIUQRQUPFAPBUV","created_at":"2026-05-18T12:33:24.271573+00:00"},{"alias_kind":"pith_short_8","alias_value":"O7JIUQRQ","created_at":"2026-05-18T12:33:24.271573+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/O7JIUQRQUPFAPBUVK2J23DLNBS","json":"https://pith.science/pith/O7JIUQRQUPFAPBUVK2J23DLNBS.json","graph_json":"https://pith.science/api/pith-number/O7JIUQRQUPFAPBUVK2J23DLNBS/graph.json","events_json":"https://pith.science/api/pith-number/O7JIUQRQUPFAPBUVK2J23DLNBS/events.json","paper":"https://pith.science/paper/O7JIUQRQ"},"agent_actions":{"view_html":"https://pith.science/pith/O7JIUQRQUPFAPBUVK2J23DLNBS","download_json":"https://pith.science/pith/O7JIUQRQUPFAPBUVK2J23DLNBS.json","view_paper":"https://pith.science/paper/O7JIUQRQ","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1904.11254&json=true","fetch_graph":"https://pith.science/api/pith-number/O7JIUQRQUPFAPBUVK2J23DLNBS/graph.json","fetch_events":"https://pith.science/api/pith-number/O7JIUQRQUPFAPBUVK2J23DLNBS/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/O7JIUQRQUPFAPBUVK2J23DLNBS/action/timestamp_anchor","attest_storage":"https://pith.science/pith/O7JIUQRQUPFAPBUVK2J23DLNBS/action/storage_attestation","attest_author":"https://pith.science/pith/O7JIUQRQUPFAPBUVK2J23DLNBS/action/author_attestation","sign_citation":"https://pith.science/pith/O7JIUQRQUPFAPBUVK2J23DLNBS/action/citation_signature","submit_replication":"https://pith.science/pith/O7JIUQRQUPFAPBUVK2J23DLNBS/action/replication_record"}},"created_at":"2026-05-17T23:47:45.376784+00:00","updated_at":"2026-05-17T23:47:45.376784+00:00"}