| 
|
Quote: most systems for untrusted extensions assume a trusted garbage collector; use Capability Language to verify memory management
topics >
all references >
references t-z >
Group:
memory management
Topic:
extensible systems
Quotation Skeleton
However, in all of these systems [for untrusted extensions] (SPIN, JVM, TAL, and Touchstone[ref], a compiler that generates PCC), … management. In particular, their soundness depends on memory … Google-1 Google-2
Copyright clearance needed for quotation.
Group: memory management (11 topics, 346 quotes)
Topic: extensible systems (22 items)