Instituto Tecnolgico de Hermosillo

Investigacin Diseo de un Lenguaje de Programacin

Programacin de Sistemas

Ing. Sistemas Computacionales

Joeliz Andreyna Gaona Haro

08330425

Aspectos para el Diseo de un Lenguaje de Programacin

Comunicacin humana Se debe lograr una comunicacin eficiente entre el programador y el ordenador, un buen nivel de comunicacin se da cuando los lenguajes son legibles y no es necesaria una documentacin externa (manuales) para su entendimiento. Prevencin y deteccin de errores Como el programador es la fuente de los errores al momento de disear un lenguaje de debe tratar de hacer imposible cierto tipo de errores, y hay que facilitar su deteccin, identificacin y correccin. Usabilidad Se refiere a la claridad y la elegancia con que se disea, esto es la facilidad de uso. Programacin efectiva Lo programado en el lenguaje debe arrojar como resultado lo esperado. Debe cumplir su funcin. Eficiencia Tener mayores resultados con menos recursos, esto nos lleva a la simplicidad. Compilabilidad Puede funcionar en un ordenador o conjuntamente con otros programas sin necesidad de hacer ninguna modificacin. Independencia de la mquina Poder utilizar el lenguaje en diferentes equipos con la nica condicin de disponer del traductor o compilador del lenguaje. Simplicidad Falta de dificultad al momento de generar el cdigo de nuestro lenguaje, el leguaje debe ser sencillo lo que nos dar facilidad de uso. Ortogonalidad
Se refiere a la capacidad del lenguaje para ser usado se podra decir con pocas instrucciones que abarquen toda las estructuras de datos.

Generalizacin y Especializacin El propsito del lenguaje, para que se va a utilizar, que es lo que se va a programar.

Condiciones que Determinan la Funcional del Lenguaje

Microestructuras Estructura de las expresiones Una expresin es una serie de variables, operadores y llamadas a mtodos (construida conforme a la sintaxis del lenguaje) que se evala a un nico valor. Estructuras de datos Define la organizacin y la relacin entre los datos, y el conjunto de operaciones que se puede realizar sobre estos. Estructuras de control Determina el flujo de informacin, el programador puede controlar la secuencia en que se ejecutaran las instrucciones Estructuras de compilador Se divide en 4 mdulos. 1. Preprocesador: transforma cdigo fuente a cdigo fuente puro. 2. Compilador: el cogido resultado del modulo anterior lo transforma a cdigo en lenguaje ensamblador (.asm). 3. Ensamblador: recibe el cdigo en ensamblador y genera el cdigo binario no enlazado (.exe). 4. Enlazado: regresa al cdigo fuente y provee el cdigo de las libreras necesarias que funcione el programa. Estructuras para entradas y salidas. Son las herramientas que tiene el lenguaje para recibir la entrada y salidas de datos por medio del programa en ejecucin.

Lenguaje de Estudio: FORTRAN

Es un lenguaje de programacin alto nivel de propsito general, procedimental e imperativo, que est especialmente adaptado al clculo numrico y a la computacin cientfica. El lenguaje fue diseado teniendo en cuenta que los programas seran escritos en tarjetas perforadas de 80 columnas. Tiene una sintaxis considerada arcaica por muchos programadores que aprenden lenguajes ms modernos. Variables y constantes FORTRAN no es sensible a maysculas y minsculas. Los nombre de variables tienen de 6 a 31 caracteres mximo y deben comenzar por una letra. Los blancos son significativos. Declaracin explcita de variables. Enteras (I-N), el resto reales. (se modifica con IMPLICIT). Punteros: en los primeros FORTRAN no hay punteros y todas las variables se almacenan en memoria esttica. En FORTRAN 90 se declaran INTEGER, POINTER::P. Para memoria dinmica ALLOCATE y DEALLOCATE Tipos de datos Arrays, pueden tener hasta 7 dimensiones y se guardan por colummnas. Cadenas de caracteres, el primer carcter es el 1, el operador // permite concatenar cadenas. Almacenamiento de datos. Se usa COMMON para datos compartidos y EQUIVALENCE cuando almacenamos una variable con dos posibles tipos en la misma posicin de memoria (como union en C). Se usa DATA para inicializar datos estticos. Tipos definidos por el usuario, con TYPE <nombre>... END TYPE <nombre> Control de secuencia EL conjunto de estructuras de control es limitado: Expresiones, prioridad de operadores Enunciados o Asignacin, cuando se hace entre cadenas hay ajuste de tamao con blancos o truncamiento.

o Condicional. Permite IF ELSE IF... Para seleccin mltiple SELECT CASE CASE.....CASE DEFAULT.... END SELECT o Iteracin. DO....END DO o Nulo, se usa solo para la etiqueta. CONTINUE. Control de subprogramas. CALL invoca al subprograma y RETURN devuelve un valor al programa llamante. Construcciones propensas a error: GOTO. Entrada y salida Tipos de archivos: o Secuenciales o De acceso directo Comandos: READ, WRITE, PRINT, OPEN , CLASE, INQUIRE (propiedades o estado del archivo) REWIND y ENDFILE (para ubicar el puntero del fichero). Para el tratamiento de excepciones en las sentencias READ/WRITE se puede introducir la posicin de la rutina de dicho tratamiento (ERR=90). Subprogramas Hay tres tipos de subprogramas: o Function, devuelven un solo valor de tipo numrico, lgico o cadena de caracteres. o Subroutine, devuelve valores a travs de variables no locales COMMON. o Funcin de enunciado, permite calcular una sola expresin aritmtica o lgica. Gestin de almacenamiento. o Las variables son locales o globales (COMMON) o Recursividad: RECURSIVE FUNCTION FACTORIAL(X) o Parmetros de subprograma. Paso por referencia.

Evaluacin del lenguaje

La abstraccin es posible mediante los subprogramas y el uso de variables COMMON, aunque su uso es propenso a errores. FORTRAN sigue siendo utilizado en el mbito cientfico y es muy eficiente realizando clculos. La estructura del programa suele ser difcil de entender. En FORTRAN 90 se incluye la recursividad y la memoria dinmica. Las etiquetas de las sentencias ya no son necesarias, ni el GOTO, pues se ha transformado en un lenguaje estructurado. El aspecto de los programas sigue siendo de procesamiento por lotes.