Chandy K., Misra J. — Parallel Program Design: A Foundation
Обсудите книгу на
Нашли опечатку? Выделите ее мышкой и нажмите Ctrl+Enter
Название: Parallel Program Design: A Foundation
Авторы: Chandy K., Misra J.
Аннотация:
A complete theory of programming includes
1. A method for specification of programs which permits individual requirements
to be clearly stated and combined.
2. A method of reasoning about specifications, which aids in elucidation and
evaluation of alternative designs.
3. A method of developing programs together with a proof that they meet
their specification.
4. A method of transforming programs to achieve high efficiency on the
machines available for their execution.
|
|
О проекте