7531 final 7_8_13

1. (a) ¿ Qué es una representacion segura de una abstraccion de datos¿ (b) Escribir una representacion sugura de cola en Oz.
2. (a) Escribir en Oz una intercalación de listas ordenadas que sea genérica con respecto a la función de comparacion de dos elementos. (b) Hacerlo en el lenguaje de la exposicion.
3. Describir y comparar pasaje de parámetros en su lenguaje, en Oz y en otros lenguajes vistos en clase.
4. Consideren el siguiente fragmento de programa en Oz:

local B in
	thread B=true end
	thread B=false end
	if B then {Browse yes} end
end

(a) Enumerar todas las posibles ejecuciones (mostrar la maquina de ejecucion en cada caso) del fragmento.
(b) Algunas de estas ejecuciones pueden terminar de manera anormal. Corregir el fragmento para que no haya comportamientos anormales.

7531 final 2010 07 21

1. Considerar el siguiente código:
local X Y Z in
X = Y
try
X = 1 Y = 2 Z = 3
catch Exception then
skip
end
{Browse X#Y#Z}
end
Mostrar la ejecución en la máquina abstracta de este programa, paso a paso, y mostrar qué se imprime.

2. Considerar el siguiente estado de la ejecución de una máquina abstracta en el modelo de computación del modelo declarativo:

( [ ( try skip catch E then skip end, {} ) ], {} )

¿Cuál es el próximo estado de la ejecución? Justificar.
a) ( [(skip, {}), (catch E, {}), (skip, {})], {} )
b) ( [(catch E, {}), (skip, {})], {} )
c) ( [(skip, {}), (catch E then skip end, {})], {} )
d) ( [(catch E then skip end, {})], {} )

3. Elegir 5 lenguajes de los que se presentaron en el curso, además del propio, y comparar sus mecanismos de excepciones.
Mi Lenguaje: …	Leng1: … 	Leng2: … 	Leng3: … 	Leng4: … 	Leng5: …

4. Escribir (a) en Oz y (b) en el propio lenguaje una función que dados m, n y arreglos a[1:n] y b[1:m] ordenados, construya la mezcla ordenada de ambos.