| 
|
QuoteRef: morrG1_1998
topics >
all references >
ThesaHelp:
ACM references m-z
ThesaHelp:
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
Reference
Morrisett, G., Walker, D., Crary, K., Glew,N., "From system F to typed assembly language", Conference record of POPL '98: the 25th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, San Diego, California, January 1998, ACM Press, pp. 85-97. Google
abstract ;;Quote: translate an ML-like language into typed assembly language (TAL); proof carrying code
abstract+;;Quote: a typed assembly language enforces closures, tuples, and abstract data types without restricting low-level optimizations such as register allocation
ThesaHelp: ACM references m-z (280 items)
ThesaHelp: references m-o (268 items)
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)