Abdallah Ben Othman

Learn More
We introduce in this paper a new specification language named Praspel, for PHP Realistic Annotation and SPEcification Language. This language is based on the Design-by-Contract paradigm. Praspel clauses annotate methods of a PHP class in order to both specify their contracts, using pre-and postconditions, and assign realistic domains to the method(More)
  • 1