Pages that link to "Item:Q3994464"
From MaRDI portal
The following pages link to A method of programming. Translated from the Dutch by Joke Sterringa (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)