Cmo evaluar un lenguaje?

Tambin es importante determinar cuando un lenguaje es eficiente, para esto existen

determinados criterios o caractersticas que nos ayudan, cabe mencionar que no existen

lenguajes buenos o malos sino apropiados e inapropiados para una determinada situacin o

problema. Para esto cada autor refleja segn su criterio que caractersticas importantes debe

cubrir un lenguaje para un buen desempeo del mismo, cabe mencionar, que los lenguajes

son diseados e implementados, por esta razn es necesario conocer todos los puntos de

vista.

CRITERIOS DE LENGUAJE SEGN DORIS APPLEBY Y JULIUS

VANDEKOPPLE

Definiciones bien definidas. Los programadores de Fortran o Pl/1 trabajan a menudo como un grupo. Si uno no saba o haba olvidado como escribir el cdigo

para efectuar una tarea particular, la cosa ms fcil por hacer era bajar al vestbulo y

preguntarle a un amigo. Los manuales eran volmenes inmensos pobremente

organizados que enseaban mediante ejemplos con ms frecuencia que por

cualquier otro medio.

Sintaxis BNF y EBNF. Los diseadores de Algol 60 rectificaron esto al proporcionar una sencilla descripcin del lenguaje en 18 pginas. La sintaxis del

lenguaje est descrita en los forma Backus Naur (BNF), seguida de ejemplos de

programacin. BNF es un ejemplo de un metalenguaje, un lenguaje utilizado

para describir otro lenguaje, en este caso uno de programacin. BNF tiene

smbolos llamados metasmbolos, y reglas propias, las cuales son empleadas

para definir la sintaxis del lenguaje particular de programacin en cuestin.

Por sintaxis entendemos una coleccin de instrucciones formada al seguir un

conjunto de reglas que diferencian los programas vlidos de los no vlidos. La

sintaxis por s misma no da significado a un lenguaje; meramente define la

coleccin de frases y sentencias que son combinaciones vlidas de los caracteres

del lenguaje. Este punto lo estudiaremos en la unidad 2.

Semntica. Un lenguaje tambin debe de estar definido semnticamente al describir la manera precisa lo que significa una construccin particular. Por

ejemplo, la expresin (X < 3) significa en pseudocdigo que X debe tener un

valor; ese valor es comparable al entero 3, y la expresin es verdadera si el valor

es menor que 3, y es falsa en otros casos. El lenguaje natural es notoriamente

ambiguo, de manera que hace esfuerzos para describir formalmente la semntica

del lenguaje as como tambin la sintaxis.

Comprobabilidad. Probar con certeza matemtica que un programa es correcto es un proceso lento. Sin embargo, C.A.R. Hoare cree que las ventajas prcticas de la comprobacin de programas eventualmente se sobrepondrn a las dificultades, en

vista de los costos creciente de los errores de programacin. La prueba de que un

programa es correcto involucra tres pasos: primero la comprobacin de que el

programa cumple con la intencin del programador; segundo la prueba de que el

compilador traduce de manera correcta a cdigo mquina la sintaxis y la semntica

del lenguaje empleado; y tercero, que se compruebe que la mquina misma

funciona correctamente.

Una meta para cualquier lenguaje de programacin es probar que un compilador para el

lenguaje lo interpreta de manera precisa. Esto es a menudo difcil de hacer si la definicin

del lenguaje incluye descripciones en lenguaje natural de lo que se desea mediante un trozo

particular de sintaxis, si la sintaxis puede describirse en un lenguaje formal, y la semntica

puede escribirse axiomticamente, un compilador puede ser probado formalmente para

satisfacer por completo tanto la definicin sintctica como la semntica del lenguaje.

La sintaxis de Pascal fue definida en BNF, y su semntica definida axiomticamente por su

diseador Nicklaus Wirth, en colaboracin con C.A.R. Hoare. El PL/1 fue diseado

utilizando la definicin Viena (VDL, Vienna Definition Language) y Algol 68 fue definida

en una gramtica vW de dos niveles (llamada as por el nombre de su inventor, A. van

Wijngaarden) que era demasiado enigmtica para la mayora de los usuarios. Estos ltimos

dos metalenguajes forman bases para comprobacin de compiladores. Si un lenguaje est

definido en VDL, incluye una descripcin de lo que pasa cuando cada declaracin del

lenguaje se ejecuta tericamente en una computadora terica. Si un compilador implementa

fielmente la computadora terica, puede probarse que la ejecucin del programa es

correcta. La gramtica vW no describe una computadora terica, pero permite que parte de

la semntica que trata con declaraciones sea definida en la gramtica. Por lo tanto no

pueden generarse programas correctos gramaticalmente que vuelvan a declarar variables o

que las definan de una manera inconsistente.

Confiabilidad. El software se considera confiable si se comporta como es anunciado y produce los resultados que el usuario espera. Cuando se presenta un

error, debera ser fcilmente detectado y corregido. Un lenguaje de programacin

fomenta la escritura de programas confiables de maneras a menudo sutiles. La

declaracin goto es quiz la caracterstica ms notoria de lenguaje pensada para dar

como resultado programas no confiables. El problema que subyace aqu es que los

programas con muchos gotos, hacia atrs y hacia adelante son difciles de leer para

cualquiera que no sea su creador, y por lo tanto difciles de modificar y de depurar.

Las caractersticas de sintaxis poco usuales tambin pueden fomentar errores. El lenguaje C

utiliza = como un operador de asignacin. X=5 asigna el valor de 5 a la localidad de

almacenamiento designada para X. Para hace comparaciones se utiliza ==. X == 5 compara

el valor de X con 5 y si es verdadero o falso, dependiendo si X es igual o no a 5. Puesto que

C permite asignaciones casi en cualquier sitio de una declaracin, la substitucin

inadvertida de = por el smbolo poco familiar == puede no producir un error, nicamente

resultados ininteligibles. Los identificadores tanto en Modula como en C son sensibles a la

capa tipogrfica de las letras. As cuenta y Cuenta representan variables distintas, que son

confundidas fcilmente tanto por un programador como por un revisor subsecuente.

Un lenguaje confiable debera ser capaz de manejar errores durante el tiempo de ejecucin

una sobrecarga (overflow) aritmtica ocurre cuando se calcula un entero que es mayor de lo

que puede ser soportado por el hardware particular involucrado. Puede presentarse gran

variedad de errores durante la entrada de datos, desde la lectura al pasar el final de un

archivo hasta un valor no permitido introducido de manera interactiva. Estas clases de

errores son llamadas excepciones y las provisiones del lenguaje para tratar con ellas se

llaman manejadores de excepciones. La interrupcin de un programa no siempre es

aceptable, en particular para las aplicaciones en tiempo real.

Para los lenguajes de programacin, la confiabilidad por lo general se refiere a los

mecanismos que promueve la escritura, mantenimiento y depuracin de los programas

correctos, y el subsecuente manejo de excepciones cuando un programa se ejecuta.

Traduccin rpida. Los lenguajes de programacin que se consideran en esta materia,

generalmente son independientes de la mquina. Es

decir, un programa escrito en el lenguaje puede ser

traducido y ejecutado en una variedad de mquinas

diferentes. Un programa que escribimos se encuentra

en cdigo fuente. Este debe ser traducido a un lenguaje

que una mquina particular pueda reconocer, y por ltimo en cdigo de mquina

que pueda ejecutarse en realidad. La mquina en la que un programa se ejecuta se

denomina anfitrin y su(s) lenguaje(s), lenguaje(s) anfitrin(es). Colocamos la (s)

opcional despus del lenguaje porque una mquina puede tener ms de un lenguaje

anfitrin. Cualquier mquina debe tener un lenguaje asociado de mquina de bajo

nivel escrito en cdigo binario. Tambin puede tener un lenguaje ensamblador de

nivel superior especfico de la mquina. Con frecuencia resulta prctico traducir

primero el cdigo fuente a cdigo intermedio, el cual es intermedio entre el cdigo

de mquina y el cdigo fuente. El cdigo intermedio puede ser o puede no ser uno

de los lenguajes anfitrin.

La traduccin del cdigo fuente involucra tres pasos: anlisis lexicogrfico, anlisis

sintctico y anlisis semntico. El anlisis lexicogrfico, o rastreo, identifica cules tokens

representan valores, identificadores, operadores, etc. El anlisis sintctico, llamado

simplemente sintctico, reconoce las declaraciones no vlidas del lenguaje fuente. El

anlisis semntico determina el significado de una declaracin. Algunos traductores pueden

realizar dos o ms de estos tres procesos en un solo paso sobre el cdigo fuente.

Los traductores son intrpretes o generativos, los cuales generan un cdigo intermedio. Un

intrprete es en s mismo un programa que traduce una expresin o declaracin de lenguaje,

calcula y luego imprime o utiliza de otro modo su resultado. Los intrpretes son por lo

regular ms fciles de escribir que los traductores generativos, pero se ejecutan ms

lentamente. Una ventaja de un intrprete es que los errores de ejecucin as como los de

sintaxis son detectados a medida que se encuentra cada declaracin, eliminando as

cualquier duda acerca de dnde reside el problema. Los lenguajes Lisp y Prolog tienen

tanto intrpretes como compiladores, siendo los primeros utilizados para el aprendizaje y la

experimentacin, donde los resultados lnea por lnea son deseables. Un compilador es

generalmente ms ventajoso para programas extensos.

Las partes ms comunes de un traductor generativo son el compilador, el ligador y el

cargador. El compilador traduce el cdigo fuente a cdigo intermedio orientado a la

mquina, denominado cdigo objeto. El ligador enlaza de manera conjunta cdigo

intermedio compilado independientemente en un solo mdulo de carga, resolviendo las

diferencias entre tokens. Su salida puede estar en el mismo cdigo intermedio como su

entrada pero est libre de referencias de un mdulo a otro. El cdigo resultante es as

relocalizable, puesto que contiene cualquier informacin que necesita y es independiente de

otros segmentos del programa. El cargador hace la traduccin final en cdigo mquina y

carga el programa en diversas localidades de memoria. La salida del cargador es un mdulo

ejecutable en cdigo de mquina. Durante cada fase, se hacen entradas en varias tablas que

mantienen el registro de los tipos variables, direcciones de memoria, etc.

Es importante en algunos casos, por ejemplo una aplicacin interactiva, que el cdigo

fuente se traduzca rpidamente. Por otro lado, si un programa se va a compilar solamente

una vez y va a ejecutarse a menudo, la velocidad de compilacin puede no ser una

preocupacin principal. Se han hecho intentos exitosos para compiladores de un paso, los

que rastrean el cdigo fuente slo una vez, mientras que algunos traductores efectan

muchos pasos (por ejemplo, algunos de los primeros compiladores Pl/1 de IBM, que

ejecutan ms de 30 pasos para compilar un programa completo). Algunos factores que

afectan el nmero de pasos necesarios para un compilador en particular son:

1. Cunta memoria est disponible? Pueden caber simultneamente en la

memoria tanto el cdigo fuente como el cdigo objeto que estn siendo

generados?

2. Qu tan rpido es el compilador mismo y cuanta memoria requiere?

3. Qu tan grande es el programa objeto y que tan rpido debe ejecutarse? Debe

optimizarse el cdigo objeto?

4. Qu clase de caractersticas de depuracin se requieren para el cdigo fuente?

5. Qu clases de deteccin y recuperacin de errores se requieren para el cdigo

ejecutable?

6. Cuntas personas estarn involucradas en la escritura del compilador? Podra

ser ventajoso permitir que cada una escriba un paso independiente realizando

una fase simple del proceso de compilacin?

Cdigo objeto eficiente. Despus de que el cdigo fuente se compila en cdigo objeto, no se hace referencia adicional al lenguaje fuente. As es en tiempo de

compilacin que los asuntos de la eficiencia en el uso de memoria y tiempo de

ejecucin deben ser considerados. Existe generalmente un balance comparativo

entre el trabajo que el programador debe hacer y el trabajo que el compilador puede

hacer. Por ejemplo, un lenguaje que tiene todas las declaraciones de tipo y de

variables precediendo a otro cdigo puede asignar todas las localidades de memoria

en un momento, acelerando la compilacin. Por supuesto el programador tendr que

hacer estas declaraciones entes que un programa pueda ser compilado.

Algunos compiladores, llamados compiladores de optimizacin, ejecutan uno o dos pasos

ms despus del anlisis semntico para incrementar la eficiencia del cdigo compilado.

Las primeras optimizaciones, tales como la eliminacin de subexpresiones comunes son

independientes de la mquina, mientras que las mejoras finales dependen de la mquina

particular en la que el programa se ejecutar. Los lenguajes de muy alto nivel, donde los

programas manipulan estructuras complejas tales como registros, listas, relaciones o

conjuntos, dependen de compiladores de optimizacin por eficiencia. Los lenguajes de

programacin ejecutan la gama de los parecidos a C, donde el programador puede trabajar

muy cerca del CPU mismo, hasta lenguajes de manipulacin de bases de datos (DML, por

sus siglas en ingls), donde las estructuras fsicas subyacentes estn profundamente ocultas.

En los lenguajes de menor nivel, un cdigo objeto eficiente refleja con frecuencia la

habilidad o capacidad de los escritores de compiladores.

Ortogonalidad. La palabra ortogonal viene del griego y se refiere a lneas rectas cruzndose en ngulos rectos. Las variables aleatorias se consideran ortogonales.

Con esto queremos decir que los componentes son independientes entre s y que se

comportan en la misma manera en cualquier circunstancia.

Un ejemplo se encuentra en los conceptos de tipo y funciones. Un tipo describe la

estructura de los elementos de datos, Una funcin es un procedimiento por el que pasa un

nmero finito de valores de parmetro y devuelve un nico valor hacia el procedimiento

que la invoca. En un lenguaje ortogonal, los tipos son independientes de las funciones, y no

se aplican restricciones a los tipos de parmetros que pueden ser pasados o al tipo de valor

que puede ser devuelto. As, podramos ser capaces de pasar una funcin a una funcin, y

recibir una funcin de regreso. Lisp incorpora esta caracterstica particular, pero deben

comprenderse ciertas dificultades inherentes y tratar con ellas.

Algol 68 fue pensado y diseado como un lenguaje completamente ortogonal. Tiene muy

pocas construcciones integradas, y el programador es capaz de construir lo que quiera

mediante la combinacin de diversas caractersticas. Nunca lleg a ser popular en los

Estados Unidos, en parte debido a que era demasiado ortogonal. Los programadores

queran estructuras especiales que se comportaran de maneras predecibles.

La no ortogonalidad puede ser molesta y conducir a errores. Para el programador novato en

Pascal, parece no haber una buena razn por la que una funcin no pueda devolver un

registro o por la que un archivo deba ser pasado como un parmetro var.

Generalidad. La generalidad est relacionada con la ortogonalidad. Se refiere a la existencia de slo caractersticas necesarias del lenguaje, con las otras compuestas

en una manera libre y uniforme sin limitacin y con efectos previsibles. Como

ejemplo de una carencia de generalidad, considere la del tipo de unin libre en

Pascal. Una unin libre es un registro que puede tener un campo que vara

dependiendo de su uso. En un registro de esta clase, la variable de campo variante

puede funcionar como un apuntador y no ser directamente accesible para impresin

u otros usos. En otro momento durante la misma ejecucin, puede ser tipificado

(declaracin de tipos) como un entero, con su valor disponible para impresin,

operaciones aritmticas, etc. Esta caracterstica no es general, porque la localidad de

memoria relacionada con las variables de campo variante no se trata de manera

uniforme y los efectos no son previsibles.

Consistencia en notaciones comunes. Como hemos mencionado antes, los problemas para solucin por computadora con frecuencia son concebidos en el

lenguaje de las matemticas. De este modo, la notacin de los lenguajes de

programacin debera ser consistente con las notaciones comnmente usadas en este

campo. Usamos - para indicar resta y nmeros negativos. As, 5-3 y 5 deberan permitirse en lenguajes que soporten aritmticas de enteros.

1 {1,2,3} es la notacin comn para la pertenencia a un conjunto, y por ello es preferible a la versin en Pascal 1 In [1,2,3]. Sin embargo, no todos los conjuntos de caracteres

soportan , {, y }, de modo que en ocasiones se hacen sustituciones.

Uniformidad. La consistencia est relacionada con la uniformidad (en algunos casos es llamada regularidad). Con esto queremos decir que nociones similares

deberan verse y comportarse de la misma manera. Una cuestin de uniformidad

tiene que ver con la necesidad de tener inicios y finales. Debera todo fin estar precedido por un inicio correspondiente? De manera similar, debera toda declaracin finalizar con un signo de punto y coma (;)? En un lenguaje

completamente uniforme, la respuesta debera ser s a ambos asuntos.

Subconjuntos. Un subconjunto de un lenguaje es una implementacin de slo una parte del mismo, sin caractersticas especiales. Las especificaciones originales para

el lenguaje Ada del DOD no permiten subconjuntos. La motivacin para esto fue el

deseo del DOD para hacer que sus contratistas produjeran software que explotar un

Ada con todas sus caractersticas. Despus de todo, las caractersticas innecesarias

no fueron incluidas. Una de las desventajas de este enfoque era que los estudiantes

no podan empezar a aprender el lenguaje hasta que tuvieran disponibles

compiladores completamente validados; por esta razn no existi un cuerpo de

programadores hasta varios aos despus de que el lenguaje haba sido completado.

Algunos lenguajes son extensos, con muchos componentes especiales. stos pueden

ejecutarse solamente en mquinas grandes y no estn disponibles para compaas y

escuelas ms pequeas a menos que se trate de un subconjunto de los mismos. Otra ventaja

de los subconjuntos es el desarrollo incremental de un lenguaje. Con esto nos referimos a la

versin inicial de un lenguaje de ncleo pequeo, con otras caractersticas que van siendo

liberadas a medida que se van desarrollando.

Extensibilidad. El inverso de los subconjuntos es la extensibilidad. Un lenguaje puede tener un ncleo estndar, el cual es invariable en cada implementacin, pero

con varias extensiones. Las ventajas de los subconjuntos son mejoradas cuando un

lenguaje puede ser extendido en formas tiles. A principios de 1968, los

desarrolladores de Cobol adoptaron este enfoque mediante la definicin de un

ncleo que todos los compiladores deban satisfacer. Once mdulos estandarizados fueron agregados los cuales pueden o no pueden ser incluidos en

cualquier compilador Cobol dado. Ada 95 ha adoptado un enfoque modular

semejante.

Los diseadores de Pascal incluso usaron otro enfoque, definiendo un pequeo lenguaje

estndar porttil que careca de algunas caractersticas deseables, tales como capacidades de

grficos y manejo de cadenas de caracteres. Los implementadores de Pascal agregaron

varias mejoras, las cuales hicieron a sus compiladores atractivos para los programadores,

pero los programas resultantes eran menos porttiles. Por ejemplo, el Pascal estndar no

tiene tipo de cadenas (string), pero casi todos los compiladores de Pascal proporcionan uno

integrado en el lenguaje mismo o en un mdulo especial para ser incluido con la mayora de

los archivos fuente.

Transportabilidad. Un lenguaje es transportable si sus programas pueden compilarse y ejecutarse en diferentes mquinas sin tener que reescribir el cdigo

fuente. Para conseguir la transportabilidad se han establecido las organizaciones

estndares nacionales e internacionales para producir descripciones de lenguajes a

las cuales deben adherirse las implementaciones. Las ms activas de stas son el

Instituto Americano de Estndares (ANSI), la Institucin Britnica de Estndares

(BSI) la Organizacin Internacional de Estndares (ISO) y el Instituto de Ingenieros

Elctricos y Electrnicos (IEEE). stos grupos tienen varios comits oficiales que

preparan y revisan estndares para diferentes lenguajes.

Los estndares pueden desarrollarse despus de ganar alguna experiencia con un lenguaje

en particular, como es el caso de Pascal, o antes de que un lenguaje sea diseado, como

ocurre con Ada. La estandarizacin temprana puede perpetuar caractersticas de diseo

deficientes no reconocidas, al tiempo que demora el fomento de dialectos incompatibles.

Lisp es quizs el lenguaje con la mayor longevidad no estandarizada. Lisp fue diseado e

implementado a principios de los aos sesenta, pero es solamente hasta ahora que se est

estandarizando a Common Lisp. Sin embargo, la parte estandarizada ser solamente un

pequeo ncleo, con diferentes implementadores libres de hacer cualquier extensin que

ellos deseen.

PROPIEDADES DE UN BUEN LENGUAJE SEGN JORGE CASTRO Y

OTROS

Aspectos de diseo

Claridad, simplicidad y unidad de conceptos. Un lenguaje de programacin ha de suministrar al programador un conjunto de conceptos claros, simples y

unificados, de manera que puedan ser usados como primitivas para el diseo de

algoritmos con esta finalidad, es deseable tener un nmero pequeo de

conceptos distintos y que las reglas para combinarlos sean tan simples y

regulares como sea posible.

Sintaxis y semntica bien definidas. La necesidad de una sintaxis y una semntica bien definidas es necesario ya que por una parte una definicin

sintctica formal nos puede asegurar la inambigedad y completitud del

lenguaje y, por otra, la definicin formal de la semntica obligar a que todas las

implementaciones de ste se comporten igual.

De la misma manera tambin es importante dar al lenguaje una sintaxis clara

que lo haga legible. La legibilidad tiene su contrapunto en la facilidad para

escribir programas, especialmente respecto a la rapidez, por eso, en ciertos

casos, puede ser deseable que el lenguaje sea crptico para incrementar la rapidez en la escritura de los programas y, por tanto que pierda legibilidad.

Consistencia con las notaciones usuales. Es la propiedad de que las cosas signifiquen lo que uno espera que signifiquen. Por ejemplo, que los smbolos de

operacin sean los usuales, las palabras claves tengan un uso relacionado con lo

que significan, o bien que si definimos constructores que ya aparecen en otros

lenguajes su significado no sea diferente.

Soporte para la abstraccin. Debido a que en muchos casos el conjunto de operaciones y tipos de datos bsicos est muy lejos de lo que querramos a la

hora de resolver un problema, el lenguaje nos ha de dar mecanismos para poder

abstraer: poder crear tipos de datos nuevos y asociarles nuevas operaciones,

poder definir diferentes niveles dentro de un programa y tratarlos por separado,

etc.

Independencia de la mquina. La mquina sobre la que se trabaja no debe condicionar la programacin. Esta propiedad est ligada a la portabilidad, es

decir, la capacidad de mover programas de una mquina a otra. Esto se

consideraba una faceta esencial para los lenguajes de alto nivel, pero en muchos

casos (especialmente en los lenguajes imperativos) no se ha cumplido.

Verificabilidad. En principio, se trata de que los programas sean verificables formalmente. Esta propiedad, adems, garantiza una cierta legibilidad en los

programas.

Redundancia. Es una propiedad muy importante a la hora de detectar errores. Un ejemplo de redundancia (repeticin de informacin) sera la definicin

explcita de variables, pues el solo hecho de usarlas ya nos dice que son

variables y tambin de qu tipo son. La redundancia puede permitir detectar

errores tipogrficos, por ejemplo, al escribir una variable, ya que el nombre que

hayamos escrito por error (si no es por casualidad) no estar definido. En

general, es muy importante que los errores se detecten cuanto antes mejor,

porque cuanto ms se tarde en detectarlos ms costoso ser corregirlos.

Ortogonalidad. Un lenguaje de programacin ha de tener slo un conjunto de herramientas bsicas, comprensibles por separado y sin ningn tipo de iteracin

cuando se combinan. Esto quiere decir esencialmente que haya pocas

excepciones dentro del conjunto de cosa que podemos hace combinando los

diferentes elementos del lenguaje.

Aspectos de Implementacin.

Portabilidad. Para muchos proyectos, la portabilidad del programa resultantes es un criterio muy importante, pues las computadoras donde se desarrollen los

programas no son normalmente los mismos que habrn de ejecutarlos

finalmente. Ya hemos visto que esta propiedad de las implementaciones de un

lenguaje depende directamente de dos aspectos del diseo: la independencia de

la mquina y la definicin formal de semntica.

Soporte Externo. La existencia de un entorno de trabajo apropiado puede hacer que un lenguaje, en principio menos potente, sea ms fcil de usar que uno ms

potente que no tenga este soporte. Dentro de este entorno podemos incluir, por

ejemplo, programas para encontrar errores (debuggers) o editores especiales que

agilicen el proceso de creacin de programas.

Calidad del compilador o intrprete. Si se trata de un compilador incluye el costo (en tiempo) de traduccin, como la calidad del cdigo generado. Segn el

tipo de objetivo que tengamos (si tenemos que compilar muy a menudo y

despus ejecutar muy poco, bien al revs), potenciaremos ms la eficiencia en

un sentido o en otro. Si el lenguaje es interpretado, entonces se refiere a la

eficiencia (en tiempo) de la interpretacin.

Bajo costo de mantenimiento. Muchos estudios han demostrado que la mayor parte del costo que implica cualquier programa que use durante un cierto

perodo de tiempo (aos), no est en el costo inicial del diseo e

implementacin, sino en el mantenimiento que recibe una vez instalado. Este

mantenimiento incluye la reparacin de errores o las extensiones del programa

para responder a nuevas necesidades y es hecho, posiblemente, por

programadores que no son los que hicieron el programa inicialmente. Por lo

tanto, un lenguaje que permita la modificacin, reparacin, y extensin a lo

largo del tiempo de programas por parte de diferentes programadores, puede

reducir notablemente los costos.

Documentacin. Este punto slo hace referencia a la necesidad de disponer de una buena documentacin sobre el lenguaje. Esta documentacin se compondr

de diversos manuales: de la implementacin del lenguaje, de los complementos

del entorno, etc.

CRITERIOS DE EVALUACIN SEGN TERRENCE PRATT

Claridad, sencillez y unidad de los conceptos del Lenguaje. Un lenguaje de programacin proporciona a la vez un marco conceptual para pensar acerca de los

algoritmos y un medio de expresar esos algoritmos. El lenguaje debe constituir una

ayuda para el programador mucho antes de la etapa misma de codificacin. Debe

proveer un conjunto claro, sencillo y unificado de conceptos que se puedan usar

como primitivas en el desarrollo de algoritmos. Para ello es deseable contar con un

nmero mnimo de conceptos que se puedan usar como primitivas en el desarrollo

de algoritmos. Para ello es deseable contar con un nmero mnimo de conceptos

distintos cuyas reglas de combinacin sean tan sencillas y regulares como sea

posible. Llamamos a este atributo Integridad Conceptual. Esta claridad de semntica

y de conceptos es el factor determinante del valor de un lenguaje

Claridad en la sintaxis del programa. La sintaxis de un lenguaje afecta la facilidad con la que un programa puede escribirse, probarse y ms tarde entenderse

y modificarse. La facilidad de lectura (legibilidad) de un programa en un lenguaje es

una consecuencia central aqu. Una sintaxis que sea particularmente breve o

enigmtica con frecuencia hace que un programa sea fcil de escribir (por el

programador con experiencia), pero difcil de leer cuando el programa debe

modificarse posteriormente. Los programas APL a veces resultan tan enigmticos

que sus propios diseadores no pueden descifrarlos con facilidad unos meses

despus de que los terminaron. Muchos lenguajes contienen construcciones

sintcticas que fomentan la dificultad de lectura, produciendo dos instrucciones casi

idnticas que significan realmente dos cosas distintas. Por ejemplo la presencia de

un solo carcter blanco en un proposicin Snobol4 puede alterar completamente su

significado. Un lenguaje debe tener la propiedad de que las construcciones que

tienen un significado diferente tambin tengan un aspecto diferente: por ejemplo, las

diferencias semnticas deben reflejarse en la sintaxis del lenguaje.

Para el programador no basta que una sintaxis no sea engaosa o propensa a errores sino

que adems debe ser una sintaxis que usada adecuadamente permita que las estructuras

lgicas sealadas en el algoritmo. En el enfoque de programacin conocido como

programacin estructurada, los lenguajes se disean jerrquicamente de arriba hacia abajo

(del programa principal a los subprogramas de niveles ms bajos), usando slo un conjunto

restringido de estructuras de control en cada nivel - secuencias de instrucciones simples,

iteraciones y ciertos tipos de ramificacin condicional. Cuando se hace en forma adecuada,

las estructuras algortmicas resultantes son fciles de entender, depurar y modificar. En

forma ideal debera ser posible traducir tal programa directamente a instrucciones de

programacin adecuadas que reflejaran la estructura del algoritmo. Con frecuencia la

sintaxis del lenguaje no permite tal codificacin directa. Por ejemplo, Fortran se basa en

etiquetar las proposiciones e instrucciones goto como estructuras de control y proporciona

poca alternativas. Por eso la forma de un programa Fortran no se puede hacer de manera

ordinaria para reflejar con mucha claridad la estructura de control del algoritmo adyacente,

y gran parte del esfuerzo utilizado en el desarrollo de un algoritmo estructurado es posible

que se pierda en la traduccin al Fortran. Esto es parte de la controversia que provoca el uso

del goto, lo cual se ver en la unidad de control de secuencias. uno de los argumentos

principales que favorecen a Pascal sobre Fortran en la enseanza de la programacin

introductoria, a pesar de que se este se utilizaba mucho, es que Pascal favorece al diseo

elegante de los programas.

Ortogonalidad. El trmino ortogonalidad se refiere al atributo de ser capaz de combinar varias caractersticas de un lenguaje en todas las combinaciones posibles,

de manera que todas ellas tengan un significado. Por ejemplo, supngase que un

lenguaje dispone de una expresin que puede producir un valor, y tambin dispone

de un enunciado condicional que evala una expresin para obtener un valor falso o

verdadero. Estas dos caractersticas del lenguaje, la expresin y el enunciado

condicional son ortogonales si se puede usar y evaluar cualquier expresin dentro

del enunciado condicional.

Cuando las caractersticas de un lenguaje son ortogonales, entonces es ms fcil de

aprender y de escribir los programas porque hay menos excepciones y casos especiales que

recordar. El aspecto negativo de la ortogonalidad es que un programa suele compilar sin

errores a pesar de contener una combinacin de caractersticas que son lgicamente

incoherentes o cuya ejecucin es en un extremo ineficiente. A causa de estas cualidades en

oposicin, la ortogonalidad como atributo de un diseo de lenguaje es todava motivo de

controversia, pues a ciertas personas le s gusta y a otras no.

Naturalidad para la aplicacin. El lenguaje debe proporcionar estructuras de datos adecuadas, operaciones, estructuras de control y una sintaxis natural para

resolver un problema. Una de las razones principales de la proliferacin de

lenguajes es justamente esta necesidad de naturalidad. Un lenguaje ajustado

particularmente a cierta clase de aplicaciones puede simplificar mucho la creacin

de est rea. Es importante mencionar que los algoritmos secuenciales, algoritmos

concurrentes, algoritmos lgicos, etc. Todos ellos tienen estructuras naturales

diferentes que estn representadas por programas en esos lenguajes.

Cobol, para aplicaciones en negocios incluyendo el manejo de archivos; Snobol4, para

procesamiento de cadenas; Prolog con su predisposicin hacia propiedades deductivas y

c++ para diseo orientado a objetos son lenguajes con una inclinacin obvia a clases

particulares de aplicaciones.

Apoyo para la abstraccin. Aun con el lenguaje ms natural para una aplicacin, hay una brecha sustancial de las estructuras de datos abstractos y las operaciones

que caracterizan la solucin de un problema con las estructuras de datos

particulares de datos primarios y operaciones construidas en un lenguaje. Por

ejemplo, Pascal puede ser un lenguaje apropiado para construir un programa que

haga el horario de clases de una universidad pero las estructuras de datos abstractos

de estudiante, clase, instructor, saln de lectura y las operaciones abstractas de asignar un estudiante a una clase, planear una clase en un saln de lectura, etc., que son naturales de la aplicacin no son proporcionadas directamente por

Pascal. Una parte substancial de la tarea del programador es disear las

abstracciones usando las caractersticas ms primitivas proporcionadas por el

lenguaje de programacin real. El lenguaje debe ayudar sustancialmente o impedir

la expresin de estas abstracciones. En teora debe permitir que las estructuras de

datos, tipos de datos y operaciones definan y mantengan como abstracciones

contenidas por s mismas, para que el programador pueda emplearlos en otras partes

del programa conociendo slo sus propiedades de abstraccin sin importar los

detalles de su implementacin. Casi todos los lenguajes proporcionan mecanismos

de subprogramas para definir las operaciones de abstraccin, pero la mayora son

muy dbiles en su soporte de otros tipos de abstraccin a excepcin de los lenguajes

de Ada y C++.

Facilidad para verificar programas. La confiabilidad de programas escritos en un lenguaje es casi siempre una preocupacin central. Existen muchas tcnicas para

verificar que un programa ejecuta correctamente la funcin requerida. Se puede

probar que un programa es correcto a travs de un mtodo formal de verificacin, se

puede probar informalmente que es correcto por la verificacin de escritorio, es

decir, verificar visualmente el texto del programa; se puede poner a prueba

ejecutndose con los datos de entrada de prueba y comparando los resultados de

salida con las especificaciones, etc. Para programas grandes se suele emplear la

combinacin de algunos de estos mtodos. El uso de un programa que dificulta la

verificacin de programas puede ser ms problemtico que el de uno que apoya y

simplifica la verificacin no obstante que el primero pueda proporcionar muchas

capacidades que superficialmente parecen hacer ms fcil la programacin. La

sencillez de la estructura semntica y sintctica es un aspecto primordial que tiende

a simplificar la verificacin de programas.

Entorno de programacin. La estructura tcnica de un lenguaje de programacin es slo uno de los aspectos que afectas su utilidad. La presencia de un entorno de

programacin adecuado puede facilitar el trabajo con un lenguaje tcnicamente

dbil en comparacin con un lenguaje ms fuerte con apoyo externo. Se podra

incluir una larga lista de factores como parte del entorno de programacin. La

disponibilidad de una implementacin confiable, eficiente y bien documentada del

lenguaje debe encabezar la lista. Los editores especiales y paquetes de prueba

hechos a la medida para el lenguaje pueden acelerar mucho la creacin y puesta a

prueba de los programas. Los recursos para el mantenimiento y modificacin de

mltiples versiones de un programa puede simplificar mucho el trabajo con

programas grandes. Uno de los lenguajes que ofrece un entorno de programacin

compuesto es el Smalltalk

Portabilidad de Programas. Un criterio importante para muchos proyectos de programacin es el de la portabilidad de los programas resultantes de la

computadora en la cual se desarrollaron para otros sistemas de computadoras. Un

lenguaje que est ampliamente disponible y cuya definicin es independiente de las

caractersticas de una mquina en particular constituye una base til para la

produccin de programas transportables. Ada, Fortran, C y Pascal tienen todos ellos

definiciones estandarizadas que permiten la implementacin de aplicaciones

transportables. Otros, como Ml, provienen de una implementacin de fuente nica

que permite al diseador de lenguajes cierto control sobre las caractersticas

transportables del lenguaje.

Costo de uso. Es indudable que el costo es un elemento importante en la evaluacin de cualquier lenguaje de programacin, pero son factibles diferentes medidas del

mismo.

Costo de ejecucin de los programas. En los primeros das de la computacin, las cuestiones de costo se referan casi exclusivamente a la ejecucin de los

programas. Era importante el diseo de compiladores que optimizaran la

asignacin eficiente de registros y el diseo de mecanismos eficientes de apoyo

al tiempo de ejecucin. El costo de ejecucin del programa, aunque siempre ha

tenido cierta importancia en el diseo del lenguaje es de importancia primordial

para grandes programas de produccin que se van a ejecutar con frecuencia. En

la actualidad, sin embargo, para muchas aplicaciones la velocidad de ejecucin

no es la preocupacin mayor. Con mquinas de escritorio que trabajan a varios

millones de instrucciones por segundo y que estn ociosas la mayor parte del

tiempo, se puede tolerar el incremento de un 10 o 20% del tiempo de ejecucin

si ello significa un mejor diagnstico o un control ms fcil por parte del usuario

sobre el desarrollo y mantenimiento del programa.

Costo de traduccin de programas. Cuando un lenguaje como Fortran o C se utiliza en la enseanza, la cuestin de traduccin eficiente, ms que la ejecucin

eficiente, puede ser de importancia capital. Tpicamente los programas

estudiantiles se compilan muchas veces cuando se estn depurando pero se

ejecutan slo pocas veces. En casos as, es importante contar con un compilador

rpido y eficiente en vez de un compilador que produzca un cdigo optimizado.

Costo de creacin, prueba y uso de programas. Un tercer aspecto del costo de un lenguaje de programacin queda ejemplificado por el lenguajes Smalltalk.

Para una cierta clase de problemas se puede disear, codificar, probar, modificar

y usar una solucin con una inversin mnima en tiempo y energa del

programador. Smalltalk es econmico en cuanto a que se minimizan el tiempo y

el esfuerzo totales que se invierten en la solucin de un problema en la

computadora. La preocupacin por esta clase de costo de conjunto en el uso de

un lenguaje se ha vuelto tan importante en muchos casos como la inquietud por

la ejecucin y compilacin eficiente de los programas.

Costo de mantenimiento de programas. Muchos estudios han demostrado que el costo ms grande que interviene en cualquier programa que se utiliza a lo largo

de un perodo de aos no es el costo del diseo, codificacin y prueba inicial del

programa, sino los costos totales del ciclo vital, que incluye los costos de

desarrollo y el costo de mantenimiento del programa en tanto contina en uso

productivo. El mantenimiento incluye la reparacin de errores, los que se

descubren despus de que se comienza a usar el programa, cambios que requiere

el programa cuando se actualiza el hardware subyacente o el sistema operativo,

y extensiones y mejoras al programa que se requieren para satisfacer nuevas

necesidades. Un lenguaje que facilita la modificacin, reparacin y extensin

frecuente del programa por parte de diferentes programadores durante un

perodo de varios aos puede ser a la larga, mucho menos costoso que usar

cualquier otro.

FUNDAMENTOS DE LOS

LENGUAJES SEGN ROGER S.

PRESSMAN.

Tipos de datos y tipificacin. Hoy en da, el mrito de un lenguaje de programacin moderno

se juzga por algo ms que sintaxis y la amplitud

de construcciones procedimentales. La

tipificacin de datos y los tipos de datos

especficos soportados por un lenguaje de

programacin son un aspecto importante en la calidad del lenguaje. Un objeto de

datos hereda un conjunto de atributos fundamentales del tipo de datos al que

pertenece. Un objeto de datos puede tomar un valor que se encuentre dentro del

rango de valores legtimos del tipo de datos y puede ser manipulado por operaciones

que se apliquen a ese tipo de datos

Los tipos de datos simples abarcan un amplio rango que incluye los tipos numricos, tipos

enumerados, tipos lgicos y tipos de cadena. Los tipos de datos ms complejos engloban

estructuras de datos engloban estructuras que van desde los array simples unidimensionales

hasta las estructuras de listas y los complejos y heterogneos arrays y registros.

Las operaciones que se pueden realizar sobre un tipo de datos particular y la forma en que

se pueden manipular distintos tipos en una misma sentencia se controlan por la

comprobacin de tipos incorporada en el intrprete o compilador del lenguaje de

programacin. Fairley define cinco niveles de comprobacin de tipos que se encuentran

normalmente en los lenguajes de programacin.

Nivel 0: sin tipos. Los lenguajes de programacin sin tipos no incluyen medios explcitos para la tipificacin de datos y, por lo tanto, no conllevan ninguna

comprobacin de tipos. Los lenguajes ANSI estndar de algunos como Basic,

Apl, Lisp, e incluso Cobol entran dentro de esta categora. Aunque cada

lenguaje permite al usuario definir las estructuras de datos, la representacin de

los datos contenida en cada objeto de datos esta predefinida.

Nivel 1: coercin automtica de tipos es un mecanismo de comprobacin de tipos que permite al programador mezclar diferentes tipos incompatibles,

permitiendo as que se den las operaciones requeridas. Por ejemplo Pl/1 asigna

un valor numrico de 0 al valor lgico false (falso) y un valor numrico de 1 al

valor lgico true (verdadero). As, las operaciones aritmticas, aplicadas

normalmente a tipos de datos numricos, se pueden aplicar a tipos de datos

lgicos en Pl/1.

Nivel 2: modo mixto conversin de tipos es similar en muchos aspectos a la coercin automtica de tipos. Para que se pueda dar una determinada operacin,

diferentes tipos de datos dentro de una misma categora de tipos, se convierten a

un nico tipo destino. La aritmtica de modo mixto de Fortran permite que se

usen nmeros enteros y reales en una misma secuencia de lenguajes de

programacin.

Nivel 3: comprobacin de tipos pseudorrgida tiene todas las caractersticas de la fuerte comprobacin de tipos, pero que se implementan de forma que existan

una o ms vas escapes. Por ejemplo aunque Pascal, comprueba la

compatibilidad de interfaces dentro de un mismo programa compilado, no lo

hace para procedimientos compilados por separado un escape en la aplicacin de la fuerte comprobacin de datos.

Nivel 4: fuerte comprobacin de tipos se da en lenguajes de programacin que slo permiten llevar a cabo operaciones entre objetos de datos que sean del

mismo tipo de datos previamente especificado. La comprobacin de tipos se

lleva a cabo sobre los operadores, los operandos y las interfaces de los

subprogramas, tanto en tiempo de compilacin como en tiempo de carga y en

tiempo de ejecucin. Los compiladores de Ada llevan a cabo una fuerte

comprobacin de tipos.

Subprogramas. Un subprograma es un componente de un programa compilado por separado que contiene datos y estructuras de control. Generalmente se le menciona

con el nombre de mdulo como una manifestacin genrica del subprograma.

Dependiendo del lenguaje de programacin, un subprograma se puede denominar

subrutina, procedimiento, funcin u otro nombre especializado. Sin tener en cuenta

cual sea el nombre, el subprograma tiene un conjunto de caractersticas genricas

Una seccin de especificacin que incluye su nombre y la descripcin de la interfaz.

Una seccin de implementacin que incluye los datos y las estructuras de control

Un mecanismo de activacin que permite que el subprograma sea requerido desde cualquier punto del programa.

En los lenguajes de programacin convencionales, cada subprograma es una entidad en s

misma, operando sobre los datos en la forma que dictan las estructuras de control de un

programa mayor. En lenguajes de programacin orientados a objetos, el punto de vista

clsico del subprograma es reemplazado por el de objeto.

Estructuras de Control. Es un nivel fundamental, todos los lenguajes de programacin modernos permiten al programador representar secuencias,

condiciones y repetidores las construcciones lgicas de la programacin estructurada. La mayora de los lenguajes de programacin modernos proporcionan

una sintaxis para la especificacin directa del if then else, del do while y del repeat until (as como el case). Otros lenguajes, como Lisp y Apl, requieren que el programador emule esas construcciones dentro de los lmites de sintaxis del

lenguaje.

Adems de las construcciones prodecimentales bsicas de la programacin estructurada,

puede haber otras estructuras de control. La recursividad crea una segunda activacin de un

subprograma durante la primera activacin. O sea, el subprograma se llama a s mismo

como parte del procedimiento definido, la concurrencia da soporte a la creacin de

mltiples tareas, a la sincronizacin de tareas y a la comunicacin de tareas en general esta

caracterstica del lenguaje es de mucho valor cuando se llevan a cabo aplicaciones de tipo

real. El manejo de excepciones es una caracterstica del lenguaje que atrapa los errores del

sistema o los definidos por el usuario, pasando el control a un manipulador de excepciones

para que los procese.

Soporte para el enfoque orientado a objetos. En teora, la creacin de objetos y la construccin de software orientado a objetos se puede llevar utilizando cualquier

lenguaje de programacin convencional (por ejemplo, C o PASCAL). Pero en la

prctica, el soporte para mtodos orientados a los objetos debe estar incorporado

directamente en el lenguaje de programacin que se vaya a utilizar para

implementar un diseo orientado a objetos

Un lenguaje de programacin orientado a objetos debe proporcionar un soporte directo para

la definicin de clases la herencia, la encapsulacin y el paso de mensajes. Adems de estas

construcciones orientadas a los objetos, muchos de estos lenguajes implementan

caractersticas adicionales, como herencia mltiple y polimorfismo (diferentes objetos que

pueden recibir mensajes con el mismo nombre).

La definicin de clases es fundamental en un enfoque orientado a los objetos. Un lenguaje

de programacin orientado a los objetos define un nombre de clase y especfica los

componentes privados y pblicos de la clase. Para ilustrar la forma general de las

construcciones orientadas a los objetos vamos a utilizar C++. Se puede definir una clase,

denominada contador, de la siguiente forma:

class contador

{

private :

unsigned int valor;

public :

contador ( );

void incrementar ( );

void decrementar ( );

unsigned int acceder_valor ( );

};

A partir de la definicin bsica de la clase se puede obtener una nueva clase, de la siguiente

manera:

class contador_especial: public contador

{

una copia de todos los datos privados de contador

private :

Datos privados de contador_especial;

};

Los objetos derivados de la clase contador_especial pueden utilizar todos los mtodos definidos para la clase madre contador. La definicin de una clase encapsula las abstracciones de los datos y los componentes del programa (mtodos) que operan sobre

dichos datos. En C++, los mensajes se envan a los objetos (la instanciacin de una clase)

de la siguiente forma:

Nombre_objeto.mensaje (argumentos);

Donde nombre_objeto identifica el objeto y mensaje (argumentos) describe el mensaje a

enviar.

Los detalles de implementacin y la terminologa para las definiciones de clases, herencia,

encapsulacin y paso de mensajes puede variar dependiendo del lenguaje. Por ejemplo, el

lenguaje de programacin Smalltalk define una clase de la siguiente manera

Definicin: identifica a la clase. Datos privados: atributos cuyos valores son privados de las instancias

individuales de la clase.

Datos compartidos: atributos cuyos valores son compartidos por todas las instancias de la clase.

Diccionarios: atributos cuyos valores son compartidos por mltiples clases.

Mtodos de instancia: los procedimientos que implementan mensajes que se pueden enviar a las instancias de la clase.

Mtodos de clase: los procedimientos que implementan mensajes que se pueden enviar a la propia clase (por ejemplo: inicializacin de los datos compartidos)

Aunque estos trminos difieren ligeramente de los usados en la definicin de C++, el

concepto fundamental de clase permanece igual. De forma parecida, la herencia, la

encapsulacin y el paso de mensajes, se implementan con una sintaxis diferente, pero con

los mismos fundamentos semnticos. Cualquier construccin est disponible en cualquier

lenguaje que verdaderamente sea orientado a objetos.

CARACTERSTICAS DE UN BUEN LENGUAJE SEGN ALLEN B.

TUCKER

Expresividad. La habilidad de un lenguaje para reflejar claramente el significado deseado por el diseador del algoritmo, por lo que, permite que una declaracin se

establezca compactamente y refuerce el uso de sentencias asociadas con la

programacin estructurada

Bien definido. Que la sintaxis y semntica del lenguaje no contengan ambigedades, son internamente consistentes y completas. Entonces el

implementador de un lenguaje bien definido debe tener dentro de su definicin una

especificacin completa de todas las formas expresivas del lenguaje y sus

significados. El programador, por la misma virtud, debe poder predecir exactamente

el comportamiento de cada expresin antes de que realmente se ejecute. Por lo

tanto, los lenguajes bien definidos aumentan la transportabilidad y la prueba.

Tipos y Estructuras de Datos. La habilidad de un lenguaje para soportar una gran variedad de valores de datos y colecciones no elementales de stos. Los ltimos

incluyen principalmente a los arrays y registros, pero no excluye a las estructura de

datos dinmicas, tales como listas, colas, pilas y rboles.

Modularidad. Esta caractersticas tiene dos aspectos:

El soporte del lenguaje para la subprogramacin, es decir, la habilidad de definir procedimientos y funciones independientes y comunicarlos va

parmetros o variables globales con el programa llamador.

La extensibilidad del lenguaje en el sentido de permitir operadores y tipos de datos definidos por el programador

Facilidades de Entrada Salida. En las Entradas y Salidas de un lenguaje, nosotros estamos examinando cmo soporta los archivos de acceso secuencial,

indexado y directos, as como las funciones sobre base de datos y de recuperacin

de Informacin. Los archivos de datos generalmente residen sobre el

almacenamiento secundario. Un archivo es normalmente demasiado grande para

que todos sus registros quepan en la memoria, al mismo tiempo y, por lo tanto se les

aplican diferentes estrategias de programacin.

Transportabilidad. Es cuando el lenguaje que est implementado en distintas computadoras. Esto es, su diseo es relativamente independiente de la mquina. Los

Estndares de los lenguajes generalmente son ms transportables.

Eficiencia. Permite la ejecucin y traduccin rpida sobre las mquinas en dnde est implementado.

Pedagoga. La facilidad de ensear y aprender, existencia de mejores libros de texto, estn implementados en un entorno de desarrollo de programas mejor; son

ampliamente conocidos y usados por los mejores programadores en el rea de

aplicacin.

Generalidad. Que el lenguaje sea til en un amplio rango de aplicaciones de programacin.

CRITERIOS DE EVALUACIN DE LOS LENGUAJES SEGN ROBERT

SEBESTA

Legibilidad. Uno de los ms importantes criterios para juzgar a un lenguaje de programacin es la facilidad con la cual los programas pueden ser ledos o

entendidos. Antes de 1970, el desarrollo de software fue intentado largamente en los

trminos del cdigo de escritura. En la dcada de 1970, sin embargo el ciclo de

vida de los conceptos de software fue desarrollado; la codificacin fue relegada a

una representacin en un papel ms pequeo y el mantenimiento fue reorganizado

como gran parte del ciclo, esto en los trminos de costo. Porque la facilidad de

mantenimiento es determinada en gran parte por la legibilidad de los programas, la

legibilidad es un punto muy importante en de la calidad de programas y los

lenguajes de programacin.

Sencillez. Dentro de las caractersticas que contribuye a la legibilidad de un lenguaje de programacin es la sencillez, la cual puede afectar fuertemente a la

legibilidad. Un lenguaje que tiene un gran nmero de componentes elementales

es ms difcil de aprender que uno que contenga un nmero pequeo. Los

programadores que utilizan los lenguajes de programacin tienen la tendencia de

aprender una parte de los mismos sin embargo ignoran otras caractersticas de

ellos. Esta razn muchas veces es utilizada como pretexto, cuando el lenguaje

tiene un gran nmero de componentes o elementos, pero este argumento no es

vlido. Los problemas de legibilidad ocurren cuando el programador aprende de

una forma diferente una aplicacin, con la cual el analista este familiarizado.

Teniendo tambin muchas caractersticas no es solamente el detrimento de la simplicidad

del lenguaje Otro problema es la multiplicidad de caractersticas, es decir, tener ms de una

forma determinada para realizar una operacin en particular. Por ejemplo, en el lenguaje C

se puede incrementar una simple variable entera de cuatro diferentes maneras:

Contador = contador + 1

Contador =+ 1

++ contador

contador ++

Aunque la ltima sentencia tiene una pequea diferencia semntica en comparacin con las

otros en algunos usos, las cuatro tiene el mismo significado cuando son usadas como

expresiones estando solas.

Un tercer problema potencial es el operador sobrecargado, en el cual un simple smbolo

operador tiene ms de un significado. Aunque esto es una caracterstica til, puede reducir

la legibilidad al leer si los usuarios estn permitiendo ellos mismos la generacin de

sobrecarga y ellos no lo hacen evidentemente. Por ejemplo, es claramente aceptada la

sobrecarga del signo + para usarlo en la suma tanto de enteros como de reales o punto

flotantes. En efecto esta sobrecarga simplifica un lenguaje porque reduce el nmero de

operadores. Sin embargo, supuestamente, la definicin del programador del signo + usado

entre arreglo de dimensin simple puede significar la suma de todos los elementos de

ambos arreglos. Porque el significado usual de la adicin de vectores es completamente

diferente de esto, puede hacer ms confuso el programa para ambos, el autor y los lectores.

Un nivel de ejemplo ms extremo de la confusin de programa puede ser un usuario

definiendo el signo + usado entre dos vectores para significar la diferencia entre los

primeros elementos de los mismos.

Las sentencias del lenguaje pueden ser tambin muy simples. Por ejemplo la sintaxis y el

significado de las sentencias del lenguaje ensamblador son un modelo de simplicidad. Es

muy simple, sin embargo hacer programas en lenguaje ensamblador es poco legible. Porque

ellos carecen por completo de sentencias de control, su estructura es ms sutil, porque sus

sentencias son ms simples, para realizar mejor esto se requiere un lenguaje equivalente de

alto nivel

Ortogonalidad. Ortogonalidad en un lenguaje de programacin significa que hay una pequea relacin entre un conjunto de construcciones primitivas que

pueden ser combinados en un numero relativamente pequeo de manera que se

pueden construir las estructuras de control y de datos en el lenguaje. Adems,

cada combinacin posible de primitivas es legal y significativa as, la

ortogonalidad sigue de una simetra de lazos entre primitivos, mientras un

concepto del uso de ortogonalidad en el diseo puede ser ilustrado comparando

un aspecto de los lenguajes ensamblador de los ordenadores centrales de la IBM

y de la serie de VAX de superminicomputadoras. Nosotros consideraremos

solamente una sola situacin simple, la de agregar dos valores numricos de 32-

bit que residen o en memoria o en un registro y substituir uno de los dos valores

con suma para este propsito, la unidad IBM tiene dos instruccin que tienen la

siguiente forma: A Reg1, memory_cell.

R Reg1, Reg2

Donde Reg1 y Reg2 representan registros. La semntica de ellos es

Reg1 contenido(reg1) + contenido (memory_cell)

Reg1 contenido(reg1) + contenido(reg2)

La instruccin de adicin VAX para valores enteros de 32 bits es

ADDL operando1, operando2

La semntica de la misma es:

Operando2 contenido(operando1) + contenido(operando2)

En este caso, cualquier operando puede ser uno colocado en una celda de memoria con una

instruccin.

El diseo de VAX tiene ortogonalidad por que aqu con una sola instruccin se puede

utilizar para colocar, en la celda memoria, un operando. Hay dos maneras de especificar el

operando, que puede ser la combinacin en cualquier manera concebible. El diseo IBM

disear no es ortogonal. Solamente dos combinaciones de operaciones son legales fuera de

las cuatro posibilidad, y se requiere dos diferente instrucciones, A y AR. El diseo IBM es

ser ms estricto y por lo tanto menos fcil de escribir, por ejemplo, usted no puede agregar

un valor y colocarle el valor en una localizacin de memoria. Adems, el diseo de IBM es

ms difcil de aprender debido a las restricciones y adiciones de la instruccin.

La ortogonalidad se relaciona de cerca con la simplicidad: cuanto ms ortogonal es el

diseo de un lenguaje, menos son las excepciones que se requieren de las reglas del

lenguaje. Pocas excepciones significan un grado ms alto de regularidad en el diseo, que

hace que el lenguaje sea ms fcil de aprender, leer y entender. Cualquiera que ha

aprendido una parte significativa del lenguaje ingls puede atestiguar la dificultad de la

multiplicidad de aprender las excepciones de una regla (por ejemplo, i antes de e excepto

despus c).

Sin embargo Pascal es un moderno lenguaje relativo, su diseo fue un largo

nmero de tipos de reglas inconsistentes para ser seguidas. Los procedimientos

pueden tener a los dos tipos de parmetros var y value, a menos que el procedimiento mismo lo pase como un parmetro. La funcin puede retornar

solamente tipos no estructurados. Un parmetro de tipo formal para ser

llamado; ello no puede ser completado con la descripcin de tipos. Los

archivos no pueden ser pasados por valor. La lista de regla en y en. En otras

palabras los tipos de reglas de Pascal no son ortogonales.

Demasiado ortogonalidad tambin puede causar problemas. Quizs el lenguaje de

programacin ms ortogonal es ALGOL 68. Cada construccin del lenguaje en ALGOL 68

tiene un tipo, y no hay restricciones en esos tipos. Adems, la mayora de las

construcciones producen valores. Esta libertad de combinaciones permite construcciones

extremadamente complejas. Por ejemplo, los smbolos condicionales pueden aparecer como

los izquierdos en las asignaciones, junto con la declaracin y otras declaraciones

clasificadas, mientras el resultado es una localizacin. Esta forma extrema de ortogonalidad

conduce a una innecesaria complejidad. Adems, porque los lenguajes requieren una gran

cantidad de primitivas, un alto grado de ortogonalidad da lugar a una explosin de la

combinacin. Tan incluso si las combinaciones son simples, sus nmeros escarpados

conducen a la complejidad. La simplicidad en un lenguaje, por lo tanto, es por lo menos en

parte un resultado de una combinacin de un nmero relativamente pequeo de

construcciones primitivas y del uso limitado del concepto del ortogonalidad.

Algunos creen que los lenguajes funcionales ofrecen una buena combinacin de la

simplicidad y de ortogonalidad. Un lenguaje funcional es aqul que: sus operaciones son

hechas aplicando funciones a parmetros dados. En contraste, los lenguajes imperativos,

tales como C y PASCAL, las operaciones se especifican sobre todo con variables y

declaraciones de asignacin. El Lisp es actualmente el lenguaje ms extensamente usado

que utiliza la programacin funcional. El Lisp no es un lenguaje funcional puro, porque

tambin contiene algunas caractersticas de lenguaje imperativo. Los lenguajes funcionales

ofrecen potencialmente la simplicidad total ms grande porque pueden lograr todo con una

sola construccin, la llamada de la funcin, que, se puede combinar con otras llamadas de

funciones de manera simple. Esta elegancia simple es la razn por la que atraen al

investigador de muchos lenguajes a los lenguajes funcionales, como alternativa primaria a

los lenguajes no funcionales complejos, tales como Ada y PL1

Sentencias de Control. La programacin estructurada revoluciona en la dcada de 1970 fue un reaccin para la pobre legibilidad causada por la limitadas

estructuras de control de algunos lenguajes surgidos en la dcadas de 1950 y

1960. Particularmente, se reconoci ampliamente que el uso indiscriminado de

las declaraciones del goto reduce seriamente la legibilidad del programa. Los

programas que se pueden leer de arriba hacia abajo (top down) son mucho ms fciles de entender que los programas que requieren saltar visualmente la lectura

del programa a partir de una declaracin a otra declaracin no adyacente para

seguir el orden de la ejecucin. Sin embargo, en cierto lenguaje, los gotos que

ramifican hacia arriba son a veces necesarios; por ejemplo, se requieren para

construir los ciclos MIENTRAS QUE en FORTRAN 77. Sin embargo, las

siguientes restricciones del goto puede hacer que los programas sean menos

legibles:

1. Deben preceder sus tarjetas, exceptan cuando estn utilizados en los ciclos

2. Que sus tarjetas deben nunca ser demasiado distantes.

3. El nmero de gotos debe ser limitado

Las versiones de Basic y de FORTRAN que estaban disponible en los aos 70 le faltaban el

control de sentencias que permitan fuertes restricciones en el uso de gotos, as que los

programas eran altamente legibles pero la escritura en esos lenguajes era difcil. La

mayora de los lenguajes de programacin se disearon desde los ltimos aos de la dcada

de 1960, sin embargo, han incluido suficientes sentencias de control que se necesitaban

para eliminar en las declaraciones el uso de goto. As, el diseo de las sentencias de control

en un lenguaje puede ser un factor importante para la legibilidad de los programas escritos

en ese lenguaje.

Estructura de Datos. La presencia de facilidades adecuada para la definicin de estructuras de datos en un lenguaje es otra caracterstica significativa de la

legibilidad. Por ejemplo, se supone que un tipo de dato entero es usado para una

bandera indicadora porque no hay tipos de datos boleanos en los lenguajes. En

tal lenguaje, nosotros podemos tener una sentencia semejante a la siguiente:

Suma_es_muy_grande 1

Mientras este significado no es muy claro, entonces en un lenguaje que incluye los tipos

booleanos nosotros podemos tener la sentencia:

Suma_es_muy_grande true

Entonces este significado es perfectamente claro, de manera similar, los tipos de datos

registro proveen un mtodo para representar como se emplean los registros que es ms

legible que usar una coleccin de arreglos: un arreglo para cada tem de dato en un registro

empleado, el cual es mas usado en los lenguajes que no tiene el tipo registro

Diseo de sintaxis. La sintaxis o forma de los elementos de un idioma tiene un

efecto significante en la legibilidad de los programas. Lo siguientes son tres

ejemplos de diseo sintctico de opciones que afectan la legibilidad

Forma de los identificadores. Los identificadores restringidos a longitudes muy cortas disminuyen la legibilidad, si los identificadores pueden tener seis

caracteres a lo sumo, como en FORTRAN 77, no es a menudo posible usar

nombres connotativos para las variables. Un extrem ms es el ejemplo del

Instituto Nacional Estndar Americano original (ANSI) (BASIC) (ANSI

197b) en que un identificador pudiera consistir de una sola carta seguida de

otra.

La posibilidad del carcter de conexin como lo raya baja de los identificadores es una gran

ayuda a la legibilidad SUMA_DE_CUADRADOS en ciertamente el que

SUMADECUADRADOS.

Se discuten otros problemas del plan acerca de las formas de identificadores en el captulo

4.

Las palabras especiales. La apariencia y la legibilidad del programa es fuertemente influenciado por las formas de palabras especiales de un idioma

(por ejemplo begin, end, y for) especialmente importante en el mtodo de

formar declaraciones compuestas o grupos de las declaraciones

principalmente en estructuras del mundo. Varios idiomas usan emparejando

pares de palabras especiales o smbolos para formar grupos. Pascal requiere

begin, los pares del extremo a los grupos de las formas para todo el mando

de estructuras excepto repeat, declaraciones en las que ellas pueden omitirse

(otros ejemplos de la falta de Pascal es la ortografa). C usa abrazaderas

para el mismo propsito. Los dos de estos idiomas sufren porque siempre se

termina los grupos de las declaraciones de la misma manera, que hechuras si

es difcil determinar que grupos esta acabndose cuando un extremo

aparece.

FORTRAN 77 y ADA hacen a este el que despeja cuando una sintaxis del cierre distinta

para cada tipo de grupos de las declaraciones para los ejemplos, ADA usa un extremo si

para terminar una estructura de la seleccin y vuelta del extremo para una estructura de la

vuelta. Esto es y ejemplo de conflicto entre simplicidad que es el resultado de usar palabras

reservadas, como en Pascal, y la legibilidad mayor que los resultados de usar palabras

reservadas, como ADA.

Otro problema importante si se pueden usar las palabras especiales de un idioma como

nombres para las variables del programa. En ese caso, los programas resultantes pueden ser

muy confusos, por ejemplo en FORTRAN 77 la apariencia especial de estas palabras en un

programa puede o no encontrar algo especial.

Forma y significado. Declaraciones anteriores para que en su apariencia, por lo menos parcialmente, indica que su propsito es una ayuda obvia a al

legibilidad. Semntica o significado debe seguir directamente de la sintaxis

o apariencia. En algunos casos, este principio es violado a travs de dos

idiomas por las estructuras que son similares en apariencia pero tienen

significados diferentes.

En FORTRAN 77, por ejemplo, hay dos declaraciones, el GOTO asignado y los GOTO

computados cuyas apariencias son muy similares pero cuyo los significados son diferentes,

aunque los dos son mltiples saltos alejados. Por ejemplo, las declaraciones

GO TO (10, 20, 30), I

GO TO I, (10, 20, 30)

Se usa bastante diferentemente. En el primero, la variable I es de tipo ENTERO; en el

segundo, etiqueta valores. Una de las quejas primarias sobre los rdenes de la cscara de

siempre haga pensar en su funcin. Por ejemplo, el comando grep de UNIX puede ser

descifrado a travs de conocimientos anteriores, o quizs la destreza y familiaridad con el

editor, ed de UNIX. Su apariencia no connota nada a los principiantes de UNIX. En ed

[comando/ expresin_reguladora] busca una subcadena igual a la expresin_reguladora.

Precediendo esto con hechuras de g, haciendo de esto un comando global que hace que el

archivo entero se revise hasta alcanzar la bsqueda. Siguiendo el comando con p se

especifica esa lnea con la subcadena equivalente para que se imprima. Para que el

g/expresin_reguladora/p, pueda abreviarse, por su puesto como grep, las impresiones de

todas las lneas en un archivo que contiene subcadena que son iguales a la

expresin_reguladora

Fcil Escritura. Escriturabilidad es que la medida de qu fcilmente un lenguaje puede usarse para crear programas para un dominio del problema escogido. La

mayora de las caractersticas del lenguaje que tambin efectan legibilidad la

escriturabilidad de efecto. Esto sigue directamente del hecho que el proceso de

escritura un programa exige la frecuencia del programador de releer las porciones

del programa existente.

Rescriturabilidad debe ser considerado en el contexto del dominio del problema designado

de un lenguaje en el reino de una aplicacin particular y el otro no era. Por ejemplo, la

escriturabilidad de COBOL y APL es extremadamente diferente para crear un programa

para tratar con estructura de datos bidimensionales, por que de los dos APL es ideal. Sus

escriturabilidades tambin son bastante diferentes para la pizca de los informes producto

de los formatos complejos, para eso es la finalidad por lo que COBOL se dise.

Las subdivisiones siguientes describen los factores ms importantes que influyen en la

escriturabilidad de un lenguaje

Sencillez y Ortogonalidad. S un lenguaje, tiene una gran cantidad de diversas construcciones, algunos programadores pueden no ser familiares con todos

ellos. Esto puede conducir a un uso errneo de algunas caractersticas y de un

desuso de otros que puedan ser ms elegantes o ms eficientes, o ambos, que los

que se utilicen. Esto puede ser posible, segn lo observado por Hoare, para

utilizar caractersticas desconocidas accidentalmente, cuando los resultados son

extraos.

Por lo tanto, un nmero pequeo de primitivas construcciones y del conjunto de las reglas

constante para combinarlas (esto es ortogonalidad) es mucho mejor que simplemente

teniendo una gran cantidad de nmeros primitivos. Un programador puede disear una

solucin para un problema complejo despus de aprender solamente un conjunto simple de

construcciones primitivas.

En la misma vena, demasiada ortogonalidad puede ser detrimento de la fcil escritura. Los

errores en programas de la escritura pueden ir desapercibidos cuando casi cualquier

combinacin de primitivos es legal. Esto puede conducir a las absurdidades en el cdigo

que puede no ser descubierto por el compilador.

Soporte para la abstraccin. Abreviadamente, medios de la abstraccin, la capacidad de definir y despus de utilizar las estructuras complicadas de

operaciones de manera que muchos de los detalles. La abstraccin es un

concepto dominante en los lenguajes de programacin contemporneos. Esta es

reflexin del rol central que las abstracciones juegan en la designacin de las

metodologas de la programacin moderna. El grado de la abstraccin que

permite un lenguaje de programacin y la naturaleza de sus expresiones es muy

importante para su codificacin.

Un ejemplo simple de un proceso de abstraccin es el uso de un subprograma en la

implementacin de un algoritmo, que en ejecucin se requiera varias veces en un programa.

Saliendo del subprograma, el cdigo tendra que ser replegado en todos los lugares donde

sea necesario, que hara el programa mucho ms largo y ms aburrido para la escritura. Ms

importante, si el subprograma no fue utilizado, el cdigo del subprograma podra ser

eliminado del algoritmo y as evitar, el entorpecimiento del flujo del cdigo.

Como ejemplo de la abstraccin de los datos, considere un rbol binario que salve datos del

nmero entero en sus nodos. Un rbol binario sera puesto en ejecucin generalmente en

FORTRAN 77 en tres matrices paralelas del nmero entero, donde dos de los nmeros

enteros se utilizan como subndices para especificar nodos del descendiente. En PASCAL,

estos rboles pueden ser implementados usando una abstraccin de un nodo del rbol en la

forma de una unidad de registro simple con dos punteros y un nmero entero. Lo natural de

la ltima representacin hace mucho ms fcil escribir un programa de PASCAL que

utilice un rbol binario que para escribir uno en el FORTRAN. El dominio de la solucin

del problema del lenguaje est ms cercano al dominio del problema. La ayuda total para

la abstraccin es claramente un factor importante en la codificacin del lenguaje.

Expresividad. La expresividad en un lenguaje puede referirse a varas caractersticas diferentes. En un lenguaje como APL, sus operaciones existentes

cuentan con poderosos operadores que permiten un problema grande de

computacin pueda realizarse con un pequeo programa. Generalmente los

medios que un lenguaje tiene son relativamente cmodos antes que incmodas

rutas de especificacin computacional.

Por ejemplo, en C, la expresin Contador++ es

ms cmoda y ms pequea que Contador =

Contador + 1. Tambin el operador boleano AND

THEN de Ada es un camino cmodo para

especificar la valoracin de expresiones booleanas

de corto circuito. La inclusin de la declaracin

FOR en Pascal hace ms fcil de escribir ciclos

que con el uso de WHILE. Todo esto ayuda a incrementar la facilidad de escritura en un

lenguaje de programacin.

Confiabilidad. Un programa es confiable si ejecuta sus especificaciones bajo todas las condiciones. Aunque una meta deseable en los lenguajes de programacin es la

facilidad para permitir el diseo de programas confiables, pero no es completamente

claro que sta sea una caracterstica para la estimacin y comparacin entre los

lenguajes de programacin.

Legibilidad y Fcil Escritura. Ambos facilidad de escritura y la legibilidad implica confiabilidad un programa escrito en un lenguaje que no soporta formas

naturales para expresar los algoritmos requeridos necesitara mtodos de uso

menos posible corregir en todas las situaciones. El programa ms fcil para

escribir, es el ms conveniente para corregir. Legibilidad da confiabilidad en

ambas fases del cielo de vida de mantenimiento y escritura. Los programas que

son difciles para leer tambin son difciles de escribir y modificar.

Verificacin de Tipos. La verificacin de tipos es probar la compatibilidad de los tipos entre dos variables o una variable y una constante, es de algn modo la

relacin de uno con otro. Dos de las formas ms comunes de tales impedimentos

son los operadores de las operaciones aritmticas y el resultado de la operacin,

teniendo en cuenta ambas partes (izquierda y derecha) del signo de asignacin.

La verificacin de tipos es un factor importante en la confiabilidad del lenguaje.

Esto se debe a que la verificacin de tipos en el tiempo de ejecucin es bastante

cara, por lo que es ms deseable la verificacin de tipos en el momento de la

compilacin. Adems que permite de una manera ms fcil la deteccin de

errores, por lo que es menos costoso la reparacin de los mismos. En el diseo

de los lenguajes contemporneos, como el ADA, se requiere la verificacin de

tipos de casi todas la variable en tiempo de compilacin, salvo en el caso de que

el usuario utilice estados explcitos entonces la verificacin de tipos se

suspende. Esto elimina la posibilidad de errores en tiempo de ejecucin en los

programas realizados en ADA.

La manera de cmo fracasa la verificacin de tipos tanto en tiempo de compilacin como

en el de ejecucin, es manejado por los innumerables errores de los programas que

envuelven a los parmetros de los subprogramas en el lenguaje C. En este programa el tipo

de parmetros reales en una llamada a funcin no se verificaba para determinar si

correspondiente parmetro formal de la funcin era el mismo. Por ejemplo una variable de

tipo int puede ser usada como parmetro real en una llamada a una funcin que espera un

float en su parmetro formal, por lo que el compilador descubre el problema de la

inconsistencia en el tiempo de ejecucin, por lo que da como resultados una serie de

Problemas, recurso del cual es con frecuencia difcil de determinar (En respuesta a este

problema, el sistema UNIIX incluye un programa de utilidad llamado LINT que checa programas en C para dichos problemas), Mtodos de parmetros paso y subprogramas son discutidos en el captulo 8.

En General, el rango escrito de una variable de un arreglo es parte del tipo de chequeo.

Por eso el chequeo del rango escrito es parte del tipo de chequeo, aunque debe ser

realizado al momento de correrlo. Porque muchos tipos son checados en Pascal, los rangos

del algoritmo tambin son checados. El chequeo es extremadamente importante para la

confiabilidad del programa, debido aquel rango de salida de algoritmo con frecuencia causa

errores que no aparecen hasta mucho despus de las violaciones actuales.

Manejo de Excepciones. La habilidad de un programa para detectar errores al momento del corrido, as como otras condiciones inusuales, para tomar medidas

correctas y para continuar es una gran ayuda de confiabilidad. Esta facilidad es

llamada Manejo de excepcin; El lenguaje Ada incluye capacidades extensas para manejo de excepcin, pero las facilidades son prcticamente no existen en

muchos lenguajes usados como Pascal, C, y Fortran.

Restriccin de Alias. De manera holgada el alias quiere decir que se tienen dos

mtodos de referencia distintos, o dos nombres, para la misma celda de memoria.

Ahora es muy aceptado que el alias represente un peligro en un lenguaje de

programacin, lo anterior, porque a la mayora de los lenguajes de programacin

se les permite hacer algunos tipos de alias, por ejemplo: variables equivalentes

en Fortran y punteros en Pascal. En ambos casos, las dos variables de diferentes

subprogramas pueden significar la misma celda de memoria; algunos tipos de

restricciones de alias pueden ser prevenidos por la designa an del lenguaje.

En algunos lenguajes, el alias es usado para prevenir deficiencias en la facilidad

de abstraccin de datos del lenguaje. Otros lenguajes restringen extremadamente

el alias para incrementar su confiabilidad.

Costo. El costo total de los lenguajes de programacin es una funcin de muchas de estas caractersticas. Los primeros

costos de entrenamiento y el costo de la escritura del

programa en un lenguaje puede reducirse significativamente

en un buen ambiente de programacin.

Entrenamiento del programador. Esta es una funcin de la simplicidad y ortogonalidad del lenguaje, esto aproxima en propsito a una aplicacin en

particular, y a la experiencia de los programadores. Aunque el ms poderoso de

los lenguajes no necesita ser duro para leer, y ellos frecuentemente lo son.

Escritura del programa. Esta es una funcin de la fcil escritura de los lenguajes. El esfuerzo original para disear e implementar un lenguaje de alto

nivel es manejado por el deseo para bajar el costo de creacin de software.

Compilacin. El tercero es el costo de compilacin de los programas en el lenguaje. Un impedimento principal para el uso adelantado de Ada fue la

prohibicin de los altos costos de ejecucin en la tercera generacin de los

compiladores Ada. Este problema es conveniente en compiladores menos

seguros como el Ada llega a ser el ms apropiada.

Ejecucin. El cuarto es el costo de ejecucin de programas escritos en un lenguaje es influenciado grandemente por el diseo del lenguaje. Un lenguaje,

tal como el PL1, que requiere mucho tiempo de ejecucin para la verificacin de

los tipos impide que el cdigo se ejecute rpidamente, a pesar de la calidad del

compilador.

Mantenimiento. Finalmente tenemos al costo de mantenimiento de programas, con la cual se incluyen las correcciones y modificaciones para aadir nuevas

caractersticas. El costo de mantenimiento depende de un gran nmero de

caractersticas del lenguaje especialmente la legibilidad. Porque el

mantenimiento es realizado frecuentemente por otras personas diferentes al

autor original del software, la pobre legibilidad puede hacer lar tarea

extremadamente desafiante. La importancia del mantenimiento del software no

puede ser desafiante. Esto se ha estimado para un software de aplicacin de

aplicacin con una vida relativamente larga, los costos de mantenimiento

pueden subir de dos a tres cuartos de tiempo tanto como el desarrollo.

Todas estas contribuciones para los costos de un lenguaje nos indican que hay dos muy

importantes: el de desarrollo y el de mantenimiento de los programas. Porque son las

funciones de legibilidad y fcil escritura las que intervienen en ellos, y stos son los dos

criterios ms importantes en la evaluacin de los lenguajes de programacin.

Una nota final para el criterio. Los criterios, especialmente legibilidad y escriturabilidad, no

se pueden precisar en su definicin ni limitarse de una manera exacta. Los conceptos son

tiles sin embargo nos proporcionan una perspicacia en el diseo y evaluacin de los

lenguajes de programacin. Existen por supuesto otros criterios para la evaluacin de los

lenguajes de programacin, por ejemplo la portabilidad (la facilidad con el que el programa

puede ser movido de una mquina a otra), su generalidad (la aplicacin del lenguaje a un

extenso ramo de aplicaciones) y sobre todo Buenas Definiciones (la integridad y precisin

del lenguaje en la definicin de la documentacin). Sin embargo las que hemos explicado

consideramos que son las ms importantes.