Use of Formal Languages Formal languages and pseudo-code can be useful as an aid in explanations, although English remains the primary method of describing protocols. Pseudo-code judged on the basis of clarity. Formal Languages (e.g., ABNF, XML, ASN.1 (MIBs)) Requires a normative reference to language specification RFC Editor will run verifier program. www.ietf.org/IESG/STATEMENTS/pseudo-code-in-specs.txt ftp.rfc-editor.org/in-notes/rfc-editor/UsingPseudoCode.txt |