Notes concerning “Failure-free computing”
Constant-space grep
2014-02-24 (3 minutes)
More thoughts on powerful primitives for simplified computer systems architecture
2015-08-18 (updated 2015-11-02) (167 minutes)
Linear trees
2016-05-19 (updated 2015-05-20) (6 minutes)
Statically bounding runtime
2016-07-19 (4 minutes)
Generic programming with proofs, specification, refinement, and specialization
2017-05-10 (6 minutes)
Real time windowing
2017-08-03 (9 minutes)
Approaches to failure-free, bounded-space, and bounded-time programming
2018-04-27 (3 minutes)
Arduino safety
2018-12-10 (4 minutes)