On Nov 24, 2009, at 2:38 AM, Ben Du Boulay wrote:
There was interesting work done in the 70s exploring how non- programmers described in English tasks that, in principle, might be turned into programs (see e.g. Lance A. Miller, Thomas Green, John C. Thomas). The experiments showed that neither loops nor conditionals as often employed in imperative and other paradigms were "intuitive".
Sounds interesting. Can you provide more precise references? That'd be the Lance A. Miller of "EPISTLE" fame?