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.