Описание тега differential-execution
Что такое дифференциальное исполнение и для чего оно нужно?
Дифференциальное выполнение - это способ многократного выполнения процедуры, в которой выполняется одновременная сериализация и десериализация. Это позволяет ему знать на каждом шаге, чем его текущее выполнение отличается от предыдущего выполнения. Это позволяет ему автоматически обнаруживать и реагировать на изменения, например, изменения в переменных состояния программы.
Одним из применений для этого является динамическое ведение сложных интерактивных диалогов пользовательского интерфейса, в результате чего достигается экономия исходного кода примерно на порядок, а функции выполняются с доказуемой корректностью.
Вот проект sourceforge, Dynamic Dialogs с полной реализацией в Visual C++ с MFC.