TMPA-2015: The Verification of Functional Programs by Applying Statechart Dia...Iosif Itkin
The Verification of Functional Programs by Applying Statechart Diagrams Construction Method
Andrew Mironov, IPI, Moscow
12 - 14 November 2015
Tools and Methods of Program Analysis in St. Petersburg
TMPA-2015: The Verification of Functional Programs by Applying Statechart Dia...Iosif Itkin
The Verification of Functional Programs by Applying Statechart Diagrams Construction Method
Andrew Mironov, IPI, Moscow
12 - 14 November 2015
Tools and Methods of Program Analysis in St. Petersburg
15. Æèøýý
íü:
IF(A10=100,Sum(B5:B15),”
Ýíä
”)
áè÷èãäñýí IF ôóíêö íü äàðààõü óòãûã
áóöààíà. A10 í¿äýí äýõ ºãºãäºë 100 áîë B5 B10
í¿äí¿¿äýä àãóóëàãäàõ òîîí óòãûí íèéëáýðèéã
îëíî. Õýðýâ 100 áèø áîë õîîñîí óòãà áóöààíà.
Í
è
é ë á ý ð è é ã îë îõ í¿ ä í¿ ¿ ä è é í õ à ÿ ã è é ã à â íà