{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2010:J5CEXTH3DG5YSOAPBZJQ7XGL6C","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":"b9bcea24ec04db06a3a0a8d2b111a97f460add78eddf9eefdf7dec6d0dfd36e0","cross_cats_sorted":["cs.SE"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2010-11-15T14:44:59Z","title_canon_sha256":"ca98e4572fc64a1e4408b231eb35d95b068f04b316803dd51122d1ca5df3fa96"},"schema_version":"1.0","source":{"id":"1011.3407","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1011.3407","created_at":"2026-05-18T04:35:55Z"},{"alias_kind":"arxiv_version","alias_value":"1011.3407v1","created_at":"2026-05-18T04:35:55Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1011.3407","created_at":"2026-05-18T04:35:55Z"},{"alias_kind":"pith_short_12","alias_value":"J5CEXTH3DG5Y","created_at":"2026-05-18T12:26:09Z"},{"alias_kind":"pith_short_16","alias_value":"J5CEXTH3DG5YSOAP","created_at":"2026-05-18T12:26:09Z"},{"alias_kind":"pith_short_8","alias_value":"J5CEXTH3","created_at":"2026-05-18T12:26:09Z"}],"graph_snapshots":[{"event_id":"sha256:7e5b7622a5f85af13fcfc4acb8f8667238d726eef0f6e59a53a23219877e8a40","target":"graph","created_at":"2026-05-18T04:35:55Z","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":"Automated software verification is a very active field of research which has made enormous progress both in theoretical and practical aspects. Recently, an important amount of research effort has been put into applying these techniques on top of mainstream programming languages. These languages typically provide powerful features such as reflection, aliasing and polymorphism which are handy for practitioners but, in contrast, make verification a real challenge. In this work we present Pest, a simple experimental, while-style, multiprocedural, imperative programming language which was conceived","authors_text":"Daniel Gor\\'in, Diego Garbervetsky, Guido de Caso","cross_cats":["cs.SE"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2010-11-15T14:44:59Z","title":"Reducing the Number of Annotations in a Verification-oriented Imperative Language"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1011.3407","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:5d3408a80dc22ed6f1f249c663119030e820fa6bfcbcab29aca34eeff70846fa","target":"record","created_at":"2026-05-18T04:35:55Z","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":"b9bcea24ec04db06a3a0a8d2b111a97f460add78eddf9eefdf7dec6d0dfd36e0","cross_cats_sorted":["cs.SE"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2010-11-15T14:44:59Z","title_canon_sha256":"ca98e4572fc64a1e4408b231eb35d95b068f04b316803dd51122d1ca5df3fa96"},"schema_version":"1.0","source":{"id":"1011.3407","kind":"arxiv","version":1}},"canonical_sha256":"4f444bccfb19bb89380f0e530fdccbf0a33c9fd2a76cc711a4aad4df7f73ef88","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"4f444bccfb19bb89380f0e530fdccbf0a33c9fd2a76cc711a4aad4df7f73ef88","first_computed_at":"2026-05-18T04:35:55.919705Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T04:35:55.919705Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"jOJ9SrUqtoKgjd/WE1QBo9HlK6kO+zR2VxGPJwjkD0qpT1DK/TAbuOgE63McOeonTaWZKnYsqq9208EZpOsoBw==","signature_status":"signed_v1","signed_at":"2026-05-18T04:35:55.920650Z","signed_message":"canonical_sha256_bytes"},"source_id":"1011.3407","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:5d3408a80dc22ed6f1f249c663119030e820fa6bfcbcab29aca34eeff70846fa","sha256:7e5b7622a5f85af13fcfc4acb8f8667238d726eef0f6e59a53a23219877e8a40"],"state_sha256":"963fb92cd2e3880188333a2a4b2cf2c764265f163e275b7378108c2cf439e1c1"}