Operationelle Programme sind Programme, die mit Hilfe der Operationellen Semantik analysiert werden können. Das trifft im Prinzip auf jedes Programm zu. Die Methode wird jedoch überwiegend

bei neuen komplexen Programmen (Entwicklungsprogramme) angewendet.