Automatic Programming Do What I Mean (not 100$ Line of code!, no programming bugs) The holy grail of programming languages & systems
Devise a specification language or UI
- That is easy for people to express designs (1,000x easier),
- That computers can compile, and
- That can describe all applications (is complete).
System should “reason” about application
- Ask about exception cases.
- Ask about incomplete specification.
- But not be onerous.
This already exists in domain-specific areas. (i.e. 2 out of 3 already exists)
An imitation game for a programming staff.