Maskinskrivet assemblerspråk
Inom datavetenskap är ett typat assemblerspråk ( TAL ) ett assemblerspråk som utökas till att omfatta en metod för att kommentera datatypen för varje värde som manipuleras av koden. Dessa anteckningar kan sedan användas av ett program (typkontroll) som bearbetar assemblerspråkskoden för att analysera hur den kommer att bete sig när den exekveras. Specifikt kan en sådan typkontroll användas för att bevisa typsäkerheten för kod som uppfyller kriterierna för något lämpligt typsystem .
Maskinskrivna assemblerspråk inkluderar vanligtvis ett minneshanteringssystem på hög nivå baserat på sophämtning .
Ett maskinskrivet assemblerspråk med ett lämpligt uttrycksfullt typsystem kan användas för att möjliggöra säker exekvering av opålitlig kod utan att använda en mellanliggande representation som bytekod , vilket tillåter funktioner liknande de som för närvarande tillhandahålls av virtuella maskinmiljöer som Java och .NET .
Se även
Vidare läsning
- Greg Morrisett . "Typat assemblerspråk" i avancerade ämnen i typer och programmeringsspråk . Redaktör: Benjamin C. Pierce .