Formal language | Formal concept analysis | RenderMan Interface Specification | Publicly Available Specification | Open XML Paper Specification | National Building Specification | Language-independent specification | Healthcare Services Specification Project | Formal verification | Formal theory | formal language | Formal equivalence checking | Austronesian Formal Linguistics Association |
Praspel (PHP Realistic Annotation and Specification Language) is a formal specification language for PHP.