A sample of writing a loop in Action Semantic codes

int i = 0;

for(; i<10; ++i)

{ do something; }

allocate a cell -- 这里没有类型化的内存分配

then

bind i to the given Cell

then

give the Cell bound to i

then

store the value of 0 in the given Cell -- 注意这里0是字符值

then

unfolding

give the Integer bound to i

and then give(the given Integer is less than the value of 10)

then

check(the given TruthValue is true)

and then execute do something

and then give the Integer bound to i

and then give sum(the value of 1, the given Integer)

and then store the given Integer in the Cell bound to i

and then unfold

check(the given TrueValue is false) and then complete

and then, and, then, or的语义示意图:
A sample of writing a loop in Action Semantic codes