Pages that link to "Item:Q5684221"
From MaRDI portal
The following pages link to Proof of a structured program: 'The sieve of Eratosthenes' (Q5684221):
Displaying 9 items.
- Space efficient processor identity protocol (Q910199) (← links)
- Axiomatic data type specifications: A first order theory of linear lists (Q1153682) (← links)
- The formal definition of a real-time language (Q1153685) (← links)
- A criterion for atomicity (Q1192605) (← links)
- More comments on the programming language Pascal (Q1214259) (← links)
- An axiomatic proof technique for parallel programs (Q1219675) (← links)
- On a new approach to representation independent data classes (Q1234589) (← links)
- Two implementations of the conditional critical region using split binary semaphore (Q1255779) (← links)
- Fifty years of Hoare's logic (Q2280214) (← links)
