{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2011:LUSWH2F4P2YHQH6X3ARDPZ44EM","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":"ca0be9fc2d29610e260892f8fe72cfa49580ecbc817720fea7b62ad43372c8f4","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2011-07-16T03:03:10Z","title_canon_sha256":"1b8c5876ca08ef21fb534a6dc10f1e6d33458ec43e64379be13211109f4a5570"},"schema_version":"1.0","source":{"id":"1107.3193","kind":"arxiv","version":10}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1107.3193","created_at":"2026-05-18T02:44:55Z"},{"alias_kind":"arxiv_version","alias_value":"1107.3193v10","created_at":"2026-05-18T02:44:55Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1107.3193","created_at":"2026-05-18T02:44:55Z"},{"alias_kind":"pith_short_12","alias_value":"LUSWH2F4P2YH","created_at":"2026-05-18T12:26:34Z"},{"alias_kind":"pith_short_16","alias_value":"LUSWH2F4P2YHQH6X","created_at":"2026-05-18T12:26:34Z"},{"alias_kind":"pith_short_8","alias_value":"LUSWH2F4","created_at":"2026-05-18T12:26:34Z"}],"graph_snapshots":[{"event_id":"sha256:e408e942e968e002e58831a0dbfd058cfe839e7bc708ee1c674c4cbbd0e53469","target":"graph","created_at":"2026-05-18T02:44: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":"A new behavior descriptive entity type called spec is proposed, which combines the traditional interface with test rules and test cases, to completely specify the desired behavior of each method, and to enforce the behavior-wise correctness of all compiled units. Using spec, a new programming paradigm is proposed, which allows the separation programming space into 1) a behavior domain to aggregate all behavior programming in the format of specs, 2) a object domain to bind each concrete spec to its data representation in a particular address space, and 3) a realization domain to connect the beh","authors_text":"Chengpu Wang","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2011-07-16T03:03:10Z","title":"Type Expressiveness and Its Application in Separation of Behavior Programming and Data Management Programming"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1107.3193","kind":"arxiv","version":10},"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:fdb05ec27bda45f499ff282012994aa597a4d17d17c9f7cced3122b9664b796c","target":"record","created_at":"2026-05-18T02:44: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":"ca0be9fc2d29610e260892f8fe72cfa49580ecbc817720fea7b62ad43372c8f4","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2011-07-16T03:03:10Z","title_canon_sha256":"1b8c5876ca08ef21fb534a6dc10f1e6d33458ec43e64379be13211109f4a5570"},"schema_version":"1.0","source":{"id":"1107.3193","kind":"arxiv","version":10}},"canonical_sha256":"5d2563e8bc7eb0781fd7d82237e79c232e0f7c48e41506cea857a1f3ba19accd","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"5d2563e8bc7eb0781fd7d82237e79c232e0f7c48e41506cea857a1f3ba19accd","first_computed_at":"2026-05-18T02:44:55.415716Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T02:44:55.415716Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"qLC4cerFnUwXaVU2j+6XOXkbWqnUvEQ3MuJ6s0Vbz5ziNkvLBc3PwhZeG0+Xv+MSRY8w1iz9Hk+1m3cXIFjmBA==","signature_status":"signed_v1","signed_at":"2026-05-18T02:44:55.416189Z","signed_message":"canonical_sha256_bytes"},"source_id":"1107.3193","source_kind":"arxiv","source_version":10}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:fdb05ec27bda45f499ff282012994aa597a4d17d17c9f7cced3122b9664b796c","sha256:e408e942e968e002e58831a0dbfd058cfe839e7bc708ee1c674c4cbbd0e53469"],"state_sha256":"5832a9c830f4eac5e5af9cb869296d9b451385885e526a6fdfb14100e8c18d69"}