Dies ist die gesamte Information, die einem Anwender der Prozedur Zerlege bekannt sein muß. Die interne Realisierung ist ihm nicht zugänglich, und sie soll ihn auch nicht interessieren; wir behalten uns vor, sie abzuändern (und dabei hoffentlich zu verbessern), ohne daß er dies wissen oder gar sein Programm neu übersetzen muß; ein neuer Bindevorgang wird dann allerdings nötig sein, da sich ja der ausführbare Code geändert hat.DEFINITION MODULE Zahlen; (* Modul zur Faktorisierung natuerlicher Zahlen *) (* Vorlesung EI1 WS 1999/2000 *) (* Klaus Lagally, 09.11.1999 *) PROCEDURE Zerlege(n: CARDINAL); (* bestimme die Primfaktorzerlegung der Zahl n *) (* und gib sie in der Form n=f1*f2*...*fk aus *) END Zahlen.
Bevor das Definitions-Modul verwendet werden kann, muß es noch in eine geeignete interne Darstellung übersetzt werden.
Die Realisierung für das Bibliotheks-Modul findet sich in einem gleichbenannten Implementierungs-Modul.