Title: Formalisms for program reification and fault tolerance