Hoare logic

Results: 111



#Item
111Software engineering / Procedural programming languages / Logic in computer science / Hoare logic / Type theory / Separation logic / Standard ML / Heap / ALGOL 68 / Programming language theory / Theoretical computer science / Program logic

PDF Document

Add to Reading List

Source URL: ynot.cs.harvard.edu

Language: English - Date: 2011-07-10 14:38:56
UPDATE