Algoritmos y Programación en Pascal

5.5. Observaciones finales 79
De hecho, la frase “Obtener los catetos, CatA y catB” refleja precisamente el
cometido de su especificación.
De esta forma, la primera fase del desarrollo del programa anterior puede
escribirse así:
Program Cálculo de hipotenusa
begin
{CatA =?,catB =?}
Obtener los catetos, CatA y catB
{CatA = a,catB = b }
Hallar la hipotenusa, Hipo
{Hipo = √ a 2 + b 2 }
Escribir el resultado, Hipo
{Output = √ a 2 + b 2 }
end.
En las fases sucesivas se irá refinando el algoritmo, que se va convirtiendo
poco a poco en un programa.
5.5 Observaciones finales
❡❡
Limitaciones del tipo integer. Se ha escrito y ejecutado el programa
siguiente en un compilador en queMaxInt es32767. La ejecución del mismo
está representada en la columna de la derecha:
Program LimitacionesDeInteger (output);
{se asume la constante MaxInt = 32767}
var
n: integer;
begin
n:= 10000;
WriteLn(n); {10000}
n:= n*4;
WriteLn(n); {-25536}
n:= n div 4;
WriteLn(n) {-6384}
end. {LimitacionesDeInteger}
Se observa aquí que al ser Z, el dominio de integer, distinto de Z, las
operaciones correspondientes también tienen sus limitaciones. En el ejemplo
anterior, se produce un desbordamiento en la segunda instrucción del
programa.