| 
|
Quote: SafeTSA is compact, type-safe mobile code based on static single assignment; safe by construction with referential integrity, type separation, and type check elimination
topics >
all references >
references a-b >
Topic:
error safe systems
Topic:
dynamic type checking
Topic:
type-safe and secure languages
Topic:
mobile code
Topic:
referential transparency
Topic:
security of remotely executed code
Quotation Skeleton
We introduce SafeTSA, a type-safe mobile code representation … Virtual Machine, over which it has several advantages: … (2) SafeTSA provides incorruptible referential integrity and uses … (3) SafeTSA can transport the results of type … bytecode. … [p. 144] SafeTSA is safe by construction, and cannot … Google-1 Google-2
Copyright clearance needed for quotation.
Topic: error safe systems (75 items)
Topic: dynamic type checking (43 items)
Topic: type-safe and secure languages (42 items)
Topic: mobile code (14 items)
Topic: referential transparency (26 items)
Topic: security of remotely executed code (22 items)