| 
|
Quote: type checking normally occurs with the abstract syntax tree; allows context, type correctness of subexpressions, and one type rule per construct
topics >
all references >
references c-d >
Group:
type checking
Topic:
security of remotely executed code
Quotation Skeleton
Type checking normally occurs in the front end … [ref]. In the traditional case, type checking is compositional: the type … whether the current construct is typable by one … execution paths have the same virtual machine configuration--a … Google-1 Google-2
Copyright clearance needed for quotation.
Additional Titles
Quote: a bytecode verifier must show that all possible execution paths have the same virtual machine configuration; complicates type checking
Group: type checking (12 topics, 385 quotes)
Topic: security of remotely executed code (22 items)