===Final 7-8-2013====

  - 
    - ¿ Qué es una representacion segura de una abstraccion de datos ?
    - Escribir una representacion sugura de cola en Oz.
  - 
    - Escribir en Oz una intercalación de listas ordenadas que sea genérica con respecto a la función de comparacion de dos elementos.
    - Hacerlo en el lenguaje de la exposicion.
  - Describir y comparar pasaje de parámetros en su lenguaje, en Oz y en otros lenguajes vistos en clase.
  - Consideren el siguiente fragmento de programa en Oz:<code>local B in
    thread B=true end
    thread B=false end
    if B then {Browse yes} end
end</code>
    - Enumerar todas las posibles ejecuciones (mostrar la maquina de ejecucion en cada caso) del fragmento.
    - Algunas de estas ejecuciones pueden terminar de manera anormal. Corregir el fragmento para que no haya comportamientos anormales.