functionalism in programming

The problem with most imperative programming languages is that there is no formal definition for the relationship between methods. Within one method, another is called, but the calling of the second method occurs in a way such that the formal definition of the calling method does not include the second method call.