Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 238,166,228 papers from all fields of science
Search
Sign In
Create Free Account
Praspel
Praspel (PHP Realistic Annotation and Specification Language) is a formal specification language for PHP. It is based on the design-by-contract…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
9 relations
ANSI/ISO C Specification Language
Comment (computer programming)
Design by contract
Formal specification
Expand
Broader (1)
PHP
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2014
2014
Praspel: Contract-Driven Testing for PHP using Realistic Domains
Ivan Enderlin
,
F. Bouquet
,
Frédéric Dadeau
,
Alain Giorgetti
2014
Corpus ID: 195938842
We present an integrated contract-based testing framework for PHP. It relies on a behavioral interface specification language…
Expand