{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2013:AFV7TVTJDQHO6KSVY6ZOY5UWDR","short_pith_number":"pith:AFV7TVTJ","schema_version":"1.0","canonical_sha256":"016bf9d6691c0eef2a55c7b2ec76961c57660b7372d4eff2c2b5240d95ebf190","source":{"kind":"arxiv","id":"1301.4334","version":1},"attestation_state":"computed","paper":{"title":"Deriving program transformations by demonstration","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.PL","authors_text":"Geoffrey C. Hulette, Matthew J. Sottile","submitted_at":"2013-01-18T09:57:39Z","abstract_excerpt":"Automatic code transformation in which transformations are tuned for specific applications and contexts are difficult to achieve in an accessible manner. In this paper, we present an approach to build application specific code transformations. Our approach is based on analysis of the abstract syntax representation of exemplars of the essential change to the code before and after the transformation is applied. This analysis entails a sequence of steps to identify the change, determine how to generalize it, and map it to term rewriting rules for the Stratego term rewriting system. The methods de"},"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.4334","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2013-01-18T09:57:39Z","cross_cats_sorted":[],"title_canon_sha256":"edf6349d3c2a3ff095b859a3199b15aa3bdd90d3d32a716464f6386f6a003048","abstract_canon_sha256":"a256b2ea2d1b09381cbe91712d84f9271b93c176ff8d248e35ef29ccfe6d7e5d"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T03:36:05.633097Z","signature_b64":"+WMrwhIaJqPKo2cUPCgaiAbYHQiWI7DymX4JFZiELlWGWoKKDkutElhbSL8W84BJdXKCh5e4NlWtWZREl9PwDw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"016bf9d6691c0eef2a55c7b2ec76961c57660b7372d4eff2c2b5240d95ebf190","last_reissued_at":"2026-05-18T03:36:05.632650Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T03:36:05.632650Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Deriving program transformations by demonstration","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.PL","authors_text":"Geoffrey C. Hulette, Matthew J. Sottile","submitted_at":"2013-01-18T09:57:39Z","abstract_excerpt":"Automatic code transformation in which transformations are tuned for specific applications and contexts are difficult to achieve in an accessible manner. In this paper, we present an approach to build application specific code transformations. Our approach is based on analysis of the abstract syntax representation of exemplars of the essential change to the code before and after the transformation is applied. This analysis entails a sequence of steps to identify the change, determine how to generalize it, and map it to term rewriting rules for the Stratego term rewriting system. The methods de"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1301.4334","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":"1301.4334","created_at":"2026-05-18T03:36:05.632716+00:00"},{"alias_kind":"arxiv_version","alias_value":"1301.4334v1","created_at":"2026-05-18T03:36:05.632716+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1301.4334","created_at":"2026-05-18T03:36:05.632716+00:00"},{"alias_kind":"pith_short_12","alias_value":"AFV7TVTJDQHO","created_at":"2026-05-18T12:27:38.830355+00:00"},{"alias_kind":"pith_short_16","alias_value":"AFV7TVTJDQHO6KSV","created_at":"2026-05-18T12:27:38.830355+00:00"},{"alias_kind":"pith_short_8","alias_value":"AFV7TVTJ","created_at":"2026-05-18T12:27:38.830355+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/AFV7TVTJDQHO6KSVY6ZOY5UWDR","json":"https://pith.science/pith/AFV7TVTJDQHO6KSVY6ZOY5UWDR.json","graph_json":"https://pith.science/api/pith-number/AFV7TVTJDQHO6KSVY6ZOY5UWDR/graph.json","events_json":"https://pith.science/api/pith-number/AFV7TVTJDQHO6KSVY6ZOY5UWDR/events.json","paper":"https://pith.science/paper/AFV7TVTJ"},"agent_actions":{"view_html":"https://pith.science/pith/AFV7TVTJDQHO6KSVY6ZOY5UWDR","download_json":"https://pith.science/pith/AFV7TVTJDQHO6KSVY6ZOY5UWDR.json","view_paper":"https://pith.science/paper/AFV7TVTJ","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1301.4334&json=true","fetch_graph":"https://pith.science/api/pith-number/AFV7TVTJDQHO6KSVY6ZOY5UWDR/graph.json","fetch_events":"https://pith.science/api/pith-number/AFV7TVTJDQHO6KSVY6ZOY5UWDR/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/AFV7TVTJDQHO6KSVY6ZOY5UWDR/action/timestamp_anchor","attest_storage":"https://pith.science/pith/AFV7TVTJDQHO6KSVY6ZOY5UWDR/action/storage_attestation","attest_author":"https://pith.science/pith/AFV7TVTJDQHO6KSVY6ZOY5UWDR/action/author_attestation","sign_citation":"https://pith.science/pith/AFV7TVTJDQHO6KSVY6ZOY5UWDR/action/citation_signature","submit_replication":"https://pith.science/pith/AFV7TVTJDQHO6KSVY6ZOY5UWDR/action/replication_record"}},"created_at":"2026-05-18T03:36:05.632716+00:00","updated_at":"2026-05-18T03:36:05.632716+00:00"}