73 search results - page 1 / 15 » Stack-Based Typed Assembly Language |
TIC
1998
Springer
13 years 9 months ago
1998
Springer
In previous work, we presented a Typed Assembly Language (TAL). TAL is sufficiently expressive to serve as a target language for compilers of high-level languages such as ML. More...
CASSIS
2005
Springer
13 years 10 months ago
2005
Springer
Abstract. We study secure information flow in a stack based Typed Assembly Language (TAL). We define a TAL with an execution stack and establish the soundness of its type system ...
APLAS
2005
ACM
13 years 10 months ago
2005
ACM
CATS
2006
13 years 6 months ago
2006
CORR
2009
Springer
13 years 2 months ago
2009
Springer