Pourquoi (un calcul de processus)

• Définition: un « calcul » est un outil mathématiques utile à la compréhension, la conception et l’implantation des systèmes / langages de programmation

  • il fournit un cadre simple et économique qui permet d’exprimer les traits caractéristiques d’un langage de programmation.

• Exemple: le l-calcul a été utilisé pour comprendre les notions de récursion, de variable (et de portée), d’exception, de typage, …