சிறப்பு constructs மற்றும், சில சமயங்களில், உறுதிப்படுத்துவதற்காக நெறிமுறைகள், மேம்படுத்த, பயன்படுத்தப்படும் specification மொழி ஆராயவும் உதவும் மற்றும் நிரல் வடிவமை ஆவணம்.