Largo y tortuoso ha sido el camino que nos lleva hasta la meta. Hemos contrastado una especificación de lenguaje imperativa con una declarativa, hemos entendido las estrategias óptimas de cálculo ...

Existen muchos paradigmas de programación diferentes, cada uno de ellos tiene sus propias características y tratan de solucionar los problemas clásicos del desarrollo de software desde diferentes ...