4 ms·
I have specifically mentioned two such attempts.
by stiff 12y ago
I have specifically mentioned two such attempts.
- loup-vaillant 12y agoOkay. 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 12y agoThere 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