{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2019:LJ7WOS7IBPDBRYHWWV6UB2D4B2","short_pith_number":"pith:LJ7WOS7I","schema_version":"1.0","canonical_sha256":"5a7f674be80bc618e0f6b57d40e87c0ebdb4d9a27981f6ae62c55b22b700994a","source":{"kind":"arxiv","id":"1907.11317","version":1},"attestation_state":"computed","paper":{"title":"Explicit and Controllable Assignment Semantics","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.PL","authors_text":"Didier Buchs, Dimitri Racordon","submitted_at":"2019-07-25T21:56:17Z","abstract_excerpt":"Despite the plethora of powerful software to spot bugs, identify performance bottlenecks or simply improve the overall quality of code, programming languages remain the first and most important tool of a developer. Therefore, appropriate abstractions, unambiguous syntaxes and intuitive semantics are paramount to convey intent concisely and efficiently. The continuing growth in computing power has allowed modern compilers and runtime system to handle once thought unrealistic features, such as type inference and reflection, making code simpler to write and clearer to read. Unfortunately, relics "},"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":"1907.11317","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2019-07-25T21:56:17Z","cross_cats_sorted":[],"title_canon_sha256":"2ba580095633c8ec22fe1deb04fd9835623ec4f68afca401f5d1d01beb4b12f3","abstract_canon_sha256":"4ea58ac643a7aa2962a5c8fb07a0c227c5ba12bb5987c6211fc3a36cc38fb8cc"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-17T23:39:29.469595Z","signature_b64":"EtJF41EBG2S389qpUAfYsjoMmbAOqgvOpK2a2OFl9mfpjQfTlv48XtthfXjIw4Sa1H5VhnohvZb0lR3lk8/9AQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"5a7f674be80bc618e0f6b57d40e87c0ebdb4d9a27981f6ae62c55b22b700994a","last_reissued_at":"2026-05-17T23:39:29.468976Z","signature_status":"signed_v1","first_computed_at":"2026-05-17T23:39:29.468976Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Explicit and Controllable Assignment Semantics","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.PL","authors_text":"Didier Buchs, Dimitri Racordon","submitted_at":"2019-07-25T21:56:17Z","abstract_excerpt":"Despite the plethora of powerful software to spot bugs, identify performance bottlenecks or simply improve the overall quality of code, programming languages remain the first and most important tool of a developer. Therefore, appropriate abstractions, unambiguous syntaxes and intuitive semantics are paramount to convey intent concisely and efficiently. The continuing growth in computing power has allowed modern compilers and runtime system to handle once thought unrealistic features, such as type inference and reflection, making code simpler to write and clearer to read. Unfortunately, relics "},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1907.11317","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":"1907.11317","created_at":"2026-05-17T23:39:29.469080+00:00"},{"alias_kind":"arxiv_version","alias_value":"1907.11317v1","created_at":"2026-05-17T23:39:29.469080+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1907.11317","created_at":"2026-05-17T23:39:29.469080+00:00"},{"alias_kind":"pith_short_12","alias_value":"LJ7WOS7IBPDB","created_at":"2026-05-18T12:33:21.387695+00:00"},{"alias_kind":"pith_short_16","alias_value":"LJ7WOS7IBPDBRYHW","created_at":"2026-05-18T12:33:21.387695+00:00"},{"alias_kind":"pith_short_8","alias_value":"LJ7WOS7I","created_at":"2026-05-18T12:33:21.387695+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/LJ7WOS7IBPDBRYHWWV6UB2D4B2","json":"https://pith.science/pith/LJ7WOS7IBPDBRYHWWV6UB2D4B2.json","graph_json":"https://pith.science/api/pith-number/LJ7WOS7IBPDBRYHWWV6UB2D4B2/graph.json","events_json":"https://pith.science/api/pith-number/LJ7WOS7IBPDBRYHWWV6UB2D4B2/events.json","paper":"https://pith.science/paper/LJ7WOS7I"},"agent_actions":{"view_html":"https://pith.science/pith/LJ7WOS7IBPDBRYHWWV6UB2D4B2","download_json":"https://pith.science/pith/LJ7WOS7IBPDBRYHWWV6UB2D4B2.json","view_paper":"https://pith.science/paper/LJ7WOS7I","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1907.11317&json=true","fetch_graph":"https://pith.science/api/pith-number/LJ7WOS7IBPDBRYHWWV6UB2D4B2/graph.json","fetch_events":"https://pith.science/api/pith-number/LJ7WOS7IBPDBRYHWWV6UB2D4B2/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/LJ7WOS7IBPDBRYHWWV6UB2D4B2/action/timestamp_anchor","attest_storage":"https://pith.science/pith/LJ7WOS7IBPDBRYHWWV6UB2D4B2/action/storage_attestation","attest_author":"https://pith.science/pith/LJ7WOS7IBPDBRYHWWV6UB2D4B2/action/author_attestation","sign_citation":"https://pith.science/pith/LJ7WOS7IBPDBRYHWWV6UB2D4B2/action/citation_signature","submit_replication":"https://pith.science/pith/LJ7WOS7IBPDBRYHWWV6UB2D4B2/action/replication_record"}},"created_at":"2026-05-17T23:39:29.469080+00:00","updated_at":"2026-05-17T23:39:29.469080+00:00"}