مرکز منطقه ای اطلاع رساني علوم و فناوري - Weakest preconditions for pure Prolog programs

Title of article :

Weakest preconditions for pure Prolog programs

Author/Authors :

Dino Pedreschi، نويسنده , , Salvatore Ruggieri، نويسنده ,

Issue Information :

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

Pages :

From page :

145

To page :

150

Keywords :

Logic programming , Prolog , Weakest preconditions , Weakest liberal preconditions , Program correctness , Hoareיs logic

Journal title :

Information Processing Letters

Serial Year :

1998

Journal title :

Information Processing Letters

Record number :

128932

Link To Document :