{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2015:7JM5SW4PVJ7KFCN2TZ4HA22ZVU","short_pith_number":"pith:7JM5SW4P","canonical_record":{"source":{"id":"1501.03458","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.FL","submitted_at":"2015-01-11T15:03:03Z","cross_cats_sorted":["cs.PL"],"title_canon_sha256":"f2cd23cead07e39d7177b25970901978fffbdf169580338501015a24f160763c","abstract_canon_sha256":"ec53caef45e4adeb79321e9f88d7d1cbd6cb602f49fbbf2a311b81db27e5b6b3"},"schema_version":"1.0"},"canonical_sha256":"fa59d95b8faa7ea289ba9e78706b59ad1f141d6b913a1111f7e67c4f3aad0358","source":{"kind":"arxiv","id":"1501.03458","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1501.03458","created_at":"2026-05-18T02:29:23Z"},{"alias_kind":"arxiv_version","alias_value":"1501.03458v1","created_at":"2026-05-18T02:29:23Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1501.03458","created_at":"2026-05-18T02:29:23Z"},{"alias_kind":"pith_short_12","alias_value":"7JM5SW4PVJ7K","created_at":"2026-05-18T12:29:10Z"},{"alias_kind":"pith_short_16","alias_value":"7JM5SW4PVJ7KFCN2","created_at":"2026-05-18T12:29:10Z"},{"alias_kind":"pith_short_8","alias_value":"7JM5SW4P","created_at":"2026-05-18T12:29:10Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2015:7JM5SW4PVJ7KFCN2TZ4HA22ZVU","target":"record","payload":{"canonical_record":{"source":{"id":"1501.03458","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.FL","submitted_at":"2015-01-11T15:03:03Z","cross_cats_sorted":["cs.PL"],"title_canon_sha256":"f2cd23cead07e39d7177b25970901978fffbdf169580338501015a24f160763c","abstract_canon_sha256":"ec53caef45e4adeb79321e9f88d7d1cbd6cb602f49fbbf2a311b81db27e5b6b3"},"schema_version":"1.0"},"canonical_sha256":"fa59d95b8faa7ea289ba9e78706b59ad1f141d6b913a1111f7e67c4f3aad0358","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T02:29:23.982641Z","signature_b64":"tT7vSG2eF7I9DrcDm62rCyEUQeLd6nKKn3ckOM+n6jD+nL1XaSpGTLUKjOm8aQaBabP0LdYCBjfRdWdrc05xDg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"fa59d95b8faa7ea289ba9e78706b59ad1f141d6b913a1111f7e67c4f3aad0358","last_reissued_at":"2026-05-18T02:29:23.982044Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T02:29:23.982044Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1501.03458","source_version":1,"attestation_state":"computed"},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-05-18T02:29:23Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"aim3uSsSoLSAjHy2hG8a29bSnjoEx+nHr6MJM4wtSkUDXHdN5BmYar54EAnRR+RP/1nF1OdmRgxqv1micXrvDg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-30T05:06:43.863232Z"},"content_sha256":"4674e1ca7c95844051e9caa06fb1530e5a7fb1771c4bafd596b6047ec0d3ac31","schema_version":"1.0","event_id":"sha256:4674e1ca7c95844051e9caa06fb1530e5a7fb1771c4bafd596b6047ec0d3ac31"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2015:7JM5SW4PVJ7KFCN2TZ4HA22ZVU","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"The ModelCC Model-Based Parser Generator","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.PL"],"primary_cat":"cs.FL","authors_text":"Fernando Berzal, Juan-Carlos Cubero, Luis Quesada","submitted_at":"2015-01-11T15:03:03Z","abstract_excerpt":"Formal languages let us define the textual representation of data with precision. Formal grammars, typically in the form of BNF-like productions, describe the language syntax, which is then annotated for syntax-directed translation and completed with semantic actions. When, apart from the textual representation of data, an explicit representation of the corresponding data structure is required, the language designer has to devise the mapping between the suitable data model and its proper language specification, and then develop the conversion procedure from the parse tree to the data model ins"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1501.03458","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"},"verdict_id":null},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-05-18T02:29:23Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"0tinE/W3NdmubnaiIPiFKBnNgLIYIffhhpfyuYhsNNAu7zeRQnUfbgJRD8COCpT5QEE/OCwWEstJ2c1ebEjKBw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-30T05:06:43.863870Z"},"content_sha256":"9a0f62982096a0432dee944d3c13afca3ee6c5004cfeb3b65730570ce3a3bbec","schema_version":"1.0","event_id":"sha256:9a0f62982096a0432dee944d3c13afca3ee6c5004cfeb3b65730570ce3a3bbec"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/7JM5SW4PVJ7KFCN2TZ4HA22ZVU/bundle.json","state_url":"https://pith.science/pith/7JM5SW4PVJ7KFCN2TZ4HA22ZVU/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/7JM5SW4PVJ7KFCN2TZ4HA22ZVU/bundle.json","status":"primary"}],"public_keys":[{"key_id":"pith-v1-2026-05","algorithm":"ed25519","format":"raw","public_key_b64":"stVStoiQhXFxp4s2pdzPNoqVNBMojDU/fJ2db5S3CbM=","public_key_hex":"b2d552b68890857171a78b36a5dccf368a953413288c353f7c9d9d6f94b709b3","fingerprint_sha256_b32_first128bits":"RVFV5Z2OI2J3ZUO7ERDEBCYNKS","fingerprint_sha256_hex":"8d4b5ee74e4693bcd1df2446408b0d54","rotates_at":null,"url":"https://pith.science/pith-signing-key.json","notes":"Pith uses this Ed25519 key to sign canonical record SHA-256 digests. Verify with: ed25519_verify(public_key, message=canonical_sha256_bytes, signature=base64decode(signature_b64))."}],"merge_version":"pith-open-graph-merge-v1","built_at":"2026-05-30T05:06:43Z","links":{"resolver":"https://pith.science/pith/7JM5SW4PVJ7KFCN2TZ4HA22ZVU","bundle":"https://pith.science/pith/7JM5SW4PVJ7KFCN2TZ4HA22ZVU/bundle.json","state":"https://pith.science/pith/7JM5SW4PVJ7KFCN2TZ4HA22ZVU/state.json","well_known_bundle":"https://pith.science/.well-known/pith/7JM5SW4PVJ7KFCN2TZ4HA22ZVU/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2015:7JM5SW4PVJ7KFCN2TZ4HA22ZVU","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":"ec53caef45e4adeb79321e9f88d7d1cbd6cb602f49fbbf2a311b81db27e5b6b3","cross_cats_sorted":["cs.PL"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.FL","submitted_at":"2015-01-11T15:03:03Z","title_canon_sha256":"f2cd23cead07e39d7177b25970901978fffbdf169580338501015a24f160763c"},"schema_version":"1.0","source":{"id":"1501.03458","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1501.03458","created_at":"2026-05-18T02:29:23Z"},{"alias_kind":"arxiv_version","alias_value":"1501.03458v1","created_at":"2026-05-18T02:29:23Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1501.03458","created_at":"2026-05-18T02:29:23Z"},{"alias_kind":"pith_short_12","alias_value":"7JM5SW4PVJ7K","created_at":"2026-05-18T12:29:10Z"},{"alias_kind":"pith_short_16","alias_value":"7JM5SW4PVJ7KFCN2","created_at":"2026-05-18T12:29:10Z"},{"alias_kind":"pith_short_8","alias_value":"7JM5SW4P","created_at":"2026-05-18T12:29:10Z"}],"graph_snapshots":[{"event_id":"sha256:9a0f62982096a0432dee944d3c13afca3ee6c5004cfeb3b65730570ce3a3bbec","target":"graph","created_at":"2026-05-18T02:29:23Z","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":"Formal languages let us define the textual representation of data with precision. Formal grammars, typically in the form of BNF-like productions, describe the language syntax, which is then annotated for syntax-directed translation and completed with semantic actions. When, apart from the textual representation of data, an explicit representation of the corresponding data structure is required, the language designer has to devise the mapping between the suitable data model and its proper language specification, and then develop the conversion procedure from the parse tree to the data model ins","authors_text":"Fernando Berzal, Juan-Carlos Cubero, Luis Quesada","cross_cats":["cs.PL"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.FL","submitted_at":"2015-01-11T15:03:03Z","title":"The ModelCC Model-Based Parser Generator"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1501.03458","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:4674e1ca7c95844051e9caa06fb1530e5a7fb1771c4bafd596b6047ec0d3ac31","target":"record","created_at":"2026-05-18T02:29:23Z","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":"ec53caef45e4adeb79321e9f88d7d1cbd6cb602f49fbbf2a311b81db27e5b6b3","cross_cats_sorted":["cs.PL"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.FL","submitted_at":"2015-01-11T15:03:03Z","title_canon_sha256":"f2cd23cead07e39d7177b25970901978fffbdf169580338501015a24f160763c"},"schema_version":"1.0","source":{"id":"1501.03458","kind":"arxiv","version":1}},"canonical_sha256":"fa59d95b8faa7ea289ba9e78706b59ad1f141d6b913a1111f7e67c4f3aad0358","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"fa59d95b8faa7ea289ba9e78706b59ad1f141d6b913a1111f7e67c4f3aad0358","first_computed_at":"2026-05-18T02:29:23.982044Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T02:29:23.982044Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"tT7vSG2eF7I9DrcDm62rCyEUQeLd6nKKn3ckOM+n6jD+nL1XaSpGTLUKjOm8aQaBabP0LdYCBjfRdWdrc05xDg==","signature_status":"signed_v1","signed_at":"2026-05-18T02:29:23.982641Z","signed_message":"canonical_sha256_bytes"},"source_id":"1501.03458","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:4674e1ca7c95844051e9caa06fb1530e5a7fb1771c4bafd596b6047ec0d3ac31","sha256:9a0f62982096a0432dee944d3c13afca3ee6c5004cfeb3b65730570ce3a3bbec"],"state_sha256":"c662520e7023bb7cc365f20d01bb9b4895611902107512b5b376cdf6d483956a"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"yh44MagMQJhrCuh1guKhGwTZeFuaauKlEeYeNWCdXtRK4m5Ab2IuaAzrmxxfLYnAdpR0vBTvlv/Jvi4lFP9RDw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-30T05:06:43.867241Z","bundle_sha256":"e3141478685edbb9b28dc9bd239fc660fc8d6b2fd33e7895e11d78af55cadb62"}}