{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2010:5GLR5CILFSUMXZFEYQYLU3DVAH","short_pith_number":"pith:5GLR5CIL","schema_version":"1.0","canonical_sha256":"e9971e890b2ca8cbe4a4c430ba6c7501ec4b131baa94fcebc88eaf3d820f3416","source":{"kind":"arxiv","id":"1007.3878","version":4},"attestation_state":"computed","paper":{"title":"Complexity of Data Dependence problems for Program Schemas with Concurrency","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.PL"],"primary_cat":"cs.CC","authors_text":"Michael R Laurence, Robert M Hierons, Sebastian Danicic","submitted_at":"2010-07-22T13:10:18Z","abstract_excerpt":"The problem of deciding whether one point in a program is data dependent upon another is fundamental to program analysis and has been widely studied. In this paper we consider this problem at the abstraction level of program schemas in which computations occur in the Herbrand domain of terms and predicate symbols, which represent arbitrary predicate functions, are allowed. Given a vertex l in the flowchart of a schema S having only equality (variable copying) assignments and variables v,w, we show that it is PSPACE-hard to decide whether there exists an execution of a program defined by S in w"},"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":"1007.3878","kind":"arxiv","version":4},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CC","submitted_at":"2010-07-22T13:10:18Z","cross_cats_sorted":["cs.PL"],"title_canon_sha256":"5f6396d4045d46e431305cb04c485977fabb6f735b54a078b90bc8ef722430b0","abstract_canon_sha256":"6d21e9e3e6ec530355fee67c60e106db1378646125349e09ba3f895ba364773b"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T04:24:36.291465Z","signature_b64":"33euwWFKtLys3Ehs+nqPAo6IkE5ocrUs2Lsk0ClgW5wtA83oSXLMCEjBWESTe5JVoqsp20NlJEORDpb2TzD2Cw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"e9971e890b2ca8cbe4a4c430ba6c7501ec4b131baa94fcebc88eaf3d820f3416","last_reissued_at":"2026-05-18T04:24:36.291023Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T04:24:36.291023Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Complexity of Data Dependence problems for Program Schemas with Concurrency","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.PL"],"primary_cat":"cs.CC","authors_text":"Michael R Laurence, Robert M Hierons, Sebastian Danicic","submitted_at":"2010-07-22T13:10:18Z","abstract_excerpt":"The problem of deciding whether one point in a program is data dependent upon another is fundamental to program analysis and has been widely studied. In this paper we consider this problem at the abstraction level of program schemas in which computations occur in the Herbrand domain of terms and predicate symbols, which represent arbitrary predicate functions, are allowed. Given a vertex l in the flowchart of a schema S having only equality (variable copying) assignments and variables v,w, we show that it is PSPACE-hard to decide whether there exists an execution of a program defined by S in w"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1007.3878","kind":"arxiv","version":4},"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":"1007.3878","created_at":"2026-05-18T04:24:36.291092+00:00"},{"alias_kind":"arxiv_version","alias_value":"1007.3878v4","created_at":"2026-05-18T04:24:36.291092+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1007.3878","created_at":"2026-05-18T04:24:36.291092+00:00"},{"alias_kind":"pith_short_12","alias_value":"5GLR5CILFSUM","created_at":"2026-05-18T12:26:04.259169+00:00"},{"alias_kind":"pith_short_16","alias_value":"5GLR5CILFSUMXZFE","created_at":"2026-05-18T12:26:04.259169+00:00"},{"alias_kind":"pith_short_8","alias_value":"5GLR5CIL","created_at":"2026-05-18T12:26:04.259169+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/5GLR5CILFSUMXZFEYQYLU3DVAH","json":"https://pith.science/pith/5GLR5CILFSUMXZFEYQYLU3DVAH.json","graph_json":"https://pith.science/api/pith-number/5GLR5CILFSUMXZFEYQYLU3DVAH/graph.json","events_json":"https://pith.science/api/pith-number/5GLR5CILFSUMXZFEYQYLU3DVAH/events.json","paper":"https://pith.science/paper/5GLR5CIL"},"agent_actions":{"view_html":"https://pith.science/pith/5GLR5CILFSUMXZFEYQYLU3DVAH","download_json":"https://pith.science/pith/5GLR5CILFSUMXZFEYQYLU3DVAH.json","view_paper":"https://pith.science/paper/5GLR5CIL","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1007.3878&json=true","fetch_graph":"https://pith.science/api/pith-number/5GLR5CILFSUMXZFEYQYLU3DVAH/graph.json","fetch_events":"https://pith.science/api/pith-number/5GLR5CILFSUMXZFEYQYLU3DVAH/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/5GLR5CILFSUMXZFEYQYLU3DVAH/action/timestamp_anchor","attest_storage":"https://pith.science/pith/5GLR5CILFSUMXZFEYQYLU3DVAH/action/storage_attestation","attest_author":"https://pith.science/pith/5GLR5CILFSUMXZFEYQYLU3DVAH/action/author_attestation","sign_citation":"https://pith.science/pith/5GLR5CILFSUMXZFEYQYLU3DVAH/action/citation_signature","submit_replication":"https://pith.science/pith/5GLR5CILFSUMXZFEYQYLU3DVAH/action/replication_record"}},"created_at":"2026-05-18T04:24:36.291092+00:00","updated_at":"2026-05-18T04:24:36.291092+00:00"}