37 - Higher-order Hoare logic
from V - Higher-order semantic models
Published online by Cambridge University Press: 05 August 2014
Summary
- Type
- Chapter
- Information
- Program Logics for Certified Compilers , pp. 340 - 346Publisher: Cambridge University PressPrint publication year: 2014