مرکز منطقه ای اطلاع رساني علوم و فناوري - An experiment with the use of predicate transformers in UNITY

Title of article :

An experiment with the use of predicate transformers in UNITY

Author/Authors :

Rutger M. Dijkstra، نويسنده ,

Issue Information :

دوهفته نامه با شماره پیاپی سال 1995

Pages :

From page :

329

To page :

332

Keywords :

Program correctness , Parallel algorithms , Proof methodology

Journal title :

Information Processing Letters

Serial Year :

1995

Journal title :

Information Processing Letters

Record number :

128221

Link To Document :