{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2015:U5UXYMMEBJBD3IYVVNPHOQSLEP","short_pith_number":"pith:U5UXYMME","schema_version":"1.0","canonical_sha256":"a7697c31840a423da315ab5e77424b23e216209d247e48e8136dd4c7698eef0b","source":{"kind":"arxiv","id":"1507.05986","version":2},"attestation_state":"computed","paper":{"title":"Practical Run-time Checking via Unobtrusive Property Caching","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":"2015-07-21T21:07:24Z","abstract_excerpt":"The use of annotations, referred to as assertions or contracts, to describe program properties for which run-time tests are to be generated, has become frequent in dynamic programing languages. However, the frameworks proposed to support such run-time testing generally incur high time and/or space overheads over standard program execution. We present an approach for reducing this overhead that is based on the use of memoization to cache intermediate results of check evaluation, avoiding repeated checking of previously verified properties. Compared to approaches that reduce checking frequency, "},"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":"1507.05986","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2015-07-21T21:07:24Z","cross_cats_sorted":[],"title_canon_sha256":"9a3ff2673d62c2d740ad3b90ad0c354faeb606a300b4921ecd73e7489dae44f7","abstract_canon_sha256":"5cafe9c2b3092904101cc87749831feab84bd2b106f83a2f92fc67ebb6445cca"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T00:42:11.999869Z","signature_b64":"pofq3ZTWHLupOEDBvH+wMPDN9aTqSspIdilKmdLu2BrP9wu2OfVzOd+62tDG72stWR2z3KPZYSVCPI/LYGSLBA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"a7697c31840a423da315ab5e77424b23e216209d247e48e8136dd4c7698eef0b","last_reissued_at":"2026-07-05T00:42:11.999451Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T00:42:11.999451Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Practical Run-time Checking via Unobtrusive Property Caching","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":"2015-07-21T21:07:24Z","abstract_excerpt":"The use of annotations, referred to as assertions or contracts, to describe program properties for which run-time tests are to be generated, has become frequent in dynamic programing languages. However, the frameworks proposed to support such run-time testing generally incur high time and/or space overheads over standard program execution. We present an approach for reducing this overhead that is based on the use of memoization to cache intermediate results of check evaluation, avoiding repeated checking of previously verified properties. Compared to approaches that reduce checking frequency, "},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1507.05986","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":""},"integrity":{"clean":true,"summary":{"advisory":0,"critical":0,"by_detector":{},"informational":0},"endpoint":"/pith/1507.05986/integrity.json","findings":[],"available":true,"detectors_run":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938"},"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":"1507.05986","created_at":"2026-07-05T00:42:11.999510+00:00"},{"alias_kind":"arxiv_version","alias_value":"1507.05986v2","created_at":"2026-07-05T00:42:11.999510+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1507.05986","created_at":"2026-07-05T00:42:11.999510+00:00"},{"alias_kind":"pith_short_12","alias_value":"U5UXYMMEBJBD","created_at":"2026-07-05T00:42:11.999510+00:00"},{"alias_kind":"pith_short_16","alias_value":"U5UXYMMEBJBD3IYV","created_at":"2026-07-05T00:42:11.999510+00:00"},{"alias_kind":"pith_short_8","alias_value":"U5UXYMME","created_at":"2026-07-05T00:42:11.999510+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/U5UXYMMEBJBD3IYVVNPHOQSLEP","json":"https://pith.science/pith/U5UXYMMEBJBD3IYVVNPHOQSLEP.json","graph_json":"https://pith.science/api/pith-number/U5UXYMMEBJBD3IYVVNPHOQSLEP/graph.json","events_json":"https://pith.science/api/pith-number/U5UXYMMEBJBD3IYVVNPHOQSLEP/events.json","paper":"https://pith.science/paper/U5UXYMME"},"agent_actions":{"view_html":"https://pith.science/pith/U5UXYMMEBJBD3IYVVNPHOQSLEP","download_json":"https://pith.science/pith/U5UXYMMEBJBD3IYVVNPHOQSLEP.json","view_paper":"https://pith.science/paper/U5UXYMME","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1507.05986&json=true","fetch_graph":"https://pith.science/api/pith-number/U5UXYMMEBJBD3IYVVNPHOQSLEP/graph.json","fetch_events":"https://pith.science/api/pith-number/U5UXYMMEBJBD3IYVVNPHOQSLEP/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/U5UXYMMEBJBD3IYVVNPHOQSLEP/action/timestamp_anchor","attest_storage":"https://pith.science/pith/U5UXYMMEBJBD3IYVVNPHOQSLEP/action/storage_attestation","attest_author":"https://pith.science/pith/U5UXYMMEBJBD3IYVVNPHOQSLEP/action/author_attestation","sign_citation":"https://pith.science/pith/U5UXYMMEBJBD3IYVVNPHOQSLEP/action/citation_signature","submit_replication":"https://pith.science/pith/U5UXYMMEBJBD3IYVVNPHOQSLEP/action/replication_record"}},"created_at":"2026-07-05T00:42:11.999510+00:00","updated_at":"2026-07-05T00:42:11.999510+00:00"}