Hoare: A Half-Century of Computing

#1

Post by __Rahul » Fri, Aug 12, 2011, 8:19 AM UTC

Hoare: A Half-Century of Computing
research.microsoft.com

Re: Hoare: A Half-Century of Computing

#2

Post by tuukkah » Fri, Aug 12, 2011, 12:22 PM UTC

But I have now discovered a way of getting the three major traditions in the exploration of the theory of programming under the same umbrella. It’s so simple I can tell people in 20 minutes what it’s all about.

Anyone have a link to an exposition?

Re: Hoare: A Half-Century of Computing

#3

Post by stiff » Fri, Aug 12, 2011, 1:44 PM UTC

tuukkah wrote: post #2

But I have now discovered a way of getting the three major traditions in the exploration of the theory of programming under the same umbrella. It’s so simple I can tell people in 20 minutes what it’s all about. Anyone have a link to an exposition?

I found this:

http://research.microsoft.com/apps/pubs/default.aspx?id=6862... http://www.unifyingtheories.org/

Re: Hoare: A Half-Century of Computing

#4

Post by jdp23 » Fri, Aug 12, 2011, 1:52 PM UTC

I was lucky enough to do some work with Tony when I was at Microsoft Research. As well as being brilliant, he's a gentleman in the best sense of the word -- and continues to remain open to new ideas. I sure hope I'm like him when I grow up!

Re: Hoare: A Half-Century of Computing

#5

Post by tuukkah » Fri, Aug 12, 2011, 1:54 PM UTC

tuukkah wrote: post #2

But I have now discovered a way of getting the three major traditions in the exploration of the theory of programming under the same umbrella. It’s so simple I can tell people in 20 minutes what it’s all about. Anyone have a link to an exposition?

Finally found this from last month, but I don't think people will understand in 20 minutes:

An Algebra for Program Designs http://research.microsoft.com/en-us/um/redmond/events/sssev2...

Re: Hoare: A Half-Century of Computing

#6

Post by tuukkah » Fri, Aug 12, 2011, 2:00 PM UTC

stiff wrote: post #3

tuukkah wrote: post #2

But I have now discovered a way of getting the three major traditions in the exploration of the theory of programming under the same umbrella. It’s so simple I can tell people in 20 minutes what it’s all about. Anyone have a link to an exposition?

I found this: http://research.microsoft.com/apps/pubs/default.aspx?id=6862... http://www.unifyingtheories.org/

That's what he calls the first attempt 13 years ago.

Re: Hoare: A Half-Century of Computing

#7

Post by pasbesoin » Fri, Aug 12, 2011, 2:25 PM UTC

tuukkah wrote: post #5

tuukkah wrote: post #2

But I have now discovered a way of getting the three major traditions in the exploration of the theory of programming under the same umbrella. It’s so simple I can tell people in 20 minutes what it’s all about. Anyone have a link to an exposition?

Finally found this from last month, but I don't think people will understand in 20 minutes: An Algebra for Program Designs http://research.microsoft.com/en-us/um/redmond/events/sssev2...

For the PowerPoint avoidant (including myself):

http://docs.google.com/gview?url=http%3A%2F%2Fresearch.micro...