Nicht nur in der sogenannten IT-Branche naehern sich Lizenz- und andere Vetraege in ihrer Sprache anscheinend immer mehr Programmiersprachen an. Zunaechst einmal wird definiert, zwischen welchen Parteien uberhaupt der Vertrag geschlossen wird (Deklaration der Variablen), was Gegenstand des Vertrags ist (Prozedur, wenn man so will) und unter welchen Bedingungen die Vertragsleistung erbracht wird (Plausibilitaetspruefung der Ablaufumgebung, der Ein- und Ausgabegroessen ...). Beim Debuggen vieler Vertraege stoesst man meist auf jede Menge undefinierter Variablen - kein Wunder, dass Juristen Hochkonjunktur haben, oft stimmt ja nicht einmal die Syntax ...