{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2019:AHPW3HB2KUID7KFI3Q3CSA25PY","short_pith_number":"pith:AHPW3HB2","schema_version":"1.0","canonical_sha256":"01df6d9c3a55103fa8a8dc3629035d7e0165f44eac16cba2bf0b2770b56db840","source":{"kind":"arxiv","id":"1904.00478","version":1},"attestation_state":"computed","paper":{"title":"Exploring the Generality of a Java-based Loop Action Model for the Quorum Programming Language","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.SE","authors_text":"Preetha Chatterjee","submitted_at":"2019-03-31T20:44:43Z","abstract_excerpt":"Many algorithmic steps require more than one statement to implement, but not big enough to be a method (e.g., add element, find the maximum, determine a value, etc.). These steps are generally implemented by loops. Internal comments for the loops often describe these intermediary steps, however, unfortunately a very small percentage of code is well documented to help new users/coders. As a result, information at levels of abstraction between the individual statement and the whole method is not leveraged by current source code analyses, as that information is not easily available beyond any int"},"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":"1904.00478","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2019-03-31T20:44:43Z","cross_cats_sorted":[],"title_canon_sha256":"33a6c0c6f1060d51f3e882c465497b3bb83c2ec50fe1dba1d92fb46a187c388f","abstract_canon_sha256":"341e5924b9a39e37dff1b2ca9ec4e60e124825def0cb5c1c2b97d71be555eaca"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-17T23:49:48.327097Z","signature_b64":"xIO7YJQBDY1IlrZWizHmjKHkaiY+3A1DmuoBoppLfYTXUMofqDGOhPJbr8FlQhGid+TsgvuXjAty/VoX8dxsBg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"01df6d9c3a55103fa8a8dc3629035d7e0165f44eac16cba2bf0b2770b56db840","last_reissued_at":"2026-05-17T23:49:48.326563Z","signature_status":"signed_v1","first_computed_at":"2026-05-17T23:49:48.326563Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Exploring the Generality of a Java-based Loop Action Model for the Quorum Programming Language","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.SE","authors_text":"Preetha Chatterjee","submitted_at":"2019-03-31T20:44:43Z","abstract_excerpt":"Many algorithmic steps require more than one statement to implement, but not big enough to be a method (e.g., add element, find the maximum, determine a value, etc.). These steps are generally implemented by loops. Internal comments for the loops often describe these intermediary steps, however, unfortunately a very small percentage of code is well documented to help new users/coders. As a result, information at levels of abstraction between the individual statement and the whole method is not leveraged by current source code analyses, as that information is not easily available beyond any int"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1904.00478","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":"1904.00478","created_at":"2026-05-17T23:49:48.326634+00:00"},{"alias_kind":"arxiv_version","alias_value":"1904.00478v1","created_at":"2026-05-17T23:49:48.326634+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1904.00478","created_at":"2026-05-17T23:49:48.326634+00:00"},{"alias_kind":"pith_short_12","alias_value":"AHPW3HB2KUID","created_at":"2026-05-18T12:33:12.712433+00:00"},{"alias_kind":"pith_short_16","alias_value":"AHPW3HB2KUID7KFI","created_at":"2026-05-18T12:33:12.712433+00:00"},{"alias_kind":"pith_short_8","alias_value":"AHPW3HB2","created_at":"2026-05-18T12:33:12.712433+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/AHPW3HB2KUID7KFI3Q3CSA25PY","json":"https://pith.science/pith/AHPW3HB2KUID7KFI3Q3CSA25PY.json","graph_json":"https://pith.science/api/pith-number/AHPW3HB2KUID7KFI3Q3CSA25PY/graph.json","events_json":"https://pith.science/api/pith-number/AHPW3HB2KUID7KFI3Q3CSA25PY/events.json","paper":"https://pith.science/paper/AHPW3HB2"},"agent_actions":{"view_html":"https://pith.science/pith/AHPW3HB2KUID7KFI3Q3CSA25PY","download_json":"https://pith.science/pith/AHPW3HB2KUID7KFI3Q3CSA25PY.json","view_paper":"https://pith.science/paper/AHPW3HB2","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1904.00478&json=true","fetch_graph":"https://pith.science/api/pith-number/AHPW3HB2KUID7KFI3Q3CSA25PY/graph.json","fetch_events":"https://pith.science/api/pith-number/AHPW3HB2KUID7KFI3Q3CSA25PY/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/AHPW3HB2KUID7KFI3Q3CSA25PY/action/timestamp_anchor","attest_storage":"https://pith.science/pith/AHPW3HB2KUID7KFI3Q3CSA25PY/action/storage_attestation","attest_author":"https://pith.science/pith/AHPW3HB2KUID7KFI3Q3CSA25PY/action/author_attestation","sign_citation":"https://pith.science/pith/AHPW3HB2KUID7KFI3Q3CSA25PY/action/citation_signature","submit_replication":"https://pith.science/pith/AHPW3HB2KUID7KFI3Q3CSA25PY/action/replication_record"}},"created_at":"2026-05-17T23:49:48.326634+00:00","updated_at":"2026-05-17T23:49:48.326634+00:00"}