Los procedimientos y funciones pueden tener parámetros formales asociados. Estos parámetros se instancian con copias de los parámetros reales cuando se llama al procedimiento o función. Si queremos devolver un valor debemos usar una función. Sin embargo, las funciones sólo pueden devolver un valor individual. Para solventar esta situación se emplea un mecanismo mediante el cual las rutinas puedan devolver más de un valor, u operar utilizando parámetros reales en lugar de copias. De hecho, la mayoría de los lenguajes de programación imperativos también permiten que los parámetros sean transferidos desde los procedimientos.
