Fault-tolerant typed assembly language
ACM SIGPLAN Notices
David Walker
David I. August
Jay Ligatti
Lester Mackey
Frances Perry
Improving the Fault Resilience of an H.264 Decoder Using Static Analysis Methods