{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2017:CK7OMVO7YCQHOLKXHUAM6ZPSY3","merge_version":"pith-open-graph-merge-v1","event_count":2,"valid_event_count":2,"invalid_event_count":0,"equivocation_count":0,"current":{"canonical_record":{"metadata":{"abstract_canon_sha256":"a324819c83f69c23480b7d25166eb7afe3713639794a8b8aa8827c79b134f459","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2017-09-23T07:55:10Z","title_canon_sha256":"fbb7a7f365ec7ed3108d7b0bb1d837247a8e2f26610969a9647f9c46aea95152"},"schema_version":"1.0","source":{"id":"1709.08016","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1709.08016","created_at":"2026-05-18T00:34:28Z"},{"alias_kind":"arxiv_version","alias_value":"1709.08016v1","created_at":"2026-05-18T00:34:28Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1709.08016","created_at":"2026-05-18T00:34:28Z"},{"alias_kind":"pith_short_12","alias_value":"CK7OMVO7YCQH","created_at":"2026-05-18T12:31:10Z"},{"alias_kind":"pith_short_16","alias_value":"CK7OMVO7YCQHOLKX","created_at":"2026-05-18T12:31:10Z"},{"alias_kind":"pith_short_8","alias_value":"CK7OMVO7","created_at":"2026-05-18T12:31:10Z"}],"graph_snapshots":[{"event_id":"sha256:c384a22512c3cafa7b9a614fbbf7b1e46c276f574f177ab112dc79805ff864aa","target":"graph","created_at":"2026-05-18T00:34:28Z","signer":{"key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signer_id":"pith.science","signer_type":"pith_registry"},"payload":{"graph_snapshot":{"author_claims":{"count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57","strong_count":0},"builder_version":"pith-number-builder-2026-05-17-v1","claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"formal_canon":{"evidence_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"paper":{"abstract_excerpt":"Several applications of slicing require a program to be sliced with respect to more than one slicing criterion. Program specialization, parallelization and cohesion measurement are examples of such applications. These applications can benefit from an incremental static slicing method in which a significant extent of the computations for slicing with respect to one criterion could be reused for another. In this paper, we consider the problem of incremental slicing of functional programs. We first present a non-incremental version of the slicing algorithm which does a polyvariant analysis 1 of f","authors_text":"Amey Karkare, Amitabha Sanyal, Prasanna Kumar K.","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2017-09-23T07:55:10Z","title":"An Incremental Slicing Method for Functional Programs"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1709.08016","kind":"arxiv","version":1},"verdict":{"created_at":null,"id":null,"model_set":{},"one_line_summary":"","pipeline_version":null,"pith_extraction_headline":"","strongest_claim":"","weakest_assumption":""}},"verdict_id":null}}],"author_attestations":[],"timestamp_anchors":[],"storage_attestations":[],"citation_signatures":[],"replication_records":[],"corrections":[],"mirror_hints":[],"record_created":{"event_id":"sha256:cfbada1fe80bfb1bd400e5c26d4d3d926471c756de1b5bc1605d972a03b3f011","target":"record","created_at":"2026-05-18T00:34:28Z","signer":{"key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signer_id":"pith.science","signer_type":"pith_registry"},"payload":{"attestation_state":"computed","canonical_record":{"metadata":{"abstract_canon_sha256":"a324819c83f69c23480b7d25166eb7afe3713639794a8b8aa8827c79b134f459","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2017-09-23T07:55:10Z","title_canon_sha256":"fbb7a7f365ec7ed3108d7b0bb1d837247a8e2f26610969a9647f9c46aea95152"},"schema_version":"1.0","source":{"id":"1709.08016","kind":"arxiv","version":1}},"canonical_sha256":"12bee655dfc0a0772d573d00cf65f2c6ec4321c425486a247d6bcf2c5be49c9e","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"12bee655dfc0a0772d573d00cf65f2c6ec4321c425486a247d6bcf2c5be49c9e","first_computed_at":"2026-05-18T00:34:28.229379Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:34:28.229379Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"R3Qxfn1IsVOUnXMgxJ+5YnqcULIQD691yeFFaC35Ig08L0SPMCW09Q3cJgcILM8eogc+zu4kaqS8B570btPbDA==","signature_status":"signed_v1","signed_at":"2026-05-18T00:34:28.229849Z","signed_message":"canonical_sha256_bytes"},"source_id":"1709.08016","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:cfbada1fe80bfb1bd400e5c26d4d3d926471c756de1b5bc1605d972a03b3f011","sha256:c384a22512c3cafa7b9a614fbbf7b1e46c276f574f177ab112dc79805ff864aa"],"state_sha256":"3aa60224a3792b7bd5493c9fc313930b6152b5f7c1186cfdfc3695fcc19945bd"}