Foundations of Meta-programming - University of Sussex

Foundations of Meta-programming

La MetaProgramacion posee muchas características estas  se pueden clasificar de varias maneras, tales como: generativa es la que se centra en la creación de programas la  intencional o la que se basa en el análisis de programas ya sea tiempo de compilación pasando mientras que los programas se compilan en tiempo de ejecución la que tiene lugar en el marco de la ejecución del programa heterogéneos en donde la generación de sistema o analizar el programa es diferente del sistema que está siendo generada o analizada, la  homogénea en donde los sistemas implicados son los mismos, la  léxica trabajando en cadenas simples o sintáctica trabajando en árboles de sintaxis abstracta.

Entre las universidades que se encuentran desarrollan de proyectos basado en este tema tenemos la Universidad de Sussex

El proyecto se llama “Foundations of Meta-programming”

El propósito de la investigación propuesta es poner MetaPrograming  sobre una base firme.

Esto implica varias tareas distintas pero relacionadas:

• Proporcionar una base firme y formal, conveniente para MP en forma de un cálculo fundamental que explica todas las características clave MetaPrograming
• Proporcionar un algoritmo que se extiende a cualquier lenguaje de programación con el MetaPrograming construye de manera uniforme y de manera mecánica.
• Desarrollar  lógicas de  programa de construcción que pueden especificar y verificar meta-programas,

También se encuentra actualmente  una herramienta imprescindible cuando se trata de automatizar procesos secuenciales de cierta complejidad con autómatas programables.

El GRAFCET es un diagrama funcional que describe la evolución del proceso que se quiere automatizar tal y como se muestra en la figura. Está definido por unos elementos gráficos y unas reglas de evolución que reflejan la dinámica del comportamiento del sistema.

Surge en Francia a mediados de los años 70, debido a la colaboración de algunos fabricantes de autómatas, como Telemecanique y Aper con dos organismos oficiales, AFCET (Asociación francesa para la cibernética, economía y técnica) y ADEPA (Agencia nacional para el desarrollo de la producción automatizada). Homologado en Francia, Alemania, y posteriormente por la comisión Electrónica Internacional (IEC 848, año 1988) .

Automatic Programming - Programacion Automatizada

¿Que es un sistema automatizado?

Un sistema automatizado es la automatización, como los dice la palabra, de un sistema donde se trasfieren tareas de producción realizadas habitualmente por operadores humanos a un conjunto de elementos tecnológicos.

Llevando esto al lado de programación significa que se escribir un código que pueda escribir otros códigos. Esto es sinónimo de Metaprogramas que consiste en escribir programas que escriben o manipulan otros programas como datos, lo que hacen en tiempo de compilación parte del trabajo que de otra forma se haría en tiempo de ejecución. Un ejemplo sencillo de MetaProgramacion es: printf ( "printf (\" Hola mundo \ ");"); que da salida a un programa en C que, cuando se ejecuta, grabados "Hello World!

En el proceso de investigación de este articulo  no había mucha información pero en cada página o paper que leía siempre mencionaban una abreviatura “LISP” lo cual decidí investigarlo, por lo cual descubrí que es una familia de lenguajes de programación de computadora de tipo multiparadigma; es decir soporta más de un paradigma de programación, como por ejemplo crear un programa que sea orientado a objeto que se base en la nube y que sea funcional. El Lisp fue creado originalmente como una notación matemática práctica para los programas de computadora, basada en el cálculo lambda de Alonzo Church. Se convirtió rápidamente en el lenguaje de programación favorito en la investigación de la inteligencia artificial pero en los años 90 comenzó su decadencia.