“Programming Language Design for Safer Smart Contract Execution”. Blockchain, Web3 & Digital Trust Journal p-ISSN 3117-597X and e-ISSN 3117-5988 2, no. 2 (June 28, 2025): 9–18. Accessed August 31, 2026. https://galaxiauniverse.com/index.php/BWDTJ/article/view/448.