URL: http://www.cs.cornell.edu/talc/

Date Submitted: 02/03/05

Description: 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?

Rating:
0/5 based on 0 votes
Median rating: 0

Hits: 0 to site, 0 from site. Averaging 0 out and 0 in per day.
In the most recent 30 day period, there've been 0 to the site and 0 from the site.

Reviews: 0 comments

Rate this Link:

5 - Perfect 4 - Good 3 - Average 2 - Mediocre 1 - Bad