{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2017:VU62QB7CWHMQNVO6MJAV4Z26QF","short_pith_number":"pith:VU62QB7C","schema_version":"1.0","canonical_sha256":"ad3da807e2b1d906d5de62415e675e816948a8ab59e59d7263f9a77a939d5c79","source":{"kind":"arxiv","id":"1701.08114","version":1},"attestation_state":"computed","paper":{"title":"Effective Analysis of C Programs by Rewriting Variability","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.PL","authors_text":"Aleksandar S. Dimovski (IT University of Copenhagen, Alexandru Florin Iosif-Lazar (IT University of Copenhagen, Andrzej Wasowski (IT University of Copenhagen, Claus Brabrand (IT University of Copenhagen, Denmark), Jean Melo (IT University of Copenhagen","submitted_at":"2017-01-27T16:55:51Z","abstract_excerpt":"Context. Variability-intensive programs (program families) appear in many application areas and for many reasons today. Different family members, called variants, are derived by switching statically configurable options (features) on and off, while reuse of the common code is maximized. \n\nInquiry. Verification of program families is challenging since the number of variants is exponential in the number of features. Existing single-program analysis and verification tools cannot be applied directly to program families, and designing and implementing the corresponding variability-aware versions is"},"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":"1701.08114","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2017-01-27T16:55:51Z","cross_cats_sorted":[],"title_canon_sha256":"0efa9af0d7ee289925416d623442496e16c68f0ac597a06039676eeff16ca000","abstract_canon_sha256":"54cee93de7c16ab264ae582fdc188dbf374650b3ad2a56e6c0749804d2b61060"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:51:39.282927Z","signature_b64":"nRH2YrSiCsNsq8wm2sTDDx9TTdAibopb19Us6gjyh1t5LuBBXey2fW9q79RI4mbwxDy/gseOE2+m+oqrNZX1Ag==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"ad3da807e2b1d906d5de62415e675e816948a8ab59e59d7263f9a77a939d5c79","last_reissued_at":"2026-05-18T00:51:39.282561Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:51:39.282561Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Effective Analysis of C Programs by Rewriting Variability","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.PL","authors_text":"Aleksandar S. Dimovski (IT University of Copenhagen, Alexandru Florin Iosif-Lazar (IT University of Copenhagen, Andrzej Wasowski (IT University of Copenhagen, Claus Brabrand (IT University of Copenhagen, Denmark), Jean Melo (IT University of Copenhagen","submitted_at":"2017-01-27T16:55:51Z","abstract_excerpt":"Context. Variability-intensive programs (program families) appear in many application areas and for many reasons today. Different family members, called variants, are derived by switching statically configurable options (features) on and off, while reuse of the common code is maximized. \n\nInquiry. Verification of program families is challenging since the number of variants is exponential in the number of features. Existing single-program analysis and verification tools cannot be applied directly to program families, and designing and implementing the corresponding variability-aware versions is"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1701.08114","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":"1701.08114","created_at":"2026-05-18T00:51:39.282629+00:00"},{"alias_kind":"arxiv_version","alias_value":"1701.08114v1","created_at":"2026-05-18T00:51:39.282629+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1701.08114","created_at":"2026-05-18T00:51:39.282629+00:00"},{"alias_kind":"pith_short_12","alias_value":"VU62QB7CWHMQ","created_at":"2026-05-18T12:31:49.984773+00:00"},{"alias_kind":"pith_short_16","alias_value":"VU62QB7CWHMQNVO6","created_at":"2026-05-18T12:31:49.984773+00:00"},{"alias_kind":"pith_short_8","alias_value":"VU62QB7C","created_at":"2026-05-18T12:31:49.984773+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/VU62QB7CWHMQNVO6MJAV4Z26QF","json":"https://pith.science/pith/VU62QB7CWHMQNVO6MJAV4Z26QF.json","graph_json":"https://pith.science/api/pith-number/VU62QB7CWHMQNVO6MJAV4Z26QF/graph.json","events_json":"https://pith.science/api/pith-number/VU62QB7CWHMQNVO6MJAV4Z26QF/events.json","paper":"https://pith.science/paper/VU62QB7C"},"agent_actions":{"view_html":"https://pith.science/pith/VU62QB7CWHMQNVO6MJAV4Z26QF","download_json":"https://pith.science/pith/VU62QB7CWHMQNVO6MJAV4Z26QF.json","view_paper":"https://pith.science/paper/VU62QB7C","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1701.08114&json=true","fetch_graph":"https://pith.science/api/pith-number/VU62QB7CWHMQNVO6MJAV4Z26QF/graph.json","fetch_events":"https://pith.science/api/pith-number/VU62QB7CWHMQNVO6MJAV4Z26QF/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/VU62QB7CWHMQNVO6MJAV4Z26QF/action/timestamp_anchor","attest_storage":"https://pith.science/pith/VU62QB7CWHMQNVO6MJAV4Z26QF/action/storage_attestation","attest_author":"https://pith.science/pith/VU62QB7CWHMQNVO6MJAV4Z26QF/action/author_attestation","sign_citation":"https://pith.science/pith/VU62QB7CWHMQNVO6MJAV4Z26QF/action/citation_signature","submit_replication":"https://pith.science/pith/VU62QB7CWHMQNVO6MJAV4Z26QF/action/replication_record"}},"created_at":"2026-05-18T00:51:39.282629+00:00","updated_at":"2026-05-18T00:51:39.282629+00:00"}