{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2016:6BFDOFZ3AEBFYOJXFE3BWCTJZQ","short_pith_number":"pith:6BFDOFZ3","canonical_record":{"source":{"id":"1608.02896","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2016-08-09T18:13:45Z","cross_cats_sorted":["cs.LO"],"title_canon_sha256":"b50c9d20849b65fb9899aac7ebd2c987232b5625c1b1dc40ae20140cb57f8c86","abstract_canon_sha256":"d6e184d6a601f2c2dc7e708ef4bf28e051b3f35e31499b99a0c46879cf71aafd"},"schema_version":"1.0"},"canonical_sha256":"f04a37173b01025c393729361b0a69cc35a829998873702d56670e6aa5c15879","source":{"kind":"arxiv","id":"1608.02896","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1608.02896","created_at":"2026-05-18T01:09:30Z"},{"alias_kind":"arxiv_version","alias_value":"1608.02896v2","created_at":"2026-05-18T01:09:30Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1608.02896","created_at":"2026-05-18T01:09:30Z"},{"alias_kind":"pith_short_12","alias_value":"6BFDOFZ3AEBF","created_at":"2026-05-18T12:30:01Z"},{"alias_kind":"pith_short_16","alias_value":"6BFDOFZ3AEBFYOJX","created_at":"2026-05-18T12:30:01Z"},{"alias_kind":"pith_short_8","alias_value":"6BFDOFZ3","created_at":"2026-05-18T12:30:01Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2016:6BFDOFZ3AEBFYOJXFE3BWCTJZQ","target":"record","payload":{"canonical_record":{"source":{"id":"1608.02896","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2016-08-09T18:13:45Z","cross_cats_sorted":["cs.LO"],"title_canon_sha256":"b50c9d20849b65fb9899aac7ebd2c987232b5625c1b1dc40ae20140cb57f8c86","abstract_canon_sha256":"d6e184d6a601f2c2dc7e708ef4bf28e051b3f35e31499b99a0c46879cf71aafd"},"schema_version":"1.0"},"canonical_sha256":"f04a37173b01025c393729361b0a69cc35a829998873702d56670e6aa5c15879","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T01:09:30.600781Z","signature_b64":"gFW4WUt4FljCm5K8sx0oGRzqAL/iv/5cb4wh9E7VdeN/mOUMd6TDLF3HTwtzj+zD0uCqC12R6WJaXjPAi0GODA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"f04a37173b01025c393729361b0a69cc35a829998873702d56670e6aa5c15879","last_reissued_at":"2026-05-18T01:09:30.600413Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T01:09:30.600413Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1608.02896","source_version":2,"attestation_state":"computed"},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-05-18T01:09:30Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"QWHgjf94VROiBZxr+UmbJfPrqD+0F18MkpiRQF3O1SVS0Iu0Z2fFWNVNyXLOP5NfVCDDzzLP67RUhc2Io1XKBQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-20T05:57:59.886475Z"},"content_sha256":"98f20464d4018cf1af9029ea39fecf73f11322ea2c89d1e1ee4c695860ce8018","schema_version":"1.0","event_id":"sha256:98f20464d4018cf1af9029ea39fecf73f11322ea2c89d1e1ee4c695860ce8018"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2016:6BFDOFZ3AEBFYOJXFE3BWCTJZQ","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"A Formal, Resource Consumption-Preserving Translation of Actors to Haskell","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.LO"],"primary_cat":"cs.PL","authors_text":"Elvira Albert, Enrique Martin-Martin, Frank de Boer, Nikolaos Bezirgiannis","submitted_at":"2016-08-09T18:13:45Z","abstract_excerpt":"We present a formal translation of an actor-based language with cooperative scheduling to the functional language Haskell. The translation is proven correct with respect to a formal semantics of the source language and a high-level operational semantics of the target, i.e. a subset of Haskell. The main correctness theorem is expressed in terms of a simulation relation between the operational semantics of actor programs and their translation. This allows us to then prove that the resource consumption is preserved over this translation, as we establish an equivalence of the cost of the original "},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1608.02896","kind":"arxiv","version":2},"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"},"verdict_id":null},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-05-18T01:09:30Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"DraNHxrV3ItlNTogdWhSQ59SOPWHG3x2WTtAeXe7fEt8vmKjO5ENxPl5wIti2ewYo5ES3GHSTIs9yb/4yy5ECQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-20T05:57:59.886810Z"},"content_sha256":"1bcc2bd19d9fc06bf0f7eb8191455e386d3a7f96fb295f6fe0d10d2fc3f13c3d","schema_version":"1.0","event_id":"sha256:1bcc2bd19d9fc06bf0f7eb8191455e386d3a7f96fb295f6fe0d10d2fc3f13c3d"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/6BFDOFZ3AEBFYOJXFE3BWCTJZQ/bundle.json","state_url":"https://pith.science/pith/6BFDOFZ3AEBFYOJXFE3BWCTJZQ/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/6BFDOFZ3AEBFYOJXFE3BWCTJZQ/bundle.json","status":"primary"}],"public_keys":[{"key_id":"pith-v1-2026-05","algorithm":"ed25519","format":"raw","public_key_b64":"stVStoiQhXFxp4s2pdzPNoqVNBMojDU/fJ2db5S3CbM=","public_key_hex":"b2d552b68890857171a78b36a5dccf368a953413288c353f7c9d9d6f94b709b3","fingerprint_sha256_b32_first128bits":"RVFV5Z2OI2J3ZUO7ERDEBCYNKS","fingerprint_sha256_hex":"8d4b5ee74e4693bcd1df2446408b0d54","rotates_at":null,"url":"https://pith.science/pith-signing-key.json","notes":"Pith uses this Ed25519 key to sign canonical record SHA-256 digests. Verify with: ed25519_verify(public_key, message=canonical_sha256_bytes, signature=base64decode(signature_b64))."}],"merge_version":"pith-open-graph-merge-v1","built_at":"2026-06-20T05:57:59Z","links":{"resolver":"https://pith.science/pith/6BFDOFZ3AEBFYOJXFE3BWCTJZQ","bundle":"https://pith.science/pith/6BFDOFZ3AEBFYOJXFE3BWCTJZQ/bundle.json","state":"https://pith.science/pith/6BFDOFZ3AEBFYOJXFE3BWCTJZQ/state.json","well_known_bundle":"https://pith.science/.well-known/pith/6BFDOFZ3AEBFYOJXFE3BWCTJZQ/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2016:6BFDOFZ3AEBFYOJXFE3BWCTJZQ","merge_version":"pith-open-graph-merge-v1","event_count":2,"valid_event_count":2,"invalid_event_count":0,"equivocation_count":0,"current":{"canonical_record":{"metadata":{"abstract_canon_sha256":"d6e184d6a601f2c2dc7e708ef4bf28e051b3f35e31499b99a0c46879cf71aafd","cross_cats_sorted":["cs.LO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2016-08-09T18:13:45Z","title_canon_sha256":"b50c9d20849b65fb9899aac7ebd2c987232b5625c1b1dc40ae20140cb57f8c86"},"schema_version":"1.0","source":{"id":"1608.02896","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1608.02896","created_at":"2026-05-18T01:09:30Z"},{"alias_kind":"arxiv_version","alias_value":"1608.02896v2","created_at":"2026-05-18T01:09:30Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1608.02896","created_at":"2026-05-18T01:09:30Z"},{"alias_kind":"pith_short_12","alias_value":"6BFDOFZ3AEBF","created_at":"2026-05-18T12:30:01Z"},{"alias_kind":"pith_short_16","alias_value":"6BFDOFZ3AEBFYOJX","created_at":"2026-05-18T12:30:01Z"},{"alias_kind":"pith_short_8","alias_value":"6BFDOFZ3","created_at":"2026-05-18T12:30:01Z"}],"graph_snapshots":[{"event_id":"sha256:1bcc2bd19d9fc06bf0f7eb8191455e386d3a7f96fb295f6fe0d10d2fc3f13c3d","target":"graph","created_at":"2026-05-18T01:09:30Z","signer":{"key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signer_id":"pith.science","signer_type":"pith_registry"},"payload":{"graph_snapshot":{"author_claims":{"count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57","strong_count":0},"builder_version":"pith-number-builder-2026-05-17-v1","claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"formal_canon":{"evidence_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"paper":{"abstract_excerpt":"We present a formal translation of an actor-based language with cooperative scheduling to the functional language Haskell. The translation is proven correct with respect to a formal semantics of the source language and a high-level operational semantics of the target, i.e. a subset of Haskell. The main correctness theorem is expressed in terms of a simulation relation between the operational semantics of actor programs and their translation. This allows us to then prove that the resource consumption is preserved over this translation, as we establish an equivalence of the cost of the original ","authors_text":"Elvira Albert, Enrique Martin-Martin, Frank de Boer, Nikolaos Bezirgiannis","cross_cats":["cs.LO"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2016-08-09T18:13:45Z","title":"A Formal, Resource Consumption-Preserving Translation of Actors to Haskell"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1608.02896","kind":"arxiv","version":2},"verdict":{"created_at":null,"id":null,"model_set":{},"one_line_summary":"","pipeline_version":null,"pith_extraction_headline":"","strongest_claim":"","weakest_assumption":""}},"verdict_id":null}}],"author_attestations":[],"timestamp_anchors":[],"storage_attestations":[],"citation_signatures":[],"replication_records":[],"corrections":[],"mirror_hints":[],"record_created":{"event_id":"sha256:98f20464d4018cf1af9029ea39fecf73f11322ea2c89d1e1ee4c695860ce8018","target":"record","created_at":"2026-05-18T01:09:30Z","signer":{"key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signer_id":"pith.science","signer_type":"pith_registry"},"payload":{"attestation_state":"computed","canonical_record":{"metadata":{"abstract_canon_sha256":"d6e184d6a601f2c2dc7e708ef4bf28e051b3f35e31499b99a0c46879cf71aafd","cross_cats_sorted":["cs.LO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2016-08-09T18:13:45Z","title_canon_sha256":"b50c9d20849b65fb9899aac7ebd2c987232b5625c1b1dc40ae20140cb57f8c86"},"schema_version":"1.0","source":{"id":"1608.02896","kind":"arxiv","version":2}},"canonical_sha256":"f04a37173b01025c393729361b0a69cc35a829998873702d56670e6aa5c15879","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"f04a37173b01025c393729361b0a69cc35a829998873702d56670e6aa5c15879","first_computed_at":"2026-05-18T01:09:30.600413Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T01:09:30.600413Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"gFW4WUt4FljCm5K8sx0oGRzqAL/iv/5cb4wh9E7VdeN/mOUMd6TDLF3HTwtzj+zD0uCqC12R6WJaXjPAi0GODA==","signature_status":"signed_v1","signed_at":"2026-05-18T01:09:30.600781Z","signed_message":"canonical_sha256_bytes"},"source_id":"1608.02896","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:98f20464d4018cf1af9029ea39fecf73f11322ea2c89d1e1ee4c695860ce8018","sha256:1bcc2bd19d9fc06bf0f7eb8191455e386d3a7f96fb295f6fe0d10d2fc3f13c3d"],"state_sha256":"a6ada5f97c7e2b6f7bbc5d4fe800063d898218724010c845bd0f63edf2371c50"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"PjJ7nzbPpfDIq4U1DWyDL9p4MQVPnOLV6wljgUuUQwlLRNc6T33/knzKApZGZdOAEy78MgihxQEZkIe2iuPoDQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-20T05:57:59.888630Z","bundle_sha256":"b3cefdd52ffdd1e57dfef8363d8617fccf258f13f69f3d1cc177275183c7a1a4"}}