Abstract A commonly used approach to develop deterministic parallel programs is augment a sequential program with compiler directives that indicate which blocks may potentially be executed in parallel. This paper develops verification technique reason about such directives, particular show they do not change the behaviour of program. Moreover, tool-supported and can combined proving functional ...

among sanayi’s works, haghighat al haghigha is of significant importance and has been traditionally noticed and admired by many poets and scholars. in this long verse, there are a lot of social- cultural- religious information expressed in an artistic language with an extended vocabulary of which its true understanding is not so simple to everybody. some difficulties, however, does not lie in t...