1. Home
  2. Computer
  3. Programmin­g
  4. Typed Assembly Language: TAL

Computer · Programmin­g

Typed Assembly Language: TAL

Listed in the directory · updated 20 Jul 2022

Visit website

Find them on

Share

About Typed Assembly Language: TAL

Typed Assembly Language: TAL- Extends traditional untyped assembly languages with typing annotations, memory management primitives, and sound set of typing rules. The typing rules guarantee memory safety, control flow safety, type safety of TAL programs. What do you want to type check today?

Tags

Algol 68

Where it sits

Computer Programmin­g

More in Programmin­g

See all →