{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2014:GZXYPD4BGI67JGJVWXEGLYNRMX","short_pith_number":"pith:GZXYPD4B","schema_version":"1.0","canonical_sha256":"366f878f81323df49935b5c865e1b165c9eea4c996f990c56dc9998662288d16","source":{"kind":"arxiv","id":"1405.7898","version":2},"attestation_state":"computed","paper":{"title":"Towards Assertion-based Debugging of Higher-Order (C)LP Programs","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.PL","authors_text":"Jos\\'e F. Morales, Manuel V. Hermenegildo, Nataliia Stulova","submitted_at":"2014-05-14T08:25:55Z","abstract_excerpt":"Higher-order constructs extend the expressiveness of first-order (Constraint) Logic Programming ((C)LP) both syntactically and semantically. At the same time assertions have been in use for some time in (C)LP systems helping programmers detect errors and validate programs. However, these assertion-based extensions to (C)LP have not been integrated well with higher order to date. Our work contributes to filling this gap by extending the assertion-based approach to error detection and program validation to the higher-order context, within (C)LP. It is based on an extension of properties and asse"},"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":"1405.7898","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2014-05-14T08:25:55Z","cross_cats_sorted":[],"title_canon_sha256":"cba89d0b697060998e9aaabb72f1e74faa3b252ca4cd89c75a7c358bd2171fc7","abstract_canon_sha256":"cf9128bf04919c22757d7dffdbfa3501b91f80b6747781bec9476527db951f64"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T02:50:42.095289Z","signature_b64":"yjWS//Y4A+o+B3M9vHXV58ga84Xaux2qQc16QZSeFn/i7UhMQiuZBMlZM/Lykc8//v4V9ZonLAOmANjdtbJAAQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"366f878f81323df49935b5c865e1b165c9eea4c996f990c56dc9998662288d16","last_reissued_at":"2026-05-18T02:50:42.094692Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T02:50:42.094692Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Towards Assertion-based Debugging of Higher-Order (C)LP Programs","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.PL","authors_text":"Jos\\'e F. Morales, Manuel V. Hermenegildo, Nataliia Stulova","submitted_at":"2014-05-14T08:25:55Z","abstract_excerpt":"Higher-order constructs extend the expressiveness of first-order (Constraint) Logic Programming ((C)LP) both syntactically and semantically. At the same time assertions have been in use for some time in (C)LP systems helping programmers detect errors and validate programs. However, these assertion-based extensions to (C)LP have not been integrated well with higher order to date. Our work contributes to filling this gap by extending the assertion-based approach to error detection and program validation to the higher-order context, within (C)LP. It is based on an extension of properties and asse"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1405.7898","kind":"arxiv","version":2},"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":"1405.7898","created_at":"2026-05-18T02:50:42.094781+00:00"},{"alias_kind":"arxiv_version","alias_value":"1405.7898v2","created_at":"2026-05-18T02:50:42.094781+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1405.7898","created_at":"2026-05-18T02:50:42.094781+00:00"},{"alias_kind":"pith_short_12","alias_value":"GZXYPD4BGI67","created_at":"2026-05-18T12:28:30.664211+00:00"},{"alias_kind":"pith_short_16","alias_value":"GZXYPD4BGI67JGJV","created_at":"2026-05-18T12:28:30.664211+00:00"},{"alias_kind":"pith_short_8","alias_value":"GZXYPD4B","created_at":"2026-05-18T12:28:30.664211+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/GZXYPD4BGI67JGJVWXEGLYNRMX","json":"https://pith.science/pith/GZXYPD4BGI67JGJVWXEGLYNRMX.json","graph_json":"https://pith.science/api/pith-number/GZXYPD4BGI67JGJVWXEGLYNRMX/graph.json","events_json":"https://pith.science/api/pith-number/GZXYPD4BGI67JGJVWXEGLYNRMX/events.json","paper":"https://pith.science/paper/GZXYPD4B"},"agent_actions":{"view_html":"https://pith.science/pith/GZXYPD4BGI67JGJVWXEGLYNRMX","download_json":"https://pith.science/pith/GZXYPD4BGI67JGJVWXEGLYNRMX.json","view_paper":"https://pith.science/paper/GZXYPD4B","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1405.7898&json=true","fetch_graph":"https://pith.science/api/pith-number/GZXYPD4BGI67JGJVWXEGLYNRMX/graph.json","fetch_events":"https://pith.science/api/pith-number/GZXYPD4BGI67JGJVWXEGLYNRMX/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/GZXYPD4BGI67JGJVWXEGLYNRMX/action/timestamp_anchor","attest_storage":"https://pith.science/pith/GZXYPD4BGI67JGJVWXEGLYNRMX/action/storage_attestation","attest_author":"https://pith.science/pith/GZXYPD4BGI67JGJVWXEGLYNRMX/action/author_attestation","sign_citation":"https://pith.science/pith/GZXYPD4BGI67JGJVWXEGLYNRMX/action/citation_signature","submit_replication":"https://pith.science/pith/GZXYPD4BGI67JGJVWXEGLYNRMX/action/replication_record"}},"created_at":"2026-05-18T02:50:42.094781+00:00","updated_at":"2026-05-18T02:50:42.094781+00:00"}