The following pages link to Dean Jacobs (Q1106018):
Displayed 6 items.
- Corrections to ``A synthesis of several sorting algorithms'' by J. Darlington (Q1106020) (← links)
- General correctness: A unification of partial and total correctness (Q2265798) (← links)
- Compatibility problems in the development of algebraic module specifications (Q2638799) (← links)
- (Q3355245) (← links)
- Static analysis of logic programs for independent and parallelism (Q4012712) (← links)
- (Q4732088) (← links)