Vi motiverar utformningen av ett statiskt inskrivet monteringsspråk (TAL) och presenterar en typbevarande transbation från System F till TAL. Den TAL vi presenterar är baserad på ett konventionellt RISC monteringsspråk, men dess statiska typ system ger stöd för att genomdriva hög nivå språk abstraktioner, såsom stängningar, tuples, och objekt, samt användardefinierade abstrakta datatyper. Typsystemet säkerställer att välskrivna program inte kan bryta mot dessa abstraktioner. Dessutom innebär maskinskrivningskonstruktionerna nästan inga begränsningar för optimeringar på låg nivå, t.ex. registertilldelning, val av instruktion eller schemaläggning. Vår översättning till TAL är specificerad som en sekvens av typ-bevarande transformationer, inklusive CPS aud stängning omvandling faser; type correct source programs mappas till typ-korrigerat monteringsspråk. Ett viktigt bidrag är en strategi för omvandling av polymorfa stängningar som är betydligt enklare än tidigare arbete. Kompilatorn och det maskinskrivna monteringsspråket ger ett helautomatiskt sätt att producera bevisbärande kod, som kan användas i system där otillförlitlig och potentiellt skadlig kod måste kontrolleras för säkerhet före utförandet. Tillstånd för mnkc digitalfhard kopior av hela eller delar av ihis material för personnl eller klassrum användning beviljas utan avgift, förutsatt att kopiorna inte är mxdc eller distribueras för proiit eller kommersiell fördel, upphovsrättsmeddelandet, ihc titeln på publikationen och dess datum visas, och meddelande ges att upphovsrätt är genom tillstånd av ACM, Inc. Att kopiera på annat sätt, att publicera, att posta på servrar eller att omfördela till listor, kräver särskild tillstånd r&or avgift POPL 98 San Diego CA USA Copyright 1998&M 0-89791-979-3/98/Ol..S3.50
Skrivna monteringsspråk REF fungerar som ett samlingsmål, vanligtvis i form av ett komplext typsystem som införs ovanpå ett befintligt monteringsspråk.
From system F to typed assembly language