Re: Reference to an EWD
23 views
Skip to first unread message
Jeremy Weissmann
Jul 9, 2011, 4:21:57 PM7/9/11
to Simon Hudon, mathmeth
Hmmmm... I can't! Cc'ing some others on this, though.
+j
Sent from my iPhone
On Jul 9, 2011, at 15:56, Simon Hudon <simon...@gmail.com> wrote:
> Hi Jeremy,
>
> I am now writing the intro of my thesis and I'm looking for a reference to an EWD in which Dijkstra argues that the variant of a loop is one of the first ingredients that one needs before writing the body of a loop. Can you think of one off the top of your head?
>
> Cheers,
> Simon
Jamie Oglethorpe
Jul 12, 2011, 2:50:53 AM7/12/11
to Calculational Mathematics
The earliest reference I found is on page 9 of EWD472 - Guarded
commands, non-determinacy and formal derivation of programs. This was
a summary of his book A Discipline of Programming, and appeared as an
article in Communications of the ACM (CACM 18 (1975), 8: 453-457).
To my knowedge this was the first time that the programming community
was made aware of his ideas of developing programs and their proofs in
tandem.
Jamie O in Jo'burg
On Jul 9, 10:21 pm, Jeremy Weissmann <plusjer...@gmail.com> wrote:
> Hmmmm... I can't! Cc'ing some others on this, though.
>
> +j
>
> Sent from my iPhone
>
commands, non-determinacy and formal derivation of programs. This was
a summary of his book A Discipline of Programming, and appeared as an
article in Communications of the ACM (CACM 18 (1975), 8: 453-457).
To my knowedge this was the first time that the programming community
was made aware of his ideas of developing programs and their proofs in
tandem.
Jamie O in Jo'burg
On Jul 9, 10:21 pm, Jeremy Weissmann <plusjer...@gmail.com> wrote:
> Hmmmm... I can't! Cc'ing some others on this, though.
>
> +j
>
> Sent from my iPhone
>
Reply all
Reply to author
Forward
0 new messages