Programming Language Design for Safer Smart Contract Execution. Blo.web.dig.jrnl. 2025;2(2):9-18. Accessed August 31, 2026. https://galaxiauniverse.com/index.php/BWDTJ/article/view/448