Termina la ejecución de un subprograma. Exclusivamente en el caso de las funciones, debe llevar asociada una expresión que representa el valor a devolver como resultado de la ejecución de la función.
simple_return_statement ::= return [expression];
procedure Sumar (A, B: in Integer; S : out Integer) is begin S := A + B; return; -- Si se omite se tiene el mismo efecto end Sumar;
function Suma (A, B: Integer) return Integer is begin return A + B; -- No se puede omitir end Sumar;