2025. Programming Language Design for Safer Smart Contract Execution. Blockchain, Web3 & Digital Trust Journal p-ISSN 3117-597X and e-ISSN 3117-5988. 2, 2 (Jun. 2025), 9–18.