Web Directory

    Top: Computers: Programming: Languages: Assembly:

 

Typed Assembly Language: TAL

  Link Details for: Typed Assembly Language: TAL
Link Title: Typed Assembly Language: TAL Open in a new window
Link URL: http://www.cs.cornell.edu/talc/
Link Details: 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
Category: Top : Computers : Programming : Languages : Assembly
Link Type: Lock this listing - So it can't be removedLock this listing - and upgrade it to FeaturedReport this listingAdd a regular link to the same category
ScreenShot:
Typed Assembly Language: TAL