{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2011:6HQGSRMVMLG63OEGSPQBLLEC4W","short_pith_number":"pith:6HQGSRMV","schema_version":"1.0","canonical_sha256":"f1e069459562cdedb88693e015ac82e5a93f43b6d36248e7316015cb6129f58e","source":{"kind":"arxiv","id":"1111.4744","version":1},"attestation_state":"computed","paper":{"title":"Solving the TTC 2011 Compiler Optimization Task with metatools","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.PL"],"primary_cat":"cs.SE","authors_text":"Baltasar Tranc\\'on y Widemann, Markus Lepper","submitted_at":"2011-11-21T05:25:16Z","abstract_excerpt":"The authors' \"metatools\" are a collection of tools for generic programming. This includes generating Java sources from mathematically well-founded specifications, as well as the creation of strictly typed document object models for XML encoded texts. In this context, almost every computer-internal structure is  treated as a \"model\", and every computation is a kind of model  transformation.\n  This concept differs significantly from \"classical model  transformation\" executed by specialized tools and languages. Therefore it seemed promising  to the organizers of the  TTC 2011, as well as to the a"},"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":"1111.4744","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2011-11-21T05:25:16Z","cross_cats_sorted":["cs.PL"],"title_canon_sha256":"d38640fecf8102b569ed6e0cafa98172a83d140d9a0aa3347b6ea9f144fe035d","abstract_canon_sha256":"864bff5fd824dd73ce394c37faaae84dfb15301cfcdd22c3dfdfb1f2052b49f7"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T04:07:55.259151Z","signature_b64":"UP9adl2mD4XG+TjOWP6o+BgpRThnV7ApEQUUpLYY8bCIGQRaUme1qTSCt/1AuIp1Nrfiiyw+G12tzdusLKT/Bg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"f1e069459562cdedb88693e015ac82e5a93f43b6d36248e7316015cb6129f58e","last_reissued_at":"2026-05-18T04:07:55.258578Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T04:07:55.258578Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Solving the TTC 2011 Compiler Optimization Task with metatools","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.PL"],"primary_cat":"cs.SE","authors_text":"Baltasar Tranc\\'on y Widemann, Markus Lepper","submitted_at":"2011-11-21T05:25:16Z","abstract_excerpt":"The authors' \"metatools\" are a collection of tools for generic programming. This includes generating Java sources from mathematically well-founded specifications, as well as the creation of strictly typed document object models for XML encoded texts. In this context, almost every computer-internal structure is  treated as a \"model\", and every computation is a kind of model  transformation.\n  This concept differs significantly from \"classical model  transformation\" executed by specialized tools and languages. Therefore it seemed promising  to the organizers of the  TTC 2011, as well as to the a"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1111.4744","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":"1111.4744","created_at":"2026-05-18T04:07:55.258653+00:00"},{"alias_kind":"arxiv_version","alias_value":"1111.4744v1","created_at":"2026-05-18T04:07:55.258653+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1111.4744","created_at":"2026-05-18T04:07:55.258653+00:00"},{"alias_kind":"pith_short_12","alias_value":"6HQGSRMVMLG6","created_at":"2026-05-18T12:26:22.705136+00:00"},{"alias_kind":"pith_short_16","alias_value":"6HQGSRMVMLG63OEG","created_at":"2026-05-18T12:26:22.705136+00:00"},{"alias_kind":"pith_short_8","alias_value":"6HQGSRMV","created_at":"2026-05-18T12:26:22.705136+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/6HQGSRMVMLG63OEGSPQBLLEC4W","json":"https://pith.science/pith/6HQGSRMVMLG63OEGSPQBLLEC4W.json","graph_json":"https://pith.science/api/pith-number/6HQGSRMVMLG63OEGSPQBLLEC4W/graph.json","events_json":"https://pith.science/api/pith-number/6HQGSRMVMLG63OEGSPQBLLEC4W/events.json","paper":"https://pith.science/paper/6HQGSRMV"},"agent_actions":{"view_html":"https://pith.science/pith/6HQGSRMVMLG63OEGSPQBLLEC4W","download_json":"https://pith.science/pith/6HQGSRMVMLG63OEGSPQBLLEC4W.json","view_paper":"https://pith.science/paper/6HQGSRMV","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1111.4744&json=true","fetch_graph":"https://pith.science/api/pith-number/6HQGSRMVMLG63OEGSPQBLLEC4W/graph.json","fetch_events":"https://pith.science/api/pith-number/6HQGSRMVMLG63OEGSPQBLLEC4W/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/6HQGSRMVMLG63OEGSPQBLLEC4W/action/timestamp_anchor","attest_storage":"https://pith.science/pith/6HQGSRMVMLG63OEGSPQBLLEC4W/action/storage_attestation","attest_author":"https://pith.science/pith/6HQGSRMVMLG63OEGSPQBLLEC4W/action/author_attestation","sign_citation":"https://pith.science/pith/6HQGSRMVMLG63OEGSPQBLLEC4W/action/citation_signature","submit_replication":"https://pith.science/pith/6HQGSRMVMLG63OEGSPQBLLEC4W/action/replication_record"}},"created_at":"2026-05-18T04:07:55.258653+00:00","updated_at":"2026-05-18T04:07:55.258653+00:00"}