Tag
The article explores how AI code generation excels at local code chunks but struggles with global program understanding, leading to excessive defensive checks. It examines whether programming language design can help, using an example of local reasoning assuring global properties.