{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2017:LPTCHLAQ7TCIW6NLTQBLABSICT","short_pith_number":"pith:LPTCHLAQ","schema_version":"1.0","canonical_sha256":"5be623ac10fcc48b79ab9c02b0064814ee081e920b873bda1a7784645aec643b","source":{"kind":"arxiv","id":"1712.09797","version":1},"attestation_state":"computed","paper":{"title":"Automated Refactoring of Nested-IF Formulae in Spreadsheets","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.SE","authors_text":"Dan Hao, Dongmei Zhang, Jie Zhang, Lu Zhang, Shi Han","submitted_at":"2017-12-28T09:28:11Z","abstract_excerpt":"Spreadsheets are the most popular end-user programming software, where formulae act like programs and also have smells. One well recognized common smell of spreadsheet formulae is nest-IF expressions, which have low readability and high cognitive cost for users, and are error-prone during reuse or maintenance. However, end users usually lack essential programming language knowledge and skills to tackle or even realize the problem. The previous research work has made very initial attempts in this aspect, while no effective and automated approach is currently available.\n  This paper firstly prop"},"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":"1712.09797","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2017-12-28T09:28:11Z","cross_cats_sorted":[],"title_canon_sha256":"d5f3bfaccb9f41405464ae1f24857ab5bd68c26b4919ee1636d1ed5a9fe11b92","abstract_canon_sha256":"f4f85e5d37f73fbab2b8bd40e960f47f62ccc9d1fdc74770ced963289f7c8e46"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:27:05.527145Z","signature_b64":"hiImdPj6m7wJeYIINMJeJ/awF6qlXh1r/1DAYYft8nUhE38/2RlBILJ/nVi4btFY/13CbSlmlgzn+q7TWxeyBQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"5be623ac10fcc48b79ab9c02b0064814ee081e920b873bda1a7784645aec643b","last_reissued_at":"2026-05-18T00:27:05.526614Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:27:05.526614Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Automated Refactoring of Nested-IF Formulae in Spreadsheets","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.SE","authors_text":"Dan Hao, Dongmei Zhang, Jie Zhang, Lu Zhang, Shi Han","submitted_at":"2017-12-28T09:28:11Z","abstract_excerpt":"Spreadsheets are the most popular end-user programming software, where formulae act like programs and also have smells. One well recognized common smell of spreadsheet formulae is nest-IF expressions, which have low readability and high cognitive cost for users, and are error-prone during reuse or maintenance. However, end users usually lack essential programming language knowledge and skills to tackle or even realize the problem. The previous research work has made very initial attempts in this aspect, while no effective and automated approach is currently available.\n  This paper firstly prop"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1712.09797","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":"1712.09797","created_at":"2026-05-18T00:27:05.526702+00:00"},{"alias_kind":"arxiv_version","alias_value":"1712.09797v1","created_at":"2026-05-18T00:27:05.526702+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1712.09797","created_at":"2026-05-18T00:27:05.526702+00:00"},{"alias_kind":"pith_short_12","alias_value":"LPTCHLAQ7TCI","created_at":"2026-05-18T12:31:28.150371+00:00"},{"alias_kind":"pith_short_16","alias_value":"LPTCHLAQ7TCIW6NL","created_at":"2026-05-18T12:31:28.150371+00:00"},{"alias_kind":"pith_short_8","alias_value":"LPTCHLAQ","created_at":"2026-05-18T12:31:28.150371+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/LPTCHLAQ7TCIW6NLTQBLABSICT","json":"https://pith.science/pith/LPTCHLAQ7TCIW6NLTQBLABSICT.json","graph_json":"https://pith.science/api/pith-number/LPTCHLAQ7TCIW6NLTQBLABSICT/graph.json","events_json":"https://pith.science/api/pith-number/LPTCHLAQ7TCIW6NLTQBLABSICT/events.json","paper":"https://pith.science/paper/LPTCHLAQ"},"agent_actions":{"view_html":"https://pith.science/pith/LPTCHLAQ7TCIW6NLTQBLABSICT","download_json":"https://pith.science/pith/LPTCHLAQ7TCIW6NLTQBLABSICT.json","view_paper":"https://pith.science/paper/LPTCHLAQ","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1712.09797&json=true","fetch_graph":"https://pith.science/api/pith-number/LPTCHLAQ7TCIW6NLTQBLABSICT/graph.json","fetch_events":"https://pith.science/api/pith-number/LPTCHLAQ7TCIW6NLTQBLABSICT/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/LPTCHLAQ7TCIW6NLTQBLABSICT/action/timestamp_anchor","attest_storage":"https://pith.science/pith/LPTCHLAQ7TCIW6NLTQBLABSICT/action/storage_attestation","attest_author":"https://pith.science/pith/LPTCHLAQ7TCIW6NLTQBLABSICT/action/author_attestation","sign_citation":"https://pith.science/pith/LPTCHLAQ7TCIW6NLTQBLABSICT/action/citation_signature","submit_replication":"https://pith.science/pith/LPTCHLAQ7TCIW6NLTQBLABSICT/action/replication_record"}},"created_at":"2026-05-18T00:27:05.526702+00:00","updated_at":"2026-05-18T00:27:05.526702+00:00"}