باسلا:
از مدیران محترم خواهش میکنم تاپیکم رو پاک نکنند .من دارم روی یه مقاله ای کار میکنم یه جا هایش رو درست متوجه نمی شم اگه ممکنه بهم کمک کنید و مفهومش رو بهم بگید .
it is well documented that even experienced programmers misunderstand complex libraries such as MPI
.Unfortunately,none of the current resource they have to clarify their understanding are satisfactory: the
mixture of natural language and semi-formal notations used in standard documents can be
misinterpreted,the behavior they observe through "experiments" conducted on actual platform only reveal
how someone else has implemented the API ,and formal specifications. as they are written and made
available ,are of little direct help to practitioners.with the move to multicores and other novel platforms,API specification emphasize "what" and not "how" may lead to more efficient implementations. program
analysis,verification,and platform testing of API implementations all can benefit from formal specifications.