Category:Program logic

This is an old revision of this page, as edited by Ruud Koot (talk | contribs) at 18:48, 31 January 2011 (Category:Non-classical logic). The present address (URL) is a permanent link to this revision, which may differ significantly from the current revision.

(diff) ← Previous revision | Latest revision (diff) | Newer revision → (diff)

Pages in category "Program logic"

The following 4 pages are in this category, out of 4 total. This list may not reflect recent changes.

H

Hoare logic

I

Interference freedom

P

Predicate transformer semantics

S

Separation logic

Retrieved from "https://en.wikipedia.org/w/index.php?title=Category:Program_logic&oldid=411211880"