Final 7-8-2013

    1. ¿ Qué es una representacion segura de una abstraccion de datos ?
    2. Escribir una representacion sugura de cola en Oz.
    1. Escribir en Oz una intercalación de listas ordenadas que sea genérica con respecto a la función de comparacion de dos elementos.
    2. 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
    1. Enumerar todas las posibles ejecuciones (mostrar la maquina de ejecucion en cada caso) del fragmento.
    2. Algunas de estas ejecuciones pueden terminar de manera anormal. Corregir el fragmento para que no haya comportamientos anormales.