ในวิทยาการคอมพิวเตอร์ภาษาแอสเซมบลีแบบมีชนิด ( TAL ) คือภาษาแอสเซมบลีที่ขยายเพื่อรวมวิธีการระบุชนิดข้อมูลของแต่ละค่าที่ถูกจัดการโดยโค้ด จากนั้นโปรแกรม (ตัวตรวจสอบชนิด) ที่ประมวลผลโค้ดภาษาแอสเซมบลีสามารถใช้คำอธิบายประกอบเหล่านี้เพื่อวิเคราะห์พฤติกรรมของโค้ดเมื่อถูกเรียกใช้งาน โดยเฉพาะอย่างยิ่ง ตัวตรวจสอบชนิดดังกล่าวสามารถใช้เพื่อพิสูจน์ความปลอดภัยของชนิดของโค้ดที่ตรงตามเกณฑ์ของระบบชนิดที่ เหมาะสม ^{[ 1 ]}

ภาษาแอสเซมบลีแบบมีชนิดข้อมูลจัดเตรียมกลไกสำหรับการอธิบายและตรวจสอบชนิดของค่าที่จัดเก็บในรีจิสเตอร์และ หน่วย ความจำกลไกเหล่านี้อนุญาตให้ระบบชนิดข้อมูลบังคับใช้การใช้งานตัวชี้เฟรมสแต็กและโครงสร้างข้อมูลที่จัดสรรบนฮีป อย่างปลอดภัย โดยไม่ขึ้นอยู่กับกลยุทธ์การจัดการหน่วยความจำ ใดๆ ^{[ 1 ]}

ภาษาแอสเซมบลีแบบมีประเภทสามารถใช้เพื่อรองรับสภาพแวดล้อมการดำเนินการที่เชื่อถือได้เนื่องจากคุณสมบัติด้านความปลอดภัยสามารถตรวจสอบได้แบบคงที่โดยการตรวจสอบประเภทของโปรแกรม ระบบที่ใช้ TAL จึงดำเนินการโค้ดเนทีฟโดยตรงโดยไม่ต้องพึ่งพาไบต์โค้ด ที่ตีความ หรือเครื่องเสมือน^{[ 1 ]}

• รหัสการพิสูจน์

• TALx86เป็นโครงการวิจัยจากมหาวิทยาลัยคอร์เนล ซึ่งได้พัฒนาโปรแกรมแอสเซมเบลอร์แบบมีชนิดข้อมูลสำหรับสถาปัตยกรรม Intel IA-32

บทความวิทยาการคอมพิวเตอร์นี้ ยัง ไม่สมบูรณ์คุณสามารถช่วยวิกิพีเดียได้โดยการเพิ่มข้อมูลที่ขาดหายไป

• วี
• ที
• อี

บทความเกี่ยวกับภาษาโปรแกรมนี้ ยังเป็น เพียงบทความย่อคุณสามารถช่วยวิกิพีเดียได้โดยการเพิ่มข้อมูลที่ขาดหายไป

• วี
• ที
• อี