Programming language facilities for backward error recovery in real-time systems