{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2013:4MSNRTWLS65T37FJUKQSCZMWK2","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":"0c30340714cc7e9cf287a200d837f429da743ec53865ae01bf1c1e355b519956","cross_cats_sorted":["cs.SE"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2013-09-20T01:44:48Z","title_canon_sha256":"f95693d4535490699c6d18290539eb23bcf3945cef01a9ec5455d70ceabf2d48"},"schema_version":"1.0","source":{"id":"1309.5141","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1309.5141","created_at":"2026-05-18T03:12:47Z"},{"alias_kind":"arxiv_version","alias_value":"1309.5141v1","created_at":"2026-05-18T03:12:47Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1309.5141","created_at":"2026-05-18T03:12:47Z"},{"alias_kind":"pith_short_12","alias_value":"4MSNRTWLS65T","created_at":"2026-05-18T12:27:34Z"},{"alias_kind":"pith_short_16","alias_value":"4MSNRTWLS65T37FJ","created_at":"2026-05-18T12:27:34Z"},{"alias_kind":"pith_short_8","alias_value":"4MSNRTWL","created_at":"2026-05-18T12:27:34Z"}],"graph_snapshots":[{"event_id":"sha256:3fce78e1598c5ea98c746df2e03ab2888960d9efff37e1e343ec7f1844b9015a","target":"graph","created_at":"2026-05-18T03:12:47Z","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":"This paper presents the formal definition of a domain-specific language, named Pantagruel, following the methodology proposed by David Schmidt for language development. This language is dedicated to programming applications that orchestrate networked entities. It targets developers that are professionals in such domains as building management and assisted living, and want to leverage networked entities to support daily tasks.\n  Pantagruel has a number of features that address the requirements of the domain of entity orchestration. Furthermore, Pantagruel provides high-level constructs that mak","authors_text":"Charles Consel, Julien Mercadal, Zo\\'e Drey","cross_cats":["cs.SE"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2013-09-20T01:44:48Z","title":"Denotational Semantics of A User-Oriented, Domain-Specific Language"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1309.5141","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:65a2508111ac00a0413163cb883f73e71c6492d51e06f03c9ff91e5a8b92b592","target":"record","created_at":"2026-05-18T03:12:47Z","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":"0c30340714cc7e9cf287a200d837f429da743ec53865ae01bf1c1e355b519956","cross_cats_sorted":["cs.SE"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2013-09-20T01:44:48Z","title_canon_sha256":"f95693d4535490699c6d18290539eb23bcf3945cef01a9ec5455d70ceabf2d48"},"schema_version":"1.0","source":{"id":"1309.5141","kind":"arxiv","version":1}},"canonical_sha256":"e324d8cecb97bb3dfca9a2a121659656a03c96f838cf97065b5a473ab7dc7800","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"e324d8cecb97bb3dfca9a2a121659656a03c96f838cf97065b5a473ab7dc7800","first_computed_at":"2026-05-18T03:12:47.515249Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T03:12:47.515249Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"RQdxO6dNa6zWReEQt5mAbK+eE0qeImh1MaF1iBRcGzrvOjqutXdqgUXNBUv/GKVnXXqmUOuc0ZOP7u91yRlVAg==","signature_status":"signed_v1","signed_at":"2026-05-18T03:12:47.515870Z","signed_message":"canonical_sha256_bytes"},"source_id":"1309.5141","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:65a2508111ac00a0413163cb883f73e71c6492d51e06f03c9ff91e5a8b92b592","sha256:3fce78e1598c5ea98c746df2e03ab2888960d9efff37e1e343ec7f1844b9015a"],"state_sha256":"1b85575c05a2816fcd12a1433b362e59ebc0cfb61df59b3e794e48ddcba7e3a2"}