Topic: object code linkers and loaders
Topic: mobile code
Topic: machine code and assembly language
| |
Reference
Hicks, M., Weirich, S., Crary, K.,
"Safe and flexible dynamic linking of native code", in Harper, R. (ed.),
Types in Compilation, Third International Workshop, TIC 2000, Montreal, Canada, September 2000, Springer, LNCS 2071, pp. 147-176.
Google
Quotations
148 ;;Quote: dynamic linking of verifiable native code in Typed Assembly Language (TAL); allows type-safe, dynamic linking; comparable performance to the standard ELF implementation
|
Related Topics
Topic: object code linkers and loaders (31 items)
Topic: mobile code (14 items)
Topic: machine code and assembly language (49 items)
|