3 ms·

Okay. Though if it's not a peer reviewed paper, it doesn't exist. Anyway, I have a more positive outlook: those "failures" are just the beginning. We'll buil

Okay. Though if it's not a peer reviewed paper, it doesn't exist. Anyway, I have a more positive outlook: those "failures" are just the beginning. We'll build on those. We failed to fly for a long time, for instance.

stiff 13y ago
There are lots of papers, dating back to the 1970s: http://www.cs.ox.ac.uk/activities/publications/date/algprog.html http://www.cs.ox.ac.uk/activities/publications/date/algprog.... Actually Dijkstra also was a proponent of deriving programs, it's discussed in his "Discipline of programming" and 30 years ago there was some interest in this, with lots of papers published, but it never gained much traction: http://en.wikipedia.org/wiki/Program_derivation http://en.wikipedia.org/wiki/Program_derivation