A dynamic default revision mechanism for speculative computation

A dynamic default revision mechanism for speculative computation