a + b * c
a b c * +
/
1000 ms 32 Mb Rules for program design and list of errors in automatic problem checking