Title of article
Weakest preconditions for pure Prolog programs
Author/Authors
Dino Pedreschi، نويسنده , , Salvatore Ruggieri، نويسنده ,
Issue Information
دوهفته نامه با شماره پیاپی سال 1998
Pages
6
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