Searching for "Stack-based typed assembly language." – sorted by Relevance.
6 documents found, showing 1 through 6.
-
Information flow analysis for a typed assembly language with polymorphic stacks
- …,abc}@(email omitted); Abstract. We study secure information flow in a stack based Typed Assembly Language (TAL). We define a TAL…
- Cited by 2 (0 self) – Add To MetaCart
-
Timing Aware Information Flow Security for a JavaCard-like Bytecode
- … to Java bytecode the work by Morisett et al. in Stack-Based Typed Assembly Language (STAL) [11…
- Cited by 8 (1 self) – Add To MetaCart
-
A Typed Interface for Garbage Collection
- … as in stack-based typed assembly language (STAL) [5]. The details of the language that do not directly relate…
- Cited by 8 (1 self) – Add To MetaCart
-
A Simple, Comprehensive Type System for Java Bytecode Subroutines
- … to the Stack-based Typed Assembly Language of Morrisett et al. [6] (hereafter referred to as %TAL…
- Cited by 53 (0 self) – Add To MetaCart
-
Compiling for Template-Based Run-Time Code Generation
- …-invariant removal, copy propagation, or common-subexpression elimination. Rather, it generated naive, stack-based…
- Cited by 1 (1 self) – Add To MetaCart
-
An Introduction to Typed Assembly Language
- …. [13] - G. Morrisett, K. Crary, N. Glew, D. Walker. StackBased Typed Assembly Language. [12] ffl A…
- Add To MetaCart
Showing 1 through 6.
