Los bloques básicos de esta programación parametrizada son: módulos parametrizados, teorías y vistas: