Imperative and Declarative Paradigms