{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2009:G633MUNUOJYCLF456S6V76DFZG","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":"67e42ffc4343f97924deaec45289017ae477034d1ec351b131420ed1e705874e","cross_cats_sorted":["cs.LO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2009-06-07T11:42:45Z","title_canon_sha256":"74faffef821516ebbdd4d4cf3d0da5ce636cf2b953ce7701ae6ee765153fcc67"},"schema_version":"1.0","source":{"id":"0906.1350","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"0906.1350","created_at":"2026-05-18T01:37:40Z"},{"alias_kind":"arxiv_version","alias_value":"0906.1350v2","created_at":"2026-05-18T01:37:40Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.0906.1350","created_at":"2026-05-18T01:37:40Z"},{"alias_kind":"pith_short_12","alias_value":"G633MUNUOJYC","created_at":"2026-05-18T12:25:59Z"},{"alias_kind":"pith_short_16","alias_value":"G633MUNUOJYCLF45","created_at":"2026-05-18T12:25:59Z"},{"alias_kind":"pith_short_8","alias_value":"G633MUNU","created_at":"2026-05-18T12:25:59Z"}],"graph_snapshots":[{"event_id":"sha256:9270cd8c46f0e7a154c64bdb516e7af4fab4e1d16d95d71becf2698ff2306316","target":"graph","created_at":"2026-05-18T01:37:40Z","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":"Step-indexed semantic interpretations of types were proposed as an alternative to purely syntactic proofs of type safety using subject reduction. The types are interpreted as sets of values indexed by the number of computation steps for which these values are guaranteed to behave like proper elements of the type. Building on work by Ahmed, Appel and others, we introduce a step-indexed semantics for the imperative object calculus of Abadi and Cardelli. Providing a semantic account of this calculus using more `traditional', domain-theoretic approaches has proved challenging due to the combinatio","authors_text":"Catalin Hritcu, Jan Schwinghammer","cross_cats":["cs.LO"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2009-06-07T11:42:45Z","title":"A Step-indexed Semantics of Imperative Objects"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"0906.1350","kind":"arxiv","version":2},"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:99cfada168080edf4c50f0d68cde2305d8bcd7185cc219d9a633687d06e40634","target":"record","created_at":"2026-05-18T01:37:40Z","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":"67e42ffc4343f97924deaec45289017ae477034d1ec351b131420ed1e705874e","cross_cats_sorted":["cs.LO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2009-06-07T11:42:45Z","title_canon_sha256":"74faffef821516ebbdd4d4cf3d0da5ce636cf2b953ce7701ae6ee765153fcc67"},"schema_version":"1.0","source":{"id":"0906.1350","kind":"arxiv","version":2}},"canonical_sha256":"37b7b651b4727025979df4bd5ff865c99098c451eeb7986f83dcf34d4f1b735b","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"37b7b651b4727025979df4bd5ff865c99098c451eeb7986f83dcf34d4f1b735b","first_computed_at":"2026-05-18T01:37:40.365880Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T01:37:40.365880Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"MRDA7EMbhNX7ahWOfSBgPd3Q8BeeEsix1HtMMK9X3jHL3jOtmXqeMNrjunBskDH8SfvybJATvu5lxQuo4dDnCg==","signature_status":"signed_v1","signed_at":"2026-05-18T01:37:40.366669Z","signed_message":"canonical_sha256_bytes"},"source_id":"0906.1350","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:99cfada168080edf4c50f0d68cde2305d8bcd7185cc219d9a633687d06e40634","sha256:9270cd8c46f0e7a154c64bdb516e7af4fab4e1d16d95d71becf2698ff2306316"],"state_sha256":"46fc8040adc46fd3cec83d0b859e94ae397f11fa504ee99cdb42e3f5e94b652a"}