Praspel

Praspel (PHP Realistic Annotation and Specification Language) is a formal specification language for PHP. It is based on the design-by-contract… (More)
Wikipedia

Topic mentions per year

Topic mentions per year

2011-2018
0120112018

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2018
2018
We summarize several contributions related to the PHP Realistic Annotation and SPEcification Language (Praspel). This language… (More)
  • figure 1
  • figure 2
  • figure 4
  • figure 5
  • figure 6
Is this relevant?
2013
2013
In previous works, we have proposed Praspel, a framework for contract-based testing in PHP. Among others, it includes a… (More)
  • table I
Is this relevant?
2011
2011
We introduce in this paper a new specification language named Praspel, for PHP Realistic Annotation and SPEcification Language… (More)
  • figure 1
  • figure 2
  • figure 6
  • figure 7
  • figure 8
Is this relevant?