Searching for "A Generic Logic Environment." – sorted by Relevance.
3 documents found, showing 1 through 3.
-
Monad-independent Hoare Logic in HasCasl
- … such as non-deterministic stateful computations. Here, we show how one can also build a generic logical…
- Add To MetaCart
-
Monad-independent Hoare Logic in HasCasl
- …-deterministic stateful computations. Here, we show how one can also build a generic logical environment for reasoning…
- Cited by 12 (5 self) – Add To MetaCart
-
HASCASL: Integrated Higher-Order Specification and Program Development
- …-deterministic stateful computations. Our Hoare logic provides a generic logical environment for reasoning about monadic…
- Add To MetaCart
Showing 1 through 3.
