Lenguaje ensamblador mecanografiado - Typed assembly language
En ciencias de la computación , un lenguaje ensamblador mecanografiado ( TAL ) es un lenguaje ensamblador que se extiende para incluir un método de anotar el tipo de datos de cada valor que es manipulado por el código. Estas anotaciones pueden luego ser utilizadas por un programa (verificador de tipos) que procesa el código en lenguaje ensamblador para analizar cómo se comportará cuando se ejecute. Específicamente, dicho verificador de tipo se puede utilizar para probar la seguridad de tipo del código que cumple los criterios de algún sistema de tipo apropiado .
Los lenguajes ensambladores escritos normalmente incluyen un sistema de gestión de memoria de alto nivel basado en la recolección de basura .
Se puede utilizar un lenguaje ensamblador mecanografiado con un sistema de tipos adecuadamente expresivo para permitir la ejecución segura de código que no es de confianza sin usar una representación intermedia como bytecode , permitiendo características similares a las que actualmente proporcionan los entornos de máquinas virtuales como Java y .NET .
Ver también
Otras lecturas
- Greg Morrisett . "Lenguaje ensamblador mecanografiado" en Temas avanzados en tipos y lenguajes de programación . Editor: Benjamin C. Pierce .
enlaces externos
- TALx86 , un proyecto de investigación de la Universidad de Cornell que ha implementado un ensamblador mecanografiado para la arquitectura Intel IA-32 .
Este artículo de informática es un fragmento . Puedes ayudar a Wikipedia expandiéndolo . |
Este artículo relacionado con el lenguaje de programación es un código auxiliar . Puedes ayudar a Wikipedia expandiéndolo . |