News for hackers. Stuff that matters.

A comment on Let's Talk Concurrency with Sir Tony Hoare.

Re:Let's Talk Concurrency with Sir Tony Hoare by User23 on Friday January 25, 2019 @10:53PM (#19004662)
Hoare notation literally made formally verified programs possible. The man is a great.
[ Parent | on HN ]
Re:Let's Talk Concurrency with Sir Tony Hoare by carlehewitt on Sunday January 27, 2019 @11:55AM (#19012489)
Induction is the most important principle for proving properties of programs.

The principle of Actor induction is:

   1. Suppose that an Actor x has property P when it is created.

   2. Further suppose that if x has property P when it receives a communication, 
      then it has property P when it has processed the communication.

   3. Then x always has the property P.
[ Parent | on HN ]