{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2025:HCE4HRLZBLLLIQZIJ36ANESN7F","short_pith_number":"pith:HCE4HRLZ","schema_version":"1.0","canonical_sha256":"3889c3c5790ad6b443284efc06924df97e1a43e2a1f4f9a5ff8034a7be86a941","source":{"kind":"arxiv","id":"2507.13117","version":1},"attestation_state":"computed","paper":{"title":"Inferring Attributed Grammars from Parser Implementations","license":"http://creativecommons.org/licenses/by-nc-sa/4.0/","headline":"","cross_cats":[],"primary_cat":"cs.SE","authors_text":"Andreas Pointner, Herbert Pr\\\"ahofer, Josef Pichler","submitted_at":"2025-07-17T13:32:59Z","abstract_excerpt":"Software systems that process structured inputs often lack complete and up-to-date specifications, which specify the input syntax and the semantics of input processing. While grammar mining techniques have focused on recovering syntactic structures, the semantics of input processing remains largely unexplored. In this work, we introduce a novel approach for inferring attributed grammars from parser implementations. Given an input grammar, our technique dynamically analyzes the implementation of recursive descent parsers to reconstruct the semantic aspects of input handling, resulting in specif"},"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":"2507.13117","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by-nc-sa/4.0/","primary_cat":"cs.SE","submitted_at":"2025-07-17T13:32:59Z","cross_cats_sorted":[],"title_canon_sha256":"1aa491fbb12819961ef7468f4a9d7acd619ade4726c1744744604c970923b782","abstract_canon_sha256":"d31c43d0e36d4350d87c193da43940be6e7ed994a77d0a72efbaf5689d144566"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T11:38:55.024735Z","signature_b64":"8Igb/i4X7tAMhEinxDwqGekyoHAir3vmEDzS7B726sjRcjOtEcC+J8w8Sz3m0aorCAqCzYdwlinIi65L961xBQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"3889c3c5790ad6b443284efc06924df97e1a43e2a1f4f9a5ff8034a7be86a941","last_reissued_at":"2026-07-05T11:38:55.024273Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T11:38:55.024273Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Inferring Attributed Grammars from Parser Implementations","license":"http://creativecommons.org/licenses/by-nc-sa/4.0/","headline":"","cross_cats":[],"primary_cat":"cs.SE","authors_text":"Andreas Pointner, Herbert Pr\\\"ahofer, Josef Pichler","submitted_at":"2025-07-17T13:32:59Z","abstract_excerpt":"Software systems that process structured inputs often lack complete and up-to-date specifications, which specify the input syntax and the semantics of input processing. While grammar mining techniques have focused on recovering syntactic structures, the semantics of input processing remains largely unexplored. In this work, we introduce a novel approach for inferring attributed grammars from parser implementations. Given an input grammar, our technique dynamically analyzes the implementation of recursive descent parsers to reconstruct the semantic aspects of input handling, resulting in specif"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2507.13117","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":""},"integrity":{"clean":true,"summary":{"advisory":0,"critical":0,"by_detector":{},"informational":0},"endpoint":"/pith/2507.13117/integrity.json","findings":[],"available":true,"detectors_run":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938"},"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":"2507.13117","created_at":"2026-07-05T11:38:55.024334+00:00"},{"alias_kind":"arxiv_version","alias_value":"2507.13117v1","created_at":"2026-07-05T11:38:55.024334+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2507.13117","created_at":"2026-07-05T11:38:55.024334+00:00"},{"alias_kind":"pith_short_12","alias_value":"HCE4HRLZBLLL","created_at":"2026-07-05T11:38:55.024334+00:00"},{"alias_kind":"pith_short_16","alias_value":"HCE4HRLZBLLLIQZI","created_at":"2026-07-05T11:38:55.024334+00:00"},{"alias_kind":"pith_short_8","alias_value":"HCE4HRLZ","created_at":"2026-07-05T11:38:55.024334+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/HCE4HRLZBLLLIQZIJ36ANESN7F","json":"https://pith.science/pith/HCE4HRLZBLLLIQZIJ36ANESN7F.json","graph_json":"https://pith.science/api/pith-number/HCE4HRLZBLLLIQZIJ36ANESN7F/graph.json","events_json":"https://pith.science/api/pith-number/HCE4HRLZBLLLIQZIJ36ANESN7F/events.json","paper":"https://pith.science/paper/HCE4HRLZ"},"agent_actions":{"view_html":"https://pith.science/pith/HCE4HRLZBLLLIQZIJ36ANESN7F","download_json":"https://pith.science/pith/HCE4HRLZBLLLIQZIJ36ANESN7F.json","view_paper":"https://pith.science/paper/HCE4HRLZ","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=2507.13117&json=true","fetch_graph":"https://pith.science/api/pith-number/HCE4HRLZBLLLIQZIJ36ANESN7F/graph.json","fetch_events":"https://pith.science/api/pith-number/HCE4HRLZBLLLIQZIJ36ANESN7F/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/HCE4HRLZBLLLIQZIJ36ANESN7F/action/timestamp_anchor","attest_storage":"https://pith.science/pith/HCE4HRLZBLLLIQZIJ36ANESN7F/action/storage_attestation","attest_author":"https://pith.science/pith/HCE4HRLZBLLLIQZIJ36ANESN7F/action/author_attestation","sign_citation":"https://pith.science/pith/HCE4HRLZBLLLIQZIJ36ANESN7F/action/citation_signature","submit_replication":"https://pith.science/pith/HCE4HRLZBLLLIQZIJ36ANESN7F/action/replication_record"}},"created_at":"2026-07-05T11:38:55.024334+00:00","updated_at":"2026-07-05T11:38:55.024334+00:00"}