News for hackers. Stuff that matters.

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

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 ]

There are no comments on this comment yet.