Title: Language design to enhance programming reliability