The following pages link to (Q3994464):
Displaying 8 items.
- Efficient GPU algorithms for parallel decomposition of graphs into strongly connected and maximal end components (Q518409) (← links)
- Predicate transformers and higher-order programs (Q672318) (← links)
- Constructing a program with exceptions (Q674271) (← links)
- Derivation of a rotator circuit with homogeneous interconnect (Q1607090) (← links)
- The co-invariant generator: An aid in deriving loop bodies (Q1911318) (← links)
- Fifty years of Hoare's logic (Q2280214) (← links)
- From Predicates to Programs: The Semantics of a Method Language (Q2870332) (← links)
- Mathematik für die Informatik (Q5221852) (← links)
