English Praspel Cited by user Ivan Enderlin on 09 May 2012 Praspel (PHP Realistic Annotation and Specification Language) is a formal specification language for PHP.