A static programming paradigm

Formal methods have not as yet succeeded in becoming an accepted way to develop software. This paper explores whether a possible reason for this is the complexity of the tools we use, in particular, the programming paradigms. Existing programming paradigms view a program as something that is executed or evaluated, requiring reasoning about the dynamic behaviour of a program. Reasoning about something dynamic is considerably more complex than a static situation. The question considered here is whether it is possible to reason about a program in a static way, and in this way reduce the complexity of the tools we work with