Problem with understanding the Mathematical Language

Thread Starter

zulfi100

Joined Jun 7, 2012
656
Hi,

I have downloaded the slides from the site:

No writes after calls.jpg

It says No writes after calls. I can understand this concept. It’s a remedy for reentrancy problem. But it shows compliance and security patterns in some technical language related to Datalog or to some language related to software representation. Can some body please guide me what is the meaning of those equations?



Zulfi.
 
Top