| 
|
Quote: dynamic linking of verifiable native code in Typed Assembly Language (TAL); allows type-safe, dynamic linking; comparable performance to the standard ELF implementation
Topic:
object code linkers and loaders
Topic:
mobile code
Topic:
machine code and assembly language
Quotation Skeleton
In this paper, we present the design and … this framework in the context of Typed Assembly … [ref] (TAL) … Our framework … enable us to program dynamic linking facilities in … [trusted computing base]. Our additions are simple enough that a formal proof of … [ref]. … To demonstrate the flexibility and efficiency of our … [ref], a UNIX library that provides dynamic linking to C programs. … [p. 149] … [ref], and has the added benefit of safety. Furthermore, we can … [ref], Windows DLLs and COM [ref], Objective Caml's Dynlink [refs], Flatt and Felleisen's Units [ref], and SPIN's domains [ref], among others. Google-1 Google-2
Copyright clearance needed for quotation.
Topic: object code linkers and loaders (31 items)
Topic: mobile code (14 items)
Topic: machine code and assembly language (49 items)