ACM references a-e
security of remotely executed code
memory management by garbage collection
code optimization by flow analysis
Agesen, O., Detlefs, D., Moss, J.E.B.,
"Garbage collection and local variable type-precision and liveness in Java Virtual Machines",
Proceedings of the ACM SIGPLAN '98 Conference on Programming Language Design and Implementation (PLDI), ACM Press, June 1998.
SIGPLAN Notices, 33.3:301-312, May 1998.
|271 ;;Quote: bytecode verifier that type is statically defined and always initialized; the Gosling property|
|272 ;;Quote: bytecode verifier allows a variable to retain its type across subroutine calls; requires liveness analysis|
|272+;;Quote: use liveness analysis to reduce retained garbage; about 50% more expensive than type analysis
ThesaHelp: ACM references a-e (259 items)
ThesaHelp: references a-b (396 items)
Topic: security of remotely executed code (22 items)
Topic: memory management by garbage collection (113 items)
Topic: code optimization by flow analysis (45 items)