| 
|
Quote: translate an ML-like language into typed assembly language (TAL); proof carrying code
topics >
all references >
references m-o >
Topic:
functional programming
Topic:
type-safe and secure languages
Topic:
proof-carrying code
Topic:
machine code and assembly language
Topic:
curried functions
Topic:
evaluation in an environment
Quotation Skeleton
We motivate the design of a statically typed … [series of] type- preserving translation[s] from System F [ML-like] to TAL. The … provides support for enforcing high- level language abstractions, … In addition, the typing constructs place almost no … The compiler and typed assembly language provide a … potentially malicious code must be checked for safety … Google-1 Google-2
Copyright clearance needed for quotation.
Additional Titles
Quote: a typed assembly language enforces closures, tuples, and abstract data types without restricting low-level optimizations such as register allocation
Topic: functional programming (43 items)
Topic: type-safe and secure languages (42 items)
Topic: proof-carrying code (7 items)
Topic: machine code and assembly language (49 items)
Topic: curried functions (14 items)
Topic: evaluation in an environment (34 items)