Can Programming be Liberated, Period?
This talk reports on a recent dream/vision paper I've just published, whose title is a play on that of John Backus' famous Turing Award Lecture (and paper). I will propose that -- or rather ask whether -- programming can be liberated from its three main straight jackets:
- having to produce a tangible artifact in some language;
- having actually to produce two separate artifacts (the program and the requirements) and having then to pit one against the other;
- having to program each piece/part/object of the system separately.
The technical part of the talk will provide some very modest evidence of feasibility of the dream, via the play-in/play-out approach to scenario-based programming.