{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2010:QLNMV2L3ET7J4NDSYM2JNJFGTS","short_pith_number":"pith:QLNMV2L3","canonical_record":{"source":{"id":"1004.4656","kind":"arxiv","version":3},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2010-04-26T21:02:10Z","cross_cats_sorted":["cs.PL"],"title_canon_sha256":"91437a22dbf22f7158d2f125a870c585f16ff3b949bcc2bb560985a76eaa409b","abstract_canon_sha256":"9017f18a0496b9ea52db557665f43598eef827bb75ac13ad1114ea47f9479d96"},"schema_version":"1.0"},"canonical_sha256":"82dacae97b24fe9e3472c33496a4a69c9f862fb7a88ee37470f828cf062e1c98","source":{"kind":"arxiv","id":"1004.4656","version":3},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1004.4656","created_at":"2026-05-18T04:09:25Z"},{"alias_kind":"arxiv_version","alias_value":"1004.4656v3","created_at":"2026-05-18T04:09:25Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1004.4656","created_at":"2026-05-18T04:09:25Z"},{"alias_kind":"pith_short_12","alias_value":"QLNMV2L3ET7J","created_at":"2026-05-18T12:26:12Z"},{"alias_kind":"pith_short_16","alias_value":"QLNMV2L3ET7J4NDS","created_at":"2026-05-18T12:26:12Z"},{"alias_kind":"pith_short_8","alias_value":"QLNMV2L3","created_at":"2026-05-18T12:26:12Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2010:QLNMV2L3ET7J4NDSYM2JNJFGTS","target":"record","payload":{"canonical_record":{"source":{"id":"1004.4656","kind":"arxiv","version":3},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2010-04-26T21:02:10Z","cross_cats_sorted":["cs.PL"],"title_canon_sha256":"91437a22dbf22f7158d2f125a870c585f16ff3b949bcc2bb560985a76eaa409b","abstract_canon_sha256":"9017f18a0496b9ea52db557665f43598eef827bb75ac13ad1114ea47f9479d96"},"schema_version":"1.0"},"canonical_sha256":"82dacae97b24fe9e3472c33496a4a69c9f862fb7a88ee37470f828cf062e1c98","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T04:09:25.428582Z","signature_b64":"sLlL+jTCTkV+rBEZgL73ScYLnGLjx7tJ2ORkeWd+NDBdy47RRYG5ppfqU55OMfLeeNyWiA4eeTmFUPF3JschCg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"82dacae97b24fe9e3472c33496a4a69c9f862fb7a88ee37470f828cf062e1c98","last_reissued_at":"2026-05-18T04:09:25.428101Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T04:09:25.428101Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1004.4656","source_version":3,"attestation_state":"computed"},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-05-18T04:09:25Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"RkXLkys3Tx6lR67x4CszM3Lh5A/i5cHldOIg5DPrk1xw4lL8QoYM4vrdldtdSKglmTNdWkz3h5JKBBDuY15iAA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-31T01:16:45.613206Z"},"content_sha256":"63062477c0d660b3346264785c28d0cc74b8030be04a9722415986b5b1a69a4f","schema_version":"1.0","event_id":"sha256:63062477c0d660b3346264785c28d0cc74b8030be04a9722415986b5b1a69a4f"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2010:QLNMV2L3ET7J4NDSYM2JNJFGTS","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Verification of Object-Oriented Programs: a Transformational Approach","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.PL"],"primary_cat":"cs.LO","authors_text":"Ernst-Ruediger Olderog, Frank S. de Boer, Krzysztof R. Apt, Stijn de Gouw","submitted_at":"2010-04-26T21:02:10Z","abstract_excerpt":"We show that verification of object-oriented programs by means of the assertional method can be achieved in a simple way by exploiting a syntax-directed transformation from object-oriented programs to recursive programs. This transformation suggests natural proofs rules and its correctness helps us to establish soundness and relative completeness of the proposed proof system. One of the difficulties is how to properly deal in the assertion language with the instance variables and aliasing. The discussed programming language supports arrays, instance variables, failures and recursive methods wi"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1004.4656","kind":"arxiv","version":3},"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"},"verdict_id":null},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-05-18T04:09:25Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"WQfaGqXA9drumbWqzPZ8dfEG4PKswPIJj70rMB41IZyDiztZGafGcNAWNEAr026KZJdPfaut6yTguBG0gHijAw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-31T01:16:45.613714Z"},"content_sha256":"0c408736ab7263c601ad3eee6d8c685da2ad7f5959d9db5e1c547561292e4d2f","schema_version":"1.0","event_id":"sha256:0c408736ab7263c601ad3eee6d8c685da2ad7f5959d9db5e1c547561292e4d2f"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/QLNMV2L3ET7J4NDSYM2JNJFGTS/bundle.json","state_url":"https://pith.science/pith/QLNMV2L3ET7J4NDSYM2JNJFGTS/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/QLNMV2L3ET7J4NDSYM2JNJFGTS/bundle.json","status":"primary"}],"public_keys":[{"key_id":"pith-v1-2026-05","algorithm":"ed25519","format":"raw","public_key_b64":"stVStoiQhXFxp4s2pdzPNoqVNBMojDU/fJ2db5S3CbM=","public_key_hex":"b2d552b68890857171a78b36a5dccf368a953413288c353f7c9d9d6f94b709b3","fingerprint_sha256_b32_first128bits":"RVFV5Z2OI2J3ZUO7ERDEBCYNKS","fingerprint_sha256_hex":"8d4b5ee74e4693bcd1df2446408b0d54","rotates_at":null,"url":"https://pith.science/pith-signing-key.json","notes":"Pith uses this Ed25519 key to sign canonical record SHA-256 digests. Verify with: ed25519_verify(public_key, message=canonical_sha256_bytes, signature=base64decode(signature_b64))."}],"merge_version":"pith-open-graph-merge-v1","built_at":"2026-05-31T01:16:45Z","links":{"resolver":"https://pith.science/pith/QLNMV2L3ET7J4NDSYM2JNJFGTS","bundle":"https://pith.science/pith/QLNMV2L3ET7J4NDSYM2JNJFGTS/bundle.json","state":"https://pith.science/pith/QLNMV2L3ET7J4NDSYM2JNJFGTS/state.json","well_known_bundle":"https://pith.science/.well-known/pith/QLNMV2L3ET7J4NDSYM2JNJFGTS/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2010:QLNMV2L3ET7J4NDSYM2JNJFGTS","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":"9017f18a0496b9ea52db557665f43598eef827bb75ac13ad1114ea47f9479d96","cross_cats_sorted":["cs.PL"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2010-04-26T21:02:10Z","title_canon_sha256":"91437a22dbf22f7158d2f125a870c585f16ff3b949bcc2bb560985a76eaa409b"},"schema_version":"1.0","source":{"id":"1004.4656","kind":"arxiv","version":3}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1004.4656","created_at":"2026-05-18T04:09:25Z"},{"alias_kind":"arxiv_version","alias_value":"1004.4656v3","created_at":"2026-05-18T04:09:25Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1004.4656","created_at":"2026-05-18T04:09:25Z"},{"alias_kind":"pith_short_12","alias_value":"QLNMV2L3ET7J","created_at":"2026-05-18T12:26:12Z"},{"alias_kind":"pith_short_16","alias_value":"QLNMV2L3ET7J4NDS","created_at":"2026-05-18T12:26:12Z"},{"alias_kind":"pith_short_8","alias_value":"QLNMV2L3","created_at":"2026-05-18T12:26:12Z"}],"graph_snapshots":[{"event_id":"sha256:0c408736ab7263c601ad3eee6d8c685da2ad7f5959d9db5e1c547561292e4d2f","target":"graph","created_at":"2026-05-18T04:09:25Z","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 show that verification of object-oriented programs by means of the assertional method can be achieved in a simple way by exploiting a syntax-directed transformation from object-oriented programs to recursive programs. This transformation suggests natural proofs rules and its correctness helps us to establish soundness and relative completeness of the proposed proof system. One of the difficulties is how to properly deal in the assertion language with the instance variables and aliasing. The discussed programming language supports arrays, instance variables, failures and recursive methods wi","authors_text":"Ernst-Ruediger Olderog, Frank S. de Boer, Krzysztof R. Apt, Stijn de Gouw","cross_cats":["cs.PL"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2010-04-26T21:02:10Z","title":"Verification of Object-Oriented Programs: a Transformational Approach"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1004.4656","kind":"arxiv","version":3},"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:63062477c0d660b3346264785c28d0cc74b8030be04a9722415986b5b1a69a4f","target":"record","created_at":"2026-05-18T04:09:25Z","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":"9017f18a0496b9ea52db557665f43598eef827bb75ac13ad1114ea47f9479d96","cross_cats_sorted":["cs.PL"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2010-04-26T21:02:10Z","title_canon_sha256":"91437a22dbf22f7158d2f125a870c585f16ff3b949bcc2bb560985a76eaa409b"},"schema_version":"1.0","source":{"id":"1004.4656","kind":"arxiv","version":3}},"canonical_sha256":"82dacae97b24fe9e3472c33496a4a69c9f862fb7a88ee37470f828cf062e1c98","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"82dacae97b24fe9e3472c33496a4a69c9f862fb7a88ee37470f828cf062e1c98","first_computed_at":"2026-05-18T04:09:25.428101Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T04:09:25.428101Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"sLlL+jTCTkV+rBEZgL73ScYLnGLjx7tJ2ORkeWd+NDBdy47RRYG5ppfqU55OMfLeeNyWiA4eeTmFUPF3JschCg==","signature_status":"signed_v1","signed_at":"2026-05-18T04:09:25.428582Z","signed_message":"canonical_sha256_bytes"},"source_id":"1004.4656","source_kind":"arxiv","source_version":3}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:63062477c0d660b3346264785c28d0cc74b8030be04a9722415986b5b1a69a4f","sha256:0c408736ab7263c601ad3eee6d8c685da2ad7f5959d9db5e1c547561292e4d2f"],"state_sha256":"41167b8dd35a0b0d42e0a649b2dade8673a1ddef3c147409cdf3731bb1298f22"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"hlnvuqtnI9mh+Yyi5+kE8y/yrYA1draeOZC3dYDe7iYQpqH84PvDl6ni0cP6hb4x0DW2h1Sa0z4E7Gnxy1tEBA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-31T01:16:45.616968Z","bundle_sha256":"20bb125a863675aad8d155daa1f319a1e0dca84b241aecc18e5e722fb03b65c6"}}