{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2018:LTQFQU3KOWD4KNOQDR37VGASE3","short_pith_number":"pith:LTQFQU3K","schema_version":"1.0","canonical_sha256":"5ce058536a7587c535d01c77fa981226c0103fa347bb81653d4f7963251f20ae","source":{"kind":"arxiv","id":"1803.10670","version":1},"attestation_state":"computed","paper":{"title":"Deadlock-Free Typestate-Oriented Programming","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.PL","authors_text":"Italy), Luca Padovani (Universit\\`a di Torino","submitted_at":"2018-03-28T15:10:38Z","abstract_excerpt":"Context. TypeState-Oriented Programming (TSOP) is a paradigm intended to help developers in the implementation and use of mutable objects whose public interface depends on their private state. Under this paradigm, well-typed programs are guaranteed to conform with the protocol of the objects they use.\n  Inquiry. Previous works have investigated TSOP for both sequential and concurrent objects. However, an important difference between the two settings still remains. In a sequential setting, a well-typed program either progresses indefinitely or terminates eventually. In a concurrent setting, pro"},"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":"1803.10670","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2018-03-28T15:10:38Z","cross_cats_sorted":[],"title_canon_sha256":"7bcf3052aec04e7d3d009b7895fa12ae47313eb366d85a91cafc7ccea1f3b620","abstract_canon_sha256":"73610ddab58baa11638f566088a7cde762b63f9d0dbb50ecd142278569f874d5"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:19:54.507640Z","signature_b64":"/r71exH3VBRx1WgIMpb3tYIMU2BVLWUzLsPjbP98terUsbZkqIXB5qTMADu/DSU/GP7IB9bKEtpYZFNfv1dHDA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"5ce058536a7587c535d01c77fa981226c0103fa347bb81653d4f7963251f20ae","last_reissued_at":"2026-05-18T00:19:54.506842Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:19:54.506842Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Deadlock-Free Typestate-Oriented Programming","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.PL","authors_text":"Italy), Luca Padovani (Universit\\`a di Torino","submitted_at":"2018-03-28T15:10:38Z","abstract_excerpt":"Context. TypeState-Oriented Programming (TSOP) is a paradigm intended to help developers in the implementation and use of mutable objects whose public interface depends on their private state. Under this paradigm, well-typed programs are guaranteed to conform with the protocol of the objects they use.\n  Inquiry. Previous works have investigated TSOP for both sequential and concurrent objects. However, an important difference between the two settings still remains. In a sequential setting, a well-typed program either progresses indefinitely or terminates eventually. In a concurrent setting, pro"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1803.10670","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":"1803.10670","created_at":"2026-05-18T00:19:54.506967+00:00"},{"alias_kind":"arxiv_version","alias_value":"1803.10670v1","created_at":"2026-05-18T00:19:54.506967+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1803.10670","created_at":"2026-05-18T00:19:54.506967+00:00"},{"alias_kind":"pith_short_12","alias_value":"LTQFQU3KOWD4","created_at":"2026-05-18T12:32:37.024351+00:00"},{"alias_kind":"pith_short_16","alias_value":"LTQFQU3KOWD4KNOQ","created_at":"2026-05-18T12:32:37.024351+00:00"},{"alias_kind":"pith_short_8","alias_value":"LTQFQU3K","created_at":"2026-05-18T12:32:37.024351+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/LTQFQU3KOWD4KNOQDR37VGASE3","json":"https://pith.science/pith/LTQFQU3KOWD4KNOQDR37VGASE3.json","graph_json":"https://pith.science/api/pith-number/LTQFQU3KOWD4KNOQDR37VGASE3/graph.json","events_json":"https://pith.science/api/pith-number/LTQFQU3KOWD4KNOQDR37VGASE3/events.json","paper":"https://pith.science/paper/LTQFQU3K"},"agent_actions":{"view_html":"https://pith.science/pith/LTQFQU3KOWD4KNOQDR37VGASE3","download_json":"https://pith.science/pith/LTQFQU3KOWD4KNOQDR37VGASE3.json","view_paper":"https://pith.science/paper/LTQFQU3K","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1803.10670&json=true","fetch_graph":"https://pith.science/api/pith-number/LTQFQU3KOWD4KNOQDR37VGASE3/graph.json","fetch_events":"https://pith.science/api/pith-number/LTQFQU3KOWD4KNOQDR37VGASE3/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/LTQFQU3KOWD4KNOQDR37VGASE3/action/timestamp_anchor","attest_storage":"https://pith.science/pith/LTQFQU3KOWD4KNOQDR37VGASE3/action/storage_attestation","attest_author":"https://pith.science/pith/LTQFQU3KOWD4KNOQDR37VGASE3/action/author_attestation","sign_citation":"https://pith.science/pith/LTQFQU3KOWD4KNOQDR37VGASE3/action/citation_signature","submit_replication":"https://pith.science/pith/LTQFQU3KOWD4KNOQDR37VGASE3/action/replication_record"}},"created_at":"2026-05-18T00:19:54.506967+00:00","updated_at":"2026-05-18T00:19:54.506967+00:00"}