{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2011:GV5HDBYW3MNZMYDSGFP7QETOWY","short_pith_number":"pith:GV5HDBYW","schema_version":"1.0","canonical_sha256":"357a718716db1b966072315ff8126eb639af277a99e1598f24abe29830b8af4f","source":{"kind":"arxiv","id":"1110.4157","version":1},"attestation_state":"computed","paper":{"title":"Channels as Objects in Concurrent Object-Oriented Programming","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.PL","authors_text":"Joana Campos (University of Lisbon), Vasco T. Vasconcelos (University of Lisbon)","submitted_at":"2011-10-19T02:18:07Z","abstract_excerpt":"There is often a sort of a protocol associated to each class, stating when and how certain methods should be called. Given that this protocol is, if at all, described in the documentation accompanying the class, current mainstream object-oriented languages cannot provide for the verification of client code adherence against the sought class behaviour. We have defined a class-based concurrent object-oriented language that formalises such protocols in the form of usage types. Usage types are attached to class definitions, allowing for the specification of (1) the available methods, (2) the tests"},"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":"1110.4157","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2011-10-19T02:18:07Z","cross_cats_sorted":[],"title_canon_sha256":"ace30c99fe50229e952d21f149fc916585b78b4acea34aed3171d506b8c56ce7","abstract_canon_sha256":"1cb51baaef41782e1e92438bb7eca9d1d38c31fd431b865c26ac4f2cff925e15"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T04:10:38.097578Z","signature_b64":"fMMrmLZtK2rys/58LCV+duiLd9Rv3ii0RZOPM0pU0UTng82IerYhw8WHPPQNh+GO44T886xBmGqzZccNLFCpAA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"357a718716db1b966072315ff8126eb639af277a99e1598f24abe29830b8af4f","last_reissued_at":"2026-05-18T04:10:38.096851Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T04:10:38.096851Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Channels as Objects in Concurrent Object-Oriented Programming","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.PL","authors_text":"Joana Campos (University of Lisbon), Vasco T. Vasconcelos (University of Lisbon)","submitted_at":"2011-10-19T02:18:07Z","abstract_excerpt":"There is often a sort of a protocol associated to each class, stating when and how certain methods should be called. Given that this protocol is, if at all, described in the documentation accompanying the class, current mainstream object-oriented languages cannot provide for the verification of client code adherence against the sought class behaviour. We have defined a class-based concurrent object-oriented language that formalises such protocols in the form of usage types. Usage types are attached to class definitions, allowing for the specification of (1) the available methods, (2) the tests"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1110.4157","kind":"arxiv","version":1},"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"},"aliases":[{"alias_kind":"arxiv","alias_value":"1110.4157","created_at":"2026-05-18T04:10:38.096955+00:00"},{"alias_kind":"arxiv_version","alias_value":"1110.4157v1","created_at":"2026-05-18T04:10:38.096955+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1110.4157","created_at":"2026-05-18T04:10:38.096955+00:00"},{"alias_kind":"pith_short_12","alias_value":"GV5HDBYW3MNZ","created_at":"2026-05-18T12:26:30.835961+00:00"},{"alias_kind":"pith_short_16","alias_value":"GV5HDBYW3MNZMYDS","created_at":"2026-05-18T12:26:30.835961+00:00"},{"alias_kind":"pith_short_8","alias_value":"GV5HDBYW","created_at":"2026-05-18T12:26:30.835961+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/GV5HDBYW3MNZMYDSGFP7QETOWY","json":"https://pith.science/pith/GV5HDBYW3MNZMYDSGFP7QETOWY.json","graph_json":"https://pith.science/api/pith-number/GV5HDBYW3MNZMYDSGFP7QETOWY/graph.json","events_json":"https://pith.science/api/pith-number/GV5HDBYW3MNZMYDSGFP7QETOWY/events.json","paper":"https://pith.science/paper/GV5HDBYW"},"agent_actions":{"view_html":"https://pith.science/pith/GV5HDBYW3MNZMYDSGFP7QETOWY","download_json":"https://pith.science/pith/GV5HDBYW3MNZMYDSGFP7QETOWY.json","view_paper":"https://pith.science/paper/GV5HDBYW","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1110.4157&json=true","fetch_graph":"https://pith.science/api/pith-number/GV5HDBYW3MNZMYDSGFP7QETOWY/graph.json","fetch_events":"https://pith.science/api/pith-number/GV5HDBYW3MNZMYDSGFP7QETOWY/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/GV5HDBYW3MNZMYDSGFP7QETOWY/action/timestamp_anchor","attest_storage":"https://pith.science/pith/GV5HDBYW3MNZMYDSGFP7QETOWY/action/storage_attestation","attest_author":"https://pith.science/pith/GV5HDBYW3MNZMYDSGFP7QETOWY/action/author_attestation","sign_citation":"https://pith.science/pith/GV5HDBYW3MNZMYDSGFP7QETOWY/action/citation_signature","submit_replication":"https://pith.science/pith/GV5HDBYW3MNZMYDSGFP7QETOWY/action/replication_record"}},"created_at":"2026-05-18T04:10:38.096955+00:00","updated_at":"2026-05-18T04:10:38.096955+00:00"}