Category:Program logic

Source: Wikipedia, the free encyclopedia.

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=696226151"