Programming Language Design for Safer Smart Contract Execution. Blo.web.dig.jrnl 2025, 2 (2), 9-18.