Title of article
Proving pointer programs in higher-order logic
Author/Authors
Farhad Mehta، نويسنده , , Tobias Nipkow، نويسنده ,
Issue Information
روزنامه با شماره پیاپی سال 2005
Pages
28
From page
200
To page
227
Keywords
Pointer programs , Hoare logic , Higher-order logic , Schorr–Waite algorithm , Verification
Journal title
Information and Computation
Serial Year
2005
Journal title
Information and Computation
Record number
262292
Link To Document