| 
|
Quote: intermediate representation should be machine independent, encode dataflow, allow security proofs, extendible, space efficient, online code generation
topics >
all references >
references e-f >
Topic:
intermediate representation of code
Quotation Skeleton
future software distribution formats may need to provide … An ideal representation would directly and space-efficiently encode … A facility by which a verifier can "prove," … The size of an encoded program and the … … The program representation should be open to later … A facility for interleaving downloading with code generation. … Google-1 Google-2
Copyright clearance needed for quotation.
Topic: intermediate representation of code (29 items)