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

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 .