{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2017:ZJ5KDVZ2LTGTTATSNP5F4IYXJS","short_pith_number":"pith:ZJ5KDVZ2","schema_version":"1.0","canonical_sha256":"ca7aa1d73a5ccd3982726bfa5e23174c83aae70020e4793236d9032b77bd3410","source":{"kind":"arxiv","id":"1707.02833","version":1},"attestation_state":"computed","paper":{"title":"Tabula: A Language to Model Spreadsheet Tables","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.SE","authors_text":"Jo\\~ao Saraiva, Jorge Mendes","submitted_at":"2017-07-10T13:08:29Z","abstract_excerpt":"Spreadsheets provide a flexible and easy to use software development environment, but that leads to error proneness. Work has been done to prevent errors in spreadsheets, including using models to specify distinct parts of a spreadsheet as it is done with model-driven software development. Previous model languages for spreadsheets offer a limited expressiveness, and cannot model several features present in most real world spreadsheets.\n  In this paper, the modeling language Tabula is introduced. It extends previous spreadsheet models with features like type constraints and nested classes with "},"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":"1707.02833","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2017-07-10T13:08:29Z","cross_cats_sorted":[],"title_canon_sha256":"16f45c97042250fd0db9b01afea6896e78d1028d447074e8b863a60f602777da","abstract_canon_sha256":"156f47e9b4c530ea7bde61d89dbb5815d5fee70833fb9cfe4dbf4056e275f5f5"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:40:35.682424Z","signature_b64":"9YxVAgNAzMLuf6fDgRi+lvD9XGykQE7J+ADm5BMH1Ozm2wYjiMfIBnkDkDh2S7U45gw0chcWVJp8wy/tITJyCg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"ca7aa1d73a5ccd3982726bfa5e23174c83aae70020e4793236d9032b77bd3410","last_reissued_at":"2026-05-18T00:40:35.681758Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:40:35.681758Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Tabula: A Language to Model Spreadsheet Tables","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.SE","authors_text":"Jo\\~ao Saraiva, Jorge Mendes","submitted_at":"2017-07-10T13:08:29Z","abstract_excerpt":"Spreadsheets provide a flexible and easy to use software development environment, but that leads to error proneness. Work has been done to prevent errors in spreadsheets, including using models to specify distinct parts of a spreadsheet as it is done with model-driven software development. Previous model languages for spreadsheets offer a limited expressiveness, and cannot model several features present in most real world spreadsheets.\n  In this paper, the modeling language Tabula is introduced. It extends previous spreadsheet models with features like type constraints and nested classes with "},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1707.02833","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":"1707.02833","created_at":"2026-05-18T00:40:35.681838+00:00"},{"alias_kind":"arxiv_version","alias_value":"1707.02833v1","created_at":"2026-05-18T00:40:35.681838+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1707.02833","created_at":"2026-05-18T00:40:35.681838+00:00"},{"alias_kind":"pith_short_12","alias_value":"ZJ5KDVZ2LTGT","created_at":"2026-05-18T12:31:59.375834+00:00"},{"alias_kind":"pith_short_16","alias_value":"ZJ5KDVZ2LTGTTATS","created_at":"2026-05-18T12:31:59.375834+00:00"},{"alias_kind":"pith_short_8","alias_value":"ZJ5KDVZ2","created_at":"2026-05-18T12:31:59.375834+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/ZJ5KDVZ2LTGTTATSNP5F4IYXJS","json":"https://pith.science/pith/ZJ5KDVZ2LTGTTATSNP5F4IYXJS.json","graph_json":"https://pith.science/api/pith-number/ZJ5KDVZ2LTGTTATSNP5F4IYXJS/graph.json","events_json":"https://pith.science/api/pith-number/ZJ5KDVZ2LTGTTATSNP5F4IYXJS/events.json","paper":"https://pith.science/paper/ZJ5KDVZ2"},"agent_actions":{"view_html":"https://pith.science/pith/ZJ5KDVZ2LTGTTATSNP5F4IYXJS","download_json":"https://pith.science/pith/ZJ5KDVZ2LTGTTATSNP5F4IYXJS.json","view_paper":"https://pith.science/paper/ZJ5KDVZ2","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1707.02833&json=true","fetch_graph":"https://pith.science/api/pith-number/ZJ5KDVZ2LTGTTATSNP5F4IYXJS/graph.json","fetch_events":"https://pith.science/api/pith-number/ZJ5KDVZ2LTGTTATSNP5F4IYXJS/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/ZJ5KDVZ2LTGTTATSNP5F4IYXJS/action/timestamp_anchor","attest_storage":"https://pith.science/pith/ZJ5KDVZ2LTGTTATSNP5F4IYXJS/action/storage_attestation","attest_author":"https://pith.science/pith/ZJ5KDVZ2LTGTTATSNP5F4IYXJS/action/author_attestation","sign_citation":"https://pith.science/pith/ZJ5KDVZ2LTGTTATSNP5F4IYXJS/action/citation_signature","submit_replication":"https://pith.science/pith/ZJ5KDVZ2LTGTTATSNP5F4IYXJS/action/replication_record"}},"created_at":"2026-05-18T00:40:35.681838+00:00","updated_at":"2026-05-18T00:40:35.681838+00:00"}