{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2013:CXXZ7456TK5LMTSIDRUOMTIPTB","short_pith_number":"pith:CXXZ7456","canonical_record":{"source":{"id":"1303.0722","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2013-03-04T15:11:38Z","cross_cats_sorted":[],"title_canon_sha256":"bb48ab6d8914a70939df0f74d50613c5be778aa0d8bc6ba86eaad325e01300ef","abstract_canon_sha256":"10ccb19133cad3b245e88507b2d9703d3c906821841882cc27da37313f6c8ec3"},"schema_version":"1.0"},"canonical_sha256":"15ef9ff3be9abab64e481c68e64d0f985c8aff15910502c6fdc6269b0176d3b2","source":{"kind":"arxiv","id":"1303.0722","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1303.0722","created_at":"2026-05-18T03:31:55Z"},{"alias_kind":"arxiv_version","alias_value":"1303.0722v1","created_at":"2026-05-18T03:31:55Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1303.0722","created_at":"2026-05-18T03:31:55Z"},{"alias_kind":"pith_short_12","alias_value":"CXXZ7456TK5L","created_at":"2026-05-18T12:27:40Z"},{"alias_kind":"pith_short_16","alias_value":"CXXZ7456TK5LMTSI","created_at":"2026-05-18T12:27:40Z"},{"alias_kind":"pith_short_8","alias_value":"CXXZ7456","created_at":"2026-05-18T12:27:40Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2013:CXXZ7456TK5LMTSIDRUOMTIPTB","target":"record","payload":{"canonical_record":{"source":{"id":"1303.0722","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2013-03-04T15:11:38Z","cross_cats_sorted":[],"title_canon_sha256":"bb48ab6d8914a70939df0f74d50613c5be778aa0d8bc6ba86eaad325e01300ef","abstract_canon_sha256":"10ccb19133cad3b245e88507b2d9703d3c906821841882cc27da37313f6c8ec3"},"schema_version":"1.0"},"canonical_sha256":"15ef9ff3be9abab64e481c68e64d0f985c8aff15910502c6fdc6269b0176d3b2","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T03:31:55.127697Z","signature_b64":"7Kn5jP7ppoyuYTRJ4LLcYayrOot9U+pwfAHAQl3KUi6cv+QoWQUYs0Dzr8uMDx84GTkAGK0LllXm2hHNi7sMDw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"15ef9ff3be9abab64e481c68e64d0f985c8aff15910502c6fdc6269b0176d3b2","last_reissued_at":"2026-05-18T03:31:55.126995Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T03:31:55.126995Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1303.0722","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-18T03:31:55Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"cMfjuFsLNnNQYm/P7BKUi0Qw7O4AmbEbC++RVPL1759sy+nS5P200gBLZ/iH+G0G0B3Sms0wLa23bQgKD1EKDQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-27T09:28:41.793113Z"},"content_sha256":"a67beb02639c8f96d9b86bc9152e5bb9ff5c398b0c07f6a8ba227ade176b7766","schema_version":"1.0","event_id":"sha256:a67beb02639c8f96d9b86bc9152e5bb9ff5c398b0c07f6a8ba227ade176b7766"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2013:CXXZ7456TK5LMTSIDRUOMTIPTB","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"EasyTime++: A case study of incremental domain-specific language development","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.PL","authors_text":"Iztok Fister, Iztok Fister Jr., Marjan Mernik, Toma\\v{z} Kosar","submitted_at":"2013-03-04T15:11:38Z","abstract_excerpt":"EasyTime is a domain-specific language (DSL) for measuring time during sports competitions. A distinguishing feature of DSLs is that they are much more amenable to change, and EasyTime is no exception in this regard. This paper introduces two new EasyTime features: classifications of competitors into categories, and the inclusion of competitions where the number of laps must be dynamically determined. It shows how such extensions can be incrementally added into the base-language reusing most of the language specifications. Two case studies are presented showing the suitability of this approach"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1303.0722","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-18T03:31:55Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"sv4fWT50nZzDxjbSQvOQhe7/dI4b+YJ9GPCdUfTPlhFkQfXc264J6QvKt2njQspVw5ct5VrXNtyC9QW2/RzjDQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-27T09:28:41.793844Z"},"content_sha256":"6754a893b4566a3146f454129694c8f4fe1c76130fb69ec2535ac4824a47b244","schema_version":"1.0","event_id":"sha256:6754a893b4566a3146f454129694c8f4fe1c76130fb69ec2535ac4824a47b244"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/CXXZ7456TK5LMTSIDRUOMTIPTB/bundle.json","state_url":"https://pith.science/pith/CXXZ7456TK5LMTSIDRUOMTIPTB/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/CXXZ7456TK5LMTSIDRUOMTIPTB/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-27T09:28:41Z","links":{"resolver":"https://pith.science/pith/CXXZ7456TK5LMTSIDRUOMTIPTB","bundle":"https://pith.science/pith/CXXZ7456TK5LMTSIDRUOMTIPTB/bundle.json","state":"https://pith.science/pith/CXXZ7456TK5LMTSIDRUOMTIPTB/state.json","well_known_bundle":"https://pith.science/.well-known/pith/CXXZ7456TK5LMTSIDRUOMTIPTB/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2013:CXXZ7456TK5LMTSIDRUOMTIPTB","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":"10ccb19133cad3b245e88507b2d9703d3c906821841882cc27da37313f6c8ec3","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2013-03-04T15:11:38Z","title_canon_sha256":"bb48ab6d8914a70939df0f74d50613c5be778aa0d8bc6ba86eaad325e01300ef"},"schema_version":"1.0","source":{"id":"1303.0722","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1303.0722","created_at":"2026-05-18T03:31:55Z"},{"alias_kind":"arxiv_version","alias_value":"1303.0722v1","created_at":"2026-05-18T03:31:55Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1303.0722","created_at":"2026-05-18T03:31:55Z"},{"alias_kind":"pith_short_12","alias_value":"CXXZ7456TK5L","created_at":"2026-05-18T12:27:40Z"},{"alias_kind":"pith_short_16","alias_value":"CXXZ7456TK5LMTSI","created_at":"2026-05-18T12:27:40Z"},{"alias_kind":"pith_short_8","alias_value":"CXXZ7456","created_at":"2026-05-18T12:27:40Z"}],"graph_snapshots":[{"event_id":"sha256:6754a893b4566a3146f454129694c8f4fe1c76130fb69ec2535ac4824a47b244","target":"graph","created_at":"2026-05-18T03:31:55Z","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":"EasyTime is a domain-specific language (DSL) for measuring time during sports competitions. A distinguishing feature of DSLs is that they are much more amenable to change, and EasyTime is no exception in this regard. This paper introduces two new EasyTime features: classifications of competitors into categories, and the inclusion of competitions where the number of laps must be dynamically determined. It shows how such extensions can be incrementally added into the base-language reusing most of the language specifications. Two case studies are presented showing the suitability of this approach","authors_text":"Iztok Fister, Iztok Fister Jr., Marjan Mernik, Toma\\v{z} Kosar","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2013-03-04T15:11:38Z","title":"EasyTime++: A case study of incremental domain-specific language development"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1303.0722","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:a67beb02639c8f96d9b86bc9152e5bb9ff5c398b0c07f6a8ba227ade176b7766","target":"record","created_at":"2026-05-18T03:31:55Z","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":"10ccb19133cad3b245e88507b2d9703d3c906821841882cc27da37313f6c8ec3","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2013-03-04T15:11:38Z","title_canon_sha256":"bb48ab6d8914a70939df0f74d50613c5be778aa0d8bc6ba86eaad325e01300ef"},"schema_version":"1.0","source":{"id":"1303.0722","kind":"arxiv","version":1}},"canonical_sha256":"15ef9ff3be9abab64e481c68e64d0f985c8aff15910502c6fdc6269b0176d3b2","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"15ef9ff3be9abab64e481c68e64d0f985c8aff15910502c6fdc6269b0176d3b2","first_computed_at":"2026-05-18T03:31:55.126995Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T03:31:55.126995Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"7Kn5jP7ppoyuYTRJ4LLcYayrOot9U+pwfAHAQl3KUi6cv+QoWQUYs0Dzr8uMDx84GTkAGK0LllXm2hHNi7sMDw==","signature_status":"signed_v1","signed_at":"2026-05-18T03:31:55.127697Z","signed_message":"canonical_sha256_bytes"},"source_id":"1303.0722","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:a67beb02639c8f96d9b86bc9152e5bb9ff5c398b0c07f6a8ba227ade176b7766","sha256:6754a893b4566a3146f454129694c8f4fe1c76130fb69ec2535ac4824a47b244"],"state_sha256":"6ab0f68031a4a3dbc91994c30a6ef8311516cd617b92a1f2d77dbde536a59350"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"0evWUJrltzK1gvIzdZe+Z7W46pkNry5aG6iyKpho2MOXLEH9Pmyl78PBcWWaWu/mfQkp23Wd3cH5abUCUQ6YCQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-27T09:28:41.797749Z","bundle_sha256":"9ceba237a4174dfcdf714b7c23a187830964c6cd7163ea3ba78d1fa5335695ee"}}