All programming languages I know of provide at least some guarantees about the program’s behavior.