编辑“︁Modula-3”︁（章节）

====过程调用====
过程调用有如下形式：<code>P(Bindings)</code>，这里的<code>P</code>是一个过程取值的表达式，而<code>Bindings</code>是关键字或位置绑定的一个列表。关键字绑定有如下形式：<code>name := actual</code>，这里的<code>actual</code>是一个表达式，而<code>name</code>是一个标识符。位置绑定有如下形式：<code>actual</code>，这里的<code>actual</code>是一个表达式。当关键字和位置绑定混合在一个调用中的时候，位置绑定必须前导于关键字绑定。如果绑定列表为空，圆括号仍然是需要的。

绑定列表要如下这样重写，来适合<code>P</code>的类型签名：首先，每个位置绑定<code>actual</code>，若为<code>Bindings</code>中的第<code>i</code>个绑定，则通过补充上第<code>i</code>个形式参数的名字，转换成关键字绑定增加到关键字绑定列表中。其次，对于有缺省值并且在第一步之后没有被绑定的每个形式参数，将它的形式参数的名字<code>name</code>和它的缺省值<code>default</code>，形成关键字绑定<code>name := default</code>增加到关键字绑定列表。重写成的关键字绑定列表必须只绑定形式参数，并且必须只绑定每个形式参数正好一次。

执行过程调用，需要求值过程取值表达式<code>P</code>和它的实际参数，绑定形式参数，并执行过程体。<code>P</code>和它的实际参数的求值次序是未定义的。调用一个未定义或<code>NIL</code>过程，是一个必查的运行时间错误。调用具有过程体<code>B</code>的真正过程，在绑定了实际参数之后等价于：
<syntaxhighlight lang="objectpascal">
TRY
    B
EXCEPT
    return-exception => (*skip*)
END
</syntaxhighlight>而调用具有过程体<code>B</code>的函数过程等价于：
<syntaxhighlight lang="objectpascal">
TRY
    B; (错误：没有返回值)
EXCEPT
    return-exception (v) => (结果成为v)
END
</syntaxhighlight>