{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2013:A4CFRHJABRBEEGZ5UISR2MDY27","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":"4e3dad06035c11c40e314168d12e726b01a59198a446cf7724f1fa83ce04a078","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2013-07-17T14:30:17Z","title_canon_sha256":"75fa2b62701aecd550abcfda38e438235a61a89eb1b896f319d5c16152ac5579"},"schema_version":"1.0","source":{"id":"1307.4648","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1307.4648","created_at":"2026-05-18T03:18:17Z"},{"alias_kind":"arxiv_version","alias_value":"1307.4648v1","created_at":"2026-05-18T03:18:17Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1307.4648","created_at":"2026-05-18T03:18:17Z"},{"alias_kind":"pith_short_12","alias_value":"A4CFRHJABRBE","created_at":"2026-05-18T12:27:38Z"},{"alias_kind":"pith_short_16","alias_value":"A4CFRHJABRBEEGZ5","created_at":"2026-05-18T12:27:38Z"},{"alias_kind":"pith_short_8","alias_value":"A4CFRHJA","created_at":"2026-05-18T12:27:38Z"}],"graph_snapshots":[{"event_id":"sha256:f23008cc0e42a2f6216334ca3159c5645973afb82dab7517726a6799c9fce6d2","target":"graph","created_at":"2026-05-18T03:18:17Z","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":"We present a system, called CASS, for the analysis of functional logic programs. The system is generic so that various kinds of analyses (e.g., groundness, non-determinism, demanded arguments) can be easily integrated. In order to analyze larger applications consisting of dozens or hundreds of modules, CASS supports a modular and incremental analysis of programs. Moreover, it can be used by different programming tools, like documentation generators, analysis environments, program optimizers, as well as Eclipse-based development environments. For this purpose, CASS can also be invoked as a serv","authors_text":"Fabian Reck, Michael Hanus","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2013-07-17T14:30:17Z","title":"A Generic Analysis Server System for Functional Logic Programs"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1307.4648","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:8ce5718dd4dfb1b9d5de0d1a2dde084a4820103325093023cfa55860afd0fc8c","target":"record","created_at":"2026-05-18T03:18:17Z","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":"4e3dad06035c11c40e314168d12e726b01a59198a446cf7724f1fa83ce04a078","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2013-07-17T14:30:17Z","title_canon_sha256":"75fa2b62701aecd550abcfda38e438235a61a89eb1b896f319d5c16152ac5579"},"schema_version":"1.0","source":{"id":"1307.4648","kind":"arxiv","version":1}},"canonical_sha256":"0704589d200c42421b3da2251d3078d7dfe9f352d6aebeb83f1db8be6263b360","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"0704589d200c42421b3da2251d3078d7dfe9f352d6aebeb83f1db8be6263b360","first_computed_at":"2026-05-18T03:18:17.425215Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T03:18:17.425215Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"b+u0/o1R38sHfnLw5SWHVJXiwS6DSTdIdPbtcEK29Mg9M9Qm5fBVwpjjIPqZTbTLGd5lRxVvSeoigKpm+gduAQ==","signature_status":"signed_v1","signed_at":"2026-05-18T03:18:17.425785Z","signed_message":"canonical_sha256_bytes"},"source_id":"1307.4648","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:8ce5718dd4dfb1b9d5de0d1a2dde084a4820103325093023cfa55860afd0fc8c","sha256:f23008cc0e42a2f6216334ca3159c5645973afb82dab7517726a6799c9fce6d2"],"state_sha256":"4cd87c2b594beabc905f6bc347b4aecbec0963a18ad7be9b301cde5b2670f354"}