Reasoning about effects: from lists to cyber-physical agents

Ian A. Mason, Carolyn L. Talcott

Theories for reasoning about programs with effects initially focused on basic manipulation of lists and other mutable data. The next challenge was to consider higher-order programm…