{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2014:L3C6BBYGT43KQBHMUR5ZC3NHJG","short_pith_number":"pith:L3C6BBYG","schema_version":"1.0","canonical_sha256":"5ec5e087069f36a804eca47b916da749b4b108f13b2a055d7afe8700f20acf76","source":{"kind":"arxiv","id":"1404.0417","version":3},"attestation_state":"computed","paper":{"title":"Mining Idioms from Source Code","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.SE","authors_text":"Charles Sutton, Miltiadis Allamanis","submitted_at":"2014-04-01T23:04:12Z","abstract_excerpt":"We present the first method for automatically mining code idioms from a corpus of previously written, idiomatic software projects. We take the view that a code idiom is a syntactic fragment that recurs across projects and has a single semantic role. Idioms may have metavariables, such as the body of a for loop. Modern IDEs commonly provide facilities for manually defining idioms and inserting them on demand, but this does not help programmers to write idiomatic code in languages or using libraries with which they are unfamiliar. We present HAGGIS, a system for mining code idioms that builds on"},"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":"1404.0417","kind":"arxiv","version":3},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2014-04-01T23:04:12Z","cross_cats_sorted":[],"title_canon_sha256":"7436d3d069be02b1fae9cdd87385539fc0403607e78e6e3ebd6b5de71e8ed78d","abstract_canon_sha256":"5972f01b5dd4f9ecba95afa33a8f341d88c7be6a9ecae80993141a5b67ef0c65"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:59:59.250202Z","signature_b64":"46753LL34xZhp9B5DFZIRuTQOpskDHdSWgB66hKzBahTNQT01Nvs8k9ZU+71LsqYs8ek9ZjUybdA//BZ8mqHDQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"5ec5e087069f36a804eca47b916da749b4b108f13b2a055d7afe8700f20acf76","last_reissued_at":"2026-05-18T00:59:59.249600Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:59:59.249600Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Mining Idioms from Source Code","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.SE","authors_text":"Charles Sutton, Miltiadis Allamanis","submitted_at":"2014-04-01T23:04:12Z","abstract_excerpt":"We present the first method for automatically mining code idioms from a corpus of previously written, idiomatic software projects. We take the view that a code idiom is a syntactic fragment that recurs across projects and has a single semantic role. Idioms may have metavariables, such as the body of a for loop. Modern IDEs commonly provide facilities for manually defining idioms and inserting them on demand, but this does not help programmers to write idiomatic code in languages or using libraries with which they are unfamiliar. We present HAGGIS, a system for mining code idioms that builds on"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1404.0417","kind":"arxiv","version":3},"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":"1404.0417","created_at":"2026-05-18T00:59:59.249692+00:00"},{"alias_kind":"arxiv_version","alias_value":"1404.0417v3","created_at":"2026-05-18T00:59:59.249692+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1404.0417","created_at":"2026-05-18T00:59:59.249692+00:00"},{"alias_kind":"pith_short_12","alias_value":"L3C6BBYGT43K","created_at":"2026-05-18T12:28:35.611951+00:00"},{"alias_kind":"pith_short_16","alias_value":"L3C6BBYGT43KQBHM","created_at":"2026-05-18T12:28:35.611951+00:00"},{"alias_kind":"pith_short_8","alias_value":"L3C6BBYG","created_at":"2026-05-18T12:28:35.611951+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/L3C6BBYGT43KQBHMUR5ZC3NHJG","json":"https://pith.science/pith/L3C6BBYGT43KQBHMUR5ZC3NHJG.json","graph_json":"https://pith.science/api/pith-number/L3C6BBYGT43KQBHMUR5ZC3NHJG/graph.json","events_json":"https://pith.science/api/pith-number/L3C6BBYGT43KQBHMUR5ZC3NHJG/events.json","paper":"https://pith.science/paper/L3C6BBYG"},"agent_actions":{"view_html":"https://pith.science/pith/L3C6BBYGT43KQBHMUR5ZC3NHJG","download_json":"https://pith.science/pith/L3C6BBYGT43KQBHMUR5ZC3NHJG.json","view_paper":"https://pith.science/paper/L3C6BBYG","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1404.0417&json=true","fetch_graph":"https://pith.science/api/pith-number/L3C6BBYGT43KQBHMUR5ZC3NHJG/graph.json","fetch_events":"https://pith.science/api/pith-number/L3C6BBYGT43KQBHMUR5ZC3NHJG/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/L3C6BBYGT43KQBHMUR5ZC3NHJG/action/timestamp_anchor","attest_storage":"https://pith.science/pith/L3C6BBYGT43KQBHMUR5ZC3NHJG/action/storage_attestation","attest_author":"https://pith.science/pith/L3C6BBYGT43KQBHMUR5ZC3NHJG/action/author_attestation","sign_citation":"https://pith.science/pith/L3C6BBYGT43KQBHMUR5ZC3NHJG/action/citation_signature","submit_replication":"https://pith.science/pith/L3C6BBYGT43KQBHMUR5ZC3NHJG/action/replication_record"}},"created_at":"2026-05-18T00:59:59.249692+00:00","updated_at":"2026-05-18T00:59:59.249692+00:00"}