Title of article :
Proving pointer programs in higher-order logic
Author/Authors :
Farhad Mehta، نويسنده , , Tobias Nipkow، نويسنده ,
Issue Information :
روزنامه با شماره پیاپی سال 2005
Keywords :
Pointer programs , Hoare logic , Higher-order logic , Schorr–Waite algorithm , Verification
Journal title :
Information and Computation
Journal title :
Information and Computation
