{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2019:DB74HGGTRXDX2BKEIQTAZEC5RC","short_pith_number":"pith:DB74HGGT","schema_version":"1.0","canonical_sha256":"187fc398d38dc77d054444260c905d88855c7a3eaa3a0936b29d96822ae6ffbb","source":{"kind":"arxiv","id":"1904.10107","version":1},"attestation_state":"computed","paper":{"title":"A Syntactic Model of Mutation and Aliasing","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.PL","authors_text":"Computer Science, Elena Zucca (DIBRIS, Marco Servetto (School of Engineering, Paola Giannini (DiSIT, Universita' del Piemonte Orientale), Universita' di Genova), Victoria University of Wellington)","submitted_at":"2019-04-23T00:53:48Z","abstract_excerpt":"Traditionally, semantic models of imperative languages use an auxiliary structure which mimics memory. In this way, ownership and other encapsulation properties need to be reconstructed from the graph structure of such global memory.  We present an alternative \"syntactic\" model where memory is encoded as part of the program rather than as a separate resource. This means that execution can be modelled by just rewriting source code terms, as in semantic models for functional programs. Formally, this is achieved by the block construct, introducing local variable declarations, which play the role "},"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":"1904.10107","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2019-04-23T00:53:48Z","cross_cats_sorted":[],"title_canon_sha256":"986ca034a1436fea3e4e1ed9cfe33ea1fcdcfa7745b85c7cfe6ecfbb08d1ef5a","abstract_canon_sha256":"dc2f52c44375fd3143fbbad17215e9d4958efdbbaba535fd6fedcdf6cc2fb5a0"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-17T23:47:55.091245Z","signature_b64":"2Gw9s0js7FZqI1nsPR+jN/U0V18cmEBGf1GUmHrnAFA1mggOT0fVNR6np4CxPbnVgblIvPSx/6n8+UYPttL6Bg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"187fc398d38dc77d054444260c905d88855c7a3eaa3a0936b29d96822ae6ffbb","last_reissued_at":"2026-05-17T23:47:55.090771Z","signature_status":"signed_v1","first_computed_at":"2026-05-17T23:47:55.090771Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"A Syntactic Model of Mutation and Aliasing","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.PL","authors_text":"Computer Science, Elena Zucca (DIBRIS, Marco Servetto (School of Engineering, Paola Giannini (DiSIT, Universita' del Piemonte Orientale), Universita' di Genova), Victoria University of Wellington)","submitted_at":"2019-04-23T00:53:48Z","abstract_excerpt":"Traditionally, semantic models of imperative languages use an auxiliary structure which mimics memory. In this way, ownership and other encapsulation properties need to be reconstructed from the graph structure of such global memory.  We present an alternative \"syntactic\" model where memory is encoded as part of the program rather than as a separate resource. This means that execution can be modelled by just rewriting source code terms, as in semantic models for functional programs. Formally, this is achieved by the block construct, introducing local variable declarations, which play the role "},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1904.10107","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":"1904.10107","created_at":"2026-05-17T23:47:55.090836+00:00"},{"alias_kind":"arxiv_version","alias_value":"1904.10107v1","created_at":"2026-05-17T23:47:55.090836+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1904.10107","created_at":"2026-05-17T23:47:55.090836+00:00"},{"alias_kind":"pith_short_12","alias_value":"DB74HGGTRXDX","created_at":"2026-05-18T12:33:15.570797+00:00"},{"alias_kind":"pith_short_16","alias_value":"DB74HGGTRXDX2BKE","created_at":"2026-05-18T12:33:15.570797+00:00"},{"alias_kind":"pith_short_8","alias_value":"DB74HGGT","created_at":"2026-05-18T12:33:15.570797+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/DB74HGGTRXDX2BKEIQTAZEC5RC","json":"https://pith.science/pith/DB74HGGTRXDX2BKEIQTAZEC5RC.json","graph_json":"https://pith.science/api/pith-number/DB74HGGTRXDX2BKEIQTAZEC5RC/graph.json","events_json":"https://pith.science/api/pith-number/DB74HGGTRXDX2BKEIQTAZEC5RC/events.json","paper":"https://pith.science/paper/DB74HGGT"},"agent_actions":{"view_html":"https://pith.science/pith/DB74HGGTRXDX2BKEIQTAZEC5RC","download_json":"https://pith.science/pith/DB74HGGTRXDX2BKEIQTAZEC5RC.json","view_paper":"https://pith.science/paper/DB74HGGT","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1904.10107&json=true","fetch_graph":"https://pith.science/api/pith-number/DB74HGGTRXDX2BKEIQTAZEC5RC/graph.json","fetch_events":"https://pith.science/api/pith-number/DB74HGGTRXDX2BKEIQTAZEC5RC/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/DB74HGGTRXDX2BKEIQTAZEC5RC/action/timestamp_anchor","attest_storage":"https://pith.science/pith/DB74HGGTRXDX2BKEIQTAZEC5RC/action/storage_attestation","attest_author":"https://pith.science/pith/DB74HGGTRXDX2BKEIQTAZEC5RC/action/author_attestation","sign_citation":"https://pith.science/pith/DB74HGGTRXDX2BKEIQTAZEC5RC/action/citation_signature","submit_replication":"https://pith.science/pith/DB74HGGTRXDX2BKEIQTAZEC5RC/action/replication_record"}},"created_at":"2026-05-17T23:47:55.090836+00:00","updated_at":"2026-05-17T23:47:55.090836+00:00"}