Ein Beispiel für eine nicht-formale Spezifikation eines üblichen Pseudo-Code-Konzeptes ist, dass der Typ eines Parameters angeschrieben werden kann, aber nicht angeschrieben werden muss, wenn er eindeutig hervorgeht oder irrelevant für die Lösung ist.