{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2013:XLPVPDWFJJ3MFIFJZELNP3DBF6","short_pith_number":"pith:XLPVPDWF","schema_version":"1.0","canonical_sha256":"badf578ec54a76c2a0a9c916d7ec612fb865fed9419baef27787217a6694b1b6","source":{"kind":"arxiv","id":"1301.2476","version":2},"attestation_state":"computed","paper":{"title":"Operator Precedence \\omega-languages","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.FL","authors_text":"Dino Mandrioli, Federica Panella, Matteo Pradella, Violetta Lonati","submitted_at":"2013-01-11T12:29:58Z","abstract_excerpt":"\\omega-languages are becoming more and more relevant nowadays when most applications are 'ever-running'. Recent literature, mainly under the motivation of widening the application of model checking techniques, extended the analysis of these languages from the simple regular ones to various classes of languages with 'visible syntax structure', such as visibly pushdown languages (VPLs). Operator precedence languages (OPLs), instead, were originally defined to support deterministic parsing and, though seemingly unrelated, exhibit interesting relations with these classes of languages: OPLs strictl"},"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":"1301.2476","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.FL","submitted_at":"2013-01-11T12:29:58Z","cross_cats_sorted":[],"title_canon_sha256":"3bbf95b0ebacf904c570d73da0843ca1cd6cd4fc020551ff8125361e05fa63bf","abstract_canon_sha256":"1a774228876331a6ac67fb08e0615803b9fdd572482f2bd94f45187346486955"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T03:19:25.795372Z","signature_b64":"i42uTz54mj2YXtik4gi/vKME8HgV4+7B+sdkyoWZ7xL2WwwZTo1FnCg7ZeX8Tecva+F1+ydWPxN3tWpvRj9wBw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"badf578ec54a76c2a0a9c916d7ec612fb865fed9419baef27787217a6694b1b6","last_reissued_at":"2026-05-18T03:19:25.794753Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T03:19:25.794753Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Operator Precedence \\omega-languages","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.FL","authors_text":"Dino Mandrioli, Federica Panella, Matteo Pradella, Violetta Lonati","submitted_at":"2013-01-11T12:29:58Z","abstract_excerpt":"\\omega-languages are becoming more and more relevant nowadays when most applications are 'ever-running'. Recent literature, mainly under the motivation of widening the application of model checking techniques, extended the analysis of these languages from the simple regular ones to various classes of languages with 'visible syntax structure', such as visibly pushdown languages (VPLs). Operator precedence languages (OPLs), instead, were originally defined to support deterministic parsing and, though seemingly unrelated, exhibit interesting relations with these classes of languages: OPLs strictl"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1301.2476","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":"1301.2476","created_at":"2026-05-18T03:19:25.794851+00:00"},{"alias_kind":"arxiv_version","alias_value":"1301.2476v2","created_at":"2026-05-18T03:19:25.794851+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1301.2476","created_at":"2026-05-18T03:19:25.794851+00:00"},{"alias_kind":"pith_short_12","alias_value":"XLPVPDWFJJ3M","created_at":"2026-05-18T12:28:06.772260+00:00"},{"alias_kind":"pith_short_16","alias_value":"XLPVPDWFJJ3MFIFJ","created_at":"2026-05-18T12:28:06.772260+00:00"},{"alias_kind":"pith_short_8","alias_value":"XLPVPDWF","created_at":"2026-05-18T12:28:06.772260+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/XLPVPDWFJJ3MFIFJZELNP3DBF6","json":"https://pith.science/pith/XLPVPDWFJJ3MFIFJZELNP3DBF6.json","graph_json":"https://pith.science/api/pith-number/XLPVPDWFJJ3MFIFJZELNP3DBF6/graph.json","events_json":"https://pith.science/api/pith-number/XLPVPDWFJJ3MFIFJZELNP3DBF6/events.json","paper":"https://pith.science/paper/XLPVPDWF"},"agent_actions":{"view_html":"https://pith.science/pith/XLPVPDWFJJ3MFIFJZELNP3DBF6","download_json":"https://pith.science/pith/XLPVPDWFJJ3MFIFJZELNP3DBF6.json","view_paper":"https://pith.science/paper/XLPVPDWF","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1301.2476&json=true","fetch_graph":"https://pith.science/api/pith-number/XLPVPDWFJJ3MFIFJZELNP3DBF6/graph.json","fetch_events":"https://pith.science/api/pith-number/XLPVPDWFJJ3MFIFJZELNP3DBF6/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/XLPVPDWFJJ3MFIFJZELNP3DBF6/action/timestamp_anchor","attest_storage":"https://pith.science/pith/XLPVPDWFJJ3MFIFJZELNP3DBF6/action/storage_attestation","attest_author":"https://pith.science/pith/XLPVPDWFJJ3MFIFJZELNP3DBF6/action/author_attestation","sign_citation":"https://pith.science/pith/XLPVPDWFJJ3MFIFJZELNP3DBF6/action/citation_signature","submit_replication":"https://pith.science/pith/XLPVPDWFJJ3MFIFJZELNP3DBF6/action/replication_record"}},"created_at":"2026-05-18T03:19:25.794851+00:00","updated_at":"2026-05-18T03:19:25.794851+00:00"}