Praspel
પ્રસપેલ (પી. એચ. પી. રિયલિસ્ટિક એનોટેશન એન્ડ સ્પેસિફિકેશન લેંગ્વેજ) એ પી. એચ. પી. માટે ઔપચારિક સ્પષ્ટીકરણ ભાષા છે. તે ડિઝાઇન-બાય-કોન્ટ્રાક્ટ દાખલા પર આધારિત છે અને પૂર્વશરત, પોસ્ટકંડીશન, અપરિવર્તન વગેરેનો ઉપયોગ કરે છે. PHP કોડની ટિપ્પણીઓમાં સ્પષ્ટીકરણો લખવામાં આવે છે (હંમેશા સુલભ). પ્રસપેલનો ઉપયોગ મેન્યુઅલ અથવા ઓટોમેટિક સોફ્ટવેર માન્યતા અને ચકાસણી માટે થાય છે, જે વાસ્તવિક ક્ષેત્રોને આભારી છે. ગ્રંથસૂચિ PHP