Types and Programming Languages /
Un sistema de tipos es un método para la detección automática de la ausencia de ciertos comportamientos erróneos cuando se clasifican las frases de un programa de acuerdo a los valores que computan. En esta obra se ofrece una introducción pragmática y operativa a la teoría de los sistemas de tipos y...
Guardado en:
| Hovedforfatter: | |
|---|---|
| Format: | Bog |
| Sprog: | engelsk |
| Udgivet: |
Cambridge, EUA :
Massachusetts Institute of Technology,
2002, c2002
|
| Fag: | |
| Tags: |
Ingen Tags, Vær først til at tagge denne postø!
|
| Summary: | Un sistema de tipos es un método para la detección automática de la ausencia de ciertos comportamientos erróneos cuando se clasifican las frases de un programa de acuerdo a los valores que computan. En esta obra se ofrece una introducción pragmática y operativa a la teoría de los sistemas de tipos y a los lenguajes de programación, con miras a facilitar la su utilización en la ingeniería de software, el diseño de lenguajes de programación, el alto rendimiento de los compiladores y la seguridad del sistema. |
|---|---|
| Fysisk beskrivelse: | XXI, 623 p. |
| ISBN: | 0-262-16209-1 |