Skip to main content

Can Programming be Liberated, Period?

Professor David Harel ( Dept. of Computer Science and Applied Mathematics, Weizmann Institute of Science )

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:

  1. having to produce a tangible artifact in some language;
  2. having actually to produce two separate artifacts (the program and the requirements) and having then to pit one against the other;
  3. 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.

Share this: