{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2018:I6BQWZOLENUSBAXPHEI4IVYZXU","short_pith_number":"pith:I6BQWZOL","canonical_record":{"source":{"id":"1809.04770","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2018-09-13T04:48:36Z","cross_cats_sorted":["cs.LO"],"title_canon_sha256":"4cc7463bf252118c2b39c79fb141a4bf007235c1c5661c10f2d3d3fc4a8ba772","abstract_canon_sha256":"520310c05a494cb343de489bdca187cf4d5f2bc95059ab11305efd1833684544"},"schema_version":"1.0"},"canonical_sha256":"47830b65cb23692082ef3911c45719bd21dd2927af57f39e25dfd1e8fe9d625a","source":{"kind":"arxiv","id":"1809.04770","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1809.04770","created_at":"2026-05-18T00:05:49Z"},{"alias_kind":"arxiv_version","alias_value":"1809.04770v1","created_at":"2026-05-18T00:05:49Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1809.04770","created_at":"2026-05-18T00:05:49Z"},{"alias_kind":"pith_short_12","alias_value":"I6BQWZOLENUS","created_at":"2026-05-18T12:32:28Z"},{"alias_kind":"pith_short_16","alias_value":"I6BQWZOLENUSBAXP","created_at":"2026-05-18T12:32:28Z"},{"alias_kind":"pith_short_8","alias_value":"I6BQWZOL","created_at":"2026-05-18T12:32:28Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2018:I6BQWZOLENUSBAXPHEI4IVYZXU","target":"record","payload":{"canonical_record":{"source":{"id":"1809.04770","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2018-09-13T04:48:36Z","cross_cats_sorted":["cs.LO"],"title_canon_sha256":"4cc7463bf252118c2b39c79fb141a4bf007235c1c5661c10f2d3d3fc4a8ba772","abstract_canon_sha256":"520310c05a494cb343de489bdca187cf4d5f2bc95059ab11305efd1833684544"},"schema_version":"1.0"},"canonical_sha256":"47830b65cb23692082ef3911c45719bd21dd2927af57f39e25dfd1e8fe9d625a","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:05:49.689200Z","signature_b64":"6hT3CrhKLGjPtmAO3aMa3Gh12qVRd9Yh1jVi5ykyO5LFsXFYPU9At+Pq1uYKBlR8QCw67jxha9weAFpSOVBbBw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"47830b65cb23692082ef3911c45719bd21dd2927af57f39e25dfd1e8fe9d625a","last_reissued_at":"2026-05-18T00:05:49.688507Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:05:49.688507Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1809.04770","source_version":1,"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-18T00:05:49Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"wRttKfanUoY6/W+6/9c6G4AS9sEcLydQZwNEQA0bl3pvHwliKUvMy7NRL8xs2r5b2nW3WZt2BEIS13J9qaGWBg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-27T16:57:16.205626Z"},"content_sha256":"1b8bd11669f0d1c7e2d3ccdf422d2fa0ad9b0173017211526527f6add4d54db5","schema_version":"1.0","event_id":"sha256:1b8bd11669f0d1c7e2d3ccdf422d2fa0ad9b0173017211526527f6add4d54db5"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2018:I6BQWZOLENUSBAXPHEI4IVYZXU","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Bounded Symbolic Execution for Runtime Error Detection of Erlang Programs","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.LO"],"primary_cat":"cs.PL","authors_text":"Adri\\'an Palacios (MiST, Alberto Pettorossi (University of Roma Tor Vergata, DSIC, Emanuele De Angelis (DEC, Fabio Fioravanti (DEC, Italy), Maurizio Proietti (CNR-IASI, Pescara, Roma, Spain), Universitat Polit\\`ecnica de Val\\`encia, University \"G. d'Annunzio\" of Chieti-Pescara, Val\\`encia","submitted_at":"2018-09-13T04:48:36Z","abstract_excerpt":"Dynamically typed languages, like Erlang, allow developers to quickly write programs without explicitly providing any type information on expressions or function definitions. However, this feature makes those languages less reliable than statically typed languages, where many runtime errors can be detected at compile time. In this paper, we present a preliminary work on a tool that, by using the well-known techniques of metaprogramming and symbolic execution, can be used to perform bounded verification of Erlang programs. In particular, by using Constraint Logic Programming, we develop an inte"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1809.04770","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"},"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-18T00:05:49Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"uOA5hGWcpcGwiGicwgDRKhtuEQmvwKeuqz9FXL6aMsUk0znAiIiHL+4ANzkugZeKlRMWvB9b1nSn20EPsXPFBg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-27T16:57:16.205983Z"},"content_sha256":"9fe423df52775d7a56d98c46339f470b9c0ba7ecc7565464f5e4b9f14aa4f13b","schema_version":"1.0","event_id":"sha256:9fe423df52775d7a56d98c46339f470b9c0ba7ecc7565464f5e4b9f14aa4f13b"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/I6BQWZOLENUSBAXPHEI4IVYZXU/bundle.json","state_url":"https://pith.science/pith/I6BQWZOLENUSBAXPHEI4IVYZXU/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/I6BQWZOLENUSBAXPHEI4IVYZXU/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-05-27T16:57:16Z","links":{"resolver":"https://pith.science/pith/I6BQWZOLENUSBAXPHEI4IVYZXU","bundle":"https://pith.science/pith/I6BQWZOLENUSBAXPHEI4IVYZXU/bundle.json","state":"https://pith.science/pith/I6BQWZOLENUSBAXPHEI4IVYZXU/state.json","well_known_bundle":"https://pith.science/.well-known/pith/I6BQWZOLENUSBAXPHEI4IVYZXU/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2018:I6BQWZOLENUSBAXPHEI4IVYZXU","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":"520310c05a494cb343de489bdca187cf4d5f2bc95059ab11305efd1833684544","cross_cats_sorted":["cs.LO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2018-09-13T04:48:36Z","title_canon_sha256":"4cc7463bf252118c2b39c79fb141a4bf007235c1c5661c10f2d3d3fc4a8ba772"},"schema_version":"1.0","source":{"id":"1809.04770","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1809.04770","created_at":"2026-05-18T00:05:49Z"},{"alias_kind":"arxiv_version","alias_value":"1809.04770v1","created_at":"2026-05-18T00:05:49Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1809.04770","created_at":"2026-05-18T00:05:49Z"},{"alias_kind":"pith_short_12","alias_value":"I6BQWZOLENUS","created_at":"2026-05-18T12:32:28Z"},{"alias_kind":"pith_short_16","alias_value":"I6BQWZOLENUSBAXP","created_at":"2026-05-18T12:32:28Z"},{"alias_kind":"pith_short_8","alias_value":"I6BQWZOL","created_at":"2026-05-18T12:32:28Z"}],"graph_snapshots":[{"event_id":"sha256:9fe423df52775d7a56d98c46339f470b9c0ba7ecc7565464f5e4b9f14aa4f13b","target":"graph","created_at":"2026-05-18T00:05:49Z","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":"Dynamically typed languages, like Erlang, allow developers to quickly write programs without explicitly providing any type information on expressions or function definitions. However, this feature makes those languages less reliable than statically typed languages, where many runtime errors can be detected at compile time. In this paper, we present a preliminary work on a tool that, by using the well-known techniques of metaprogramming and symbolic execution, can be used to perform bounded verification of Erlang programs. In particular, by using Constraint Logic Programming, we develop an inte","authors_text":"Adri\\'an Palacios (MiST, Alberto Pettorossi (University of Roma Tor Vergata, DSIC, Emanuele De Angelis (DEC, Fabio Fioravanti (DEC, Italy), Maurizio Proietti (CNR-IASI, Pescara, Roma, Spain), Universitat Polit\\`ecnica de Val\\`encia, University \"G. d'Annunzio\" of Chieti-Pescara, Val\\`encia","cross_cats":["cs.LO"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2018-09-13T04:48:36Z","title":"Bounded Symbolic Execution for Runtime Error Detection of Erlang Programs"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1809.04770","kind":"arxiv","version":1},"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:1b8bd11669f0d1c7e2d3ccdf422d2fa0ad9b0173017211526527f6add4d54db5","target":"record","created_at":"2026-05-18T00:05:49Z","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":"520310c05a494cb343de489bdca187cf4d5f2bc95059ab11305efd1833684544","cross_cats_sorted":["cs.LO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2018-09-13T04:48:36Z","title_canon_sha256":"4cc7463bf252118c2b39c79fb141a4bf007235c1c5661c10f2d3d3fc4a8ba772"},"schema_version":"1.0","source":{"id":"1809.04770","kind":"arxiv","version":1}},"canonical_sha256":"47830b65cb23692082ef3911c45719bd21dd2927af57f39e25dfd1e8fe9d625a","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"47830b65cb23692082ef3911c45719bd21dd2927af57f39e25dfd1e8fe9d625a","first_computed_at":"2026-05-18T00:05:49.688507Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:05:49.688507Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"6hT3CrhKLGjPtmAO3aMa3Gh12qVRd9Yh1jVi5ykyO5LFsXFYPU9At+Pq1uYKBlR8QCw67jxha9weAFpSOVBbBw==","signature_status":"signed_v1","signed_at":"2026-05-18T00:05:49.689200Z","signed_message":"canonical_sha256_bytes"},"source_id":"1809.04770","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:1b8bd11669f0d1c7e2d3ccdf422d2fa0ad9b0173017211526527f6add4d54db5","sha256:9fe423df52775d7a56d98c46339f470b9c0ba7ecc7565464f5e4b9f14aa4f13b"],"state_sha256":"ebec2a0ec7fd1b1113dab4c4155213d2a9b4be48e13a511c0d356b674363c231"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"7O+IKXIjn3V3cOaYDa1AXbl6V2jk1luxGUBdbv3p2//UAC9llYbRVXTyoddeoWV+bslGJlUvfgLsw8PIi5KyBw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-27T16:57:16.208236Z","bundle_sha256":"22c029135b528315683cb642f7a7e01e94b0edd12a990d7752fab82a42b14e46"}}