Praspel (PHP Realistic Annotation and Specification Language) est un langage de spécification pour PHP. Il est basé sur le paradigme de la programmation par contrat et utilise les préconditions, les postconditions, les invariantsetc Les spécifications sont ajoutées dans les commentaires du c...