{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2011:DSMPLXTLECEBBVI7OAYFFDSZ6F","short_pith_number":"pith:DSMPLXTL","schema_version":"1.0","canonical_sha256":"1c98f5de6b208810d51f7030528e59f16aecd7be134acd8b9a0c3743a427c1d4","source":{"kind":"arxiv","id":"1110.4165","version":1},"attestation_state":"computed","paper":{"title":"Types for X10 Clocks","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.PL","authors_text":"Francisco Martins (LaSIGE, Portugal), Tiago Cogumbreiro (LaSIGE, University of Lisbon, Vasco T. Vasconcelos (LaSIGE","submitted_at":"2011-10-19T02:38:38Z","abstract_excerpt":"X10 is a modern language built from the ground up to handle future parallel systems, from multicore machines to cluster configurations. We take a closer look at a pair of synchronisation mechanisms: finish and clocks. The former waits for the termination of parallel computations, the latter allow multiple concurrent activities to wait for each other at certain points in time. In order to better understand these concepts we study a type system for a stripped down version of X10. The main result assures that well typed programs do not run into the errors identified in the X10 language reference,"},"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.4165","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2011-10-19T02:38:38Z","cross_cats_sorted":[],"title_canon_sha256":"e28187a257056fdc87a1aa20faca2fd4f73c3cf6f3baa48471d106991df1eafc","abstract_canon_sha256":"14fb021c36f4b8b3f302bf778eb70364f2bf2e7005d66dd050a28827d4836af2"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T04:10:38.036102Z","signature_b64":"57t8Xn1iXrF8s8IRBgRJvY2uFlfg/SHtR2Xn+bNm5MPGWUj1pRzCdOJX9JsF00pEK44oze/LUZrfYfxExKjRCQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"1c98f5de6b208810d51f7030528e59f16aecd7be134acd8b9a0c3743a427c1d4","last_reissued_at":"2026-05-18T04:10:38.035405Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T04:10:38.035405Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Types for X10 Clocks","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.PL","authors_text":"Francisco Martins (LaSIGE, Portugal), Tiago Cogumbreiro (LaSIGE, University of Lisbon, Vasco T. Vasconcelos (LaSIGE","submitted_at":"2011-10-19T02:38:38Z","abstract_excerpt":"X10 is a modern language built from the ground up to handle future parallel systems, from multicore machines to cluster configurations. We take a closer look at a pair of synchronisation mechanisms: finish and clocks. The former waits for the termination of parallel computations, the latter allow multiple concurrent activities to wait for each other at certain points in time. In order to better understand these concepts we study a type system for a stripped down version of X10. The main result assures that well typed programs do not run into the errors identified in the X10 language reference,"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1110.4165","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.4165","created_at":"2026-05-18T04:10:38.035504+00:00"},{"alias_kind":"arxiv_version","alias_value":"1110.4165v1","created_at":"2026-05-18T04:10:38.035504+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1110.4165","created_at":"2026-05-18T04:10:38.035504+00:00"},{"alias_kind":"pith_short_12","alias_value":"DSMPLXTLECEB","created_at":"2026-05-18T12:26:26.731475+00:00"},{"alias_kind":"pith_short_16","alias_value":"DSMPLXTLECEBBVI7","created_at":"2026-05-18T12:26:26.731475+00:00"},{"alias_kind":"pith_short_8","alias_value":"DSMPLXTL","created_at":"2026-05-18T12:26:26.731475+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/DSMPLXTLECEBBVI7OAYFFDSZ6F","json":"https://pith.science/pith/DSMPLXTLECEBBVI7OAYFFDSZ6F.json","graph_json":"https://pith.science/api/pith-number/DSMPLXTLECEBBVI7OAYFFDSZ6F/graph.json","events_json":"https://pith.science/api/pith-number/DSMPLXTLECEBBVI7OAYFFDSZ6F/events.json","paper":"https://pith.science/paper/DSMPLXTL"},"agent_actions":{"view_html":"https://pith.science/pith/DSMPLXTLECEBBVI7OAYFFDSZ6F","download_json":"https://pith.science/pith/DSMPLXTLECEBBVI7OAYFFDSZ6F.json","view_paper":"https://pith.science/paper/DSMPLXTL","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1110.4165&json=true","fetch_graph":"https://pith.science/api/pith-number/DSMPLXTLECEBBVI7OAYFFDSZ6F/graph.json","fetch_events":"https://pith.science/api/pith-number/DSMPLXTLECEBBVI7OAYFFDSZ6F/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/DSMPLXTLECEBBVI7OAYFFDSZ6F/action/timestamp_anchor","attest_storage":"https://pith.science/pith/DSMPLXTLECEBBVI7OAYFFDSZ6F/action/storage_attestation","attest_author":"https://pith.science/pith/DSMPLXTLECEBBVI7OAYFFDSZ6F/action/author_attestation","sign_citation":"https://pith.science/pith/DSMPLXTLECEBBVI7OAYFFDSZ6F/action/citation_signature","submit_replication":"https://pith.science/pith/DSMPLXTLECEBBVI7OAYFFDSZ6F/action/replication_record"}},"created_at":"2026-05-18T04:10:38.035504+00:00","updated_at":"2026-05-18T04:10:38.035504+00:00"}