Eine Methode zum Übergeben von Parametern, in denen des aufrufenden Moduls bietet an das aufgerufene Modul einen symbolischen Ausdruck, die den Parameter übergeben werden, und eine Service-Routine wertet den Ausdruck aus und stellt den resultierenden Wert an das aufgerufene Modul. Hinweis: da der Ausdruck entsprechenden formalen Parameters wird das aufgerufene Modul für jedes Mal ausgewertet wird, kann der Wert des Parameters während der Ausführung des aufgerufenen Moduls ändern.