Zadaný montážní jazyk - Typed assembly language

tento článek ne uvést žádný Zdroje. Prosím pomozte vylepšit tento článek podle přidávání citací ke spolehlivým zdrojům. Zdroj bez zdroje může být napaden a odstraněn. Najít zdroje: "Psaný jazyk sestavení"  – zprávy  · noviny  · knihy  · učenec  · JSTOR (Březen 2017) (Zjistěte, jak a kdy odstranit tuto zprávu šablony)

v počítačová věda, a zadaný montážní jazyk (TAL) je montážní jazyk který je rozšířen o metodu anotace datový typ každé hodnoty, kterou kód manipuluje. Tyto anotace pak může použít program (kontrola typu), který zpracovává kód jazyka sestavení, aby analyzoval, jak se bude chovat při jeho provádění. Konkrétně lze takový typ kontroly použít k prokázání bezpečnost typu kódu, který splňuje kritéria některých vhodných typový systém.

Zadané montážní jazyky obvykle zahrnují systém správy paměti na vysoké úrovni založený na odvoz odpadu.

Typovaný jazyk sestavení s vhodně expresivním typem systému lze použít k povolení bezpečného provádění nedůvěryhodného kódu bez použití prostřední reprezentace jako bytecode, což umožňuje funkce podobné těm, které aktuálně poskytují prostředí virtuálních strojů, jako je Jáva a .SÍŤ.

Viz také

• Kód s důkazem

Další čtení

• Greg Morrisett. "Psaný jazyk sestavení" ve Windows Pokročilá témata v typech a programovacích jazycích. Editor: Benjamin C. Pierce.

externí odkazy

• TALx86, výzkumný projekt z Cornell University, který implementoval typovaný assembler pro Intel IA-32 architektura.

Tento počítačová věda článek je a pahýl. Wikipedii můžete pomoci pomocí rozšiřovat to.

Tento programovací jazyk související článek je a pahýl. Wikipedii můžete pomoci pomocí rozšiřovat to.