Patterns for failure-free, bounded-space, and bounded-time programming