{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2012:ECFLXM3FFJXDY6WAFZENRWTWUT","short_pith_number":"pith:ECFLXM3F","schema_version":"1.0","canonical_sha256":"208abbb3652a6e3c7ac02e48d8da76a4c4dadd8cfb2ae107c61f5ce6f7920342","source":{"kind":"arxiv","id":"1210.3593","version":1},"attestation_state":"computed","paper":{"title":"Pattern matching in compilers","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.FL"],"primary_cat":"cs.PL","authors_text":"Ond\\v{r}ej B\\'ilka","submitted_at":"2012-10-12T18:23:56Z","abstract_excerpt":"In this thesis we develop tools for effective and flexible pattern matching. We introduce a new pattern matching system called amethyst. Amethyst is not only a generator of parsers of programming languages, but can also serve as an alternative to tools for matching regular expressions.\n  Our framework also produces dynamic parsers. Its intended use is in the context of IDE (accurate syntax highlighting and error detection on the fly). Amethyst offers pattern matching of general data structures. This makes it a useful tool for implementing compiler optimizations such as constant folding, instru"},"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":"1210.3593","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2012-10-12T18:23:56Z","cross_cats_sorted":["cs.FL"],"title_canon_sha256":"b6dc50db947641c5534be6f203da71f1229c1d7d8616a731851394cb09d5a54c","abstract_canon_sha256":"001dcc81dc9e40cd42ffe561232acfe927e7dfb7f0a417db8742e3f7d592c04d"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T03:43:19.291908Z","signature_b64":"noGugRqY1+peqSXDoSeXyjXlYCsUXomqjRLLlBrqTc6ieUsff60VqOLwlH5UgS2JYi2Nz3RgLvVRVQi60iruCA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"208abbb3652a6e3c7ac02e48d8da76a4c4dadd8cfb2ae107c61f5ce6f7920342","last_reissued_at":"2026-05-18T03:43:19.291198Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T03:43:19.291198Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Pattern matching in compilers","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.FL"],"primary_cat":"cs.PL","authors_text":"Ond\\v{r}ej B\\'ilka","submitted_at":"2012-10-12T18:23:56Z","abstract_excerpt":"In this thesis we develop tools for effective and flexible pattern matching. We introduce a new pattern matching system called amethyst. Amethyst is not only a generator of parsers of programming languages, but can also serve as an alternative to tools for matching regular expressions.\n  Our framework also produces dynamic parsers. Its intended use is in the context of IDE (accurate syntax highlighting and error detection on the fly). Amethyst offers pattern matching of general data structures. This makes it a useful tool for implementing compiler optimizations such as constant folding, instru"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1210.3593","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":"1210.3593","created_at":"2026-05-18T03:43:19.291289+00:00"},{"alias_kind":"arxiv_version","alias_value":"1210.3593v1","created_at":"2026-05-18T03:43:19.291289+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1210.3593","created_at":"2026-05-18T03:43:19.291289+00:00"},{"alias_kind":"pith_short_12","alias_value":"ECFLXM3FFJXD","created_at":"2026-05-18T12:27:04.183437+00:00"},{"alias_kind":"pith_short_16","alias_value":"ECFLXM3FFJXDY6WA","created_at":"2026-05-18T12:27:04.183437+00:00"},{"alias_kind":"pith_short_8","alias_value":"ECFLXM3F","created_at":"2026-05-18T12:27:04.183437+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/ECFLXM3FFJXDY6WAFZENRWTWUT","json":"https://pith.science/pith/ECFLXM3FFJXDY6WAFZENRWTWUT.json","graph_json":"https://pith.science/api/pith-number/ECFLXM3FFJXDY6WAFZENRWTWUT/graph.json","events_json":"https://pith.science/api/pith-number/ECFLXM3FFJXDY6WAFZENRWTWUT/events.json","paper":"https://pith.science/paper/ECFLXM3F"},"agent_actions":{"view_html":"https://pith.science/pith/ECFLXM3FFJXDY6WAFZENRWTWUT","download_json":"https://pith.science/pith/ECFLXM3FFJXDY6WAFZENRWTWUT.json","view_paper":"https://pith.science/paper/ECFLXM3F","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1210.3593&json=true","fetch_graph":"https://pith.science/api/pith-number/ECFLXM3FFJXDY6WAFZENRWTWUT/graph.json","fetch_events":"https://pith.science/api/pith-number/ECFLXM3FFJXDY6WAFZENRWTWUT/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/ECFLXM3FFJXDY6WAFZENRWTWUT/action/timestamp_anchor","attest_storage":"https://pith.science/pith/ECFLXM3FFJXDY6WAFZENRWTWUT/action/storage_attestation","attest_author":"https://pith.science/pith/ECFLXM3FFJXDY6WAFZENRWTWUT/action/author_attestation","sign_citation":"https://pith.science/pith/ECFLXM3FFJXDY6WAFZENRWTWUT/action/citation_signature","submit_replication":"https://pith.science/pith/ECFLXM3FFJXDY6WAFZENRWTWUT/action/replication_record"}},"created_at":"2026-05-18T03:43:19.291289+00:00","updated_at":"2026-05-18T03:43:19.291289+00:00"}