Descripción
Standard ML es un lenguaje de programación de propósito general diseñado para grandes proyectos. Este libro proporciona una definición formal de Standard ML para el beneficio de todos los interesados en el lenguaje, incluyendo usuarios e implementadores. Debido a que cada vez se exige más a los programas informáticos que soporten análisis rigurosos, es aún más importante que el lenguaje en el que están escritos se defina con total rigor. Uno de los propósitos de una definición de lenguaje es establecer una teoría de significados sobre la cual pueda descansar la comprensión de programas particulares. Para definir correctamente un lenguaje de programación, es necesario utilizar alguna forma de notación que no sea un lenguaje de programación. Dada la preocupación por el rigor, la notación matemática es una elección obvia. Los autores han definido sus objetos semánticos en notación matemática que es completamente independiente de Standard ML. Al definir un lenguaje, también se deben definir las reglas de evaluación con precisión, es decir, definir qué significado resulta de evaluar cualquier frase del lenguaje. La definición constituye así una especificación formal para una implementación. Los autores han desarrollado suficiente de su teoría para dar sentido a sus reglas de evaluación. The Definition of Standard ML es el punto de referencia esencial para Standard ML. Desde su publicación en 1990, la tecnología de implementación del lenguaje ha avanzado enormemente y el número de usuarios ha crecido. La edición revisada incluye una serie de nuevas características, omite características poco utilizadas y corrige errores de definición.
Autor: Robin Milner, Robert Harper, David Macqueen
Editorial: MIT Press
Publicado: 21/05/1997
Páginas: 132
Tipo de encuadernación: Tapa blanda
Peso: 0.50lbs
Tamaño: 8.97h x 7.01w x 0.42d
ISBN13: 9780262631815
ISBN10: 0262631814
Categorías BISAC:
- Informática | Lenguajes | General
Sobre el autor
David MacQueen es Profesor de Ciencias de la Computación en la Universidad de Chicago.