Mozart OZ

Grupo Lider en la apropiación, desarrollo, uso y difusión de tecnología, ciencia y cultura libre.

Mozart OZ

Página oficial: http://mozart.github.io/

Mozart es un sistema de programación, en el cual se hace uso del Lenguaje de programación OZ, el cual es multiparadigma,

(utilizado en los ejemplos del libro Conceptos, Técnicas y Modelos de Programación escrito por Peter Van Roy y Seif Haridi, disponible en https://drive.google.com/file/d/0B6MNn_iVNIDvZTM5STY1VVo0cTQ/view?usp=sharing)

Es Opensource: https://github.com/mozart/mozart2#downloads

El modelo de computación declarativa (el cual incluye la programación funcional y la programación lógica determinista) garantiza que las computaciones sean evaluaciones de funciones sobre estructuras de datos parciales, donde una computación es un estado de ejecución transformado paso a paso desde un estado inicial a un estado final.

Un lenguaje de programación se define a partir de su sintaxis (definida por reglas gramaticales) y de su semántica (que define lo que un programa hace cuando se ejecuta)

Enfoque Kernel Language

Es una forma de lograr una semántica simple para un lenguaje práctico usado para construir sistemas complejos.

Existen dos clases de traducciones, las abstracciones lingüísticas (ejemplos: funciones en el lenguaje práctico son traducidas a procedimientos en el Kernel Language, iteraciones, clases) y azúcar sintáctico (forma abreviada que facilita la lectura)

Tags:

Deja un comentario

Tu dirección de correo electrónico no será publicada. Los campos obligatorios están marcados con *