| 
|
Quote: SPIN depends only on Modula-3's interfaces, type safety, and automatic memory management; no dangling pointers or array overflow
topics >
all references >
references a-b >
Topic:
operating system security
Topic:
type-safe and secure languages
Topic:
weak vs. strong type checking
Topic:
security of remotely executed code
Topic:
extensible systems
Quotation Skeleton
The design of SPIN [operating system] depends only on … [Modula-3] … the visible parts of an implementation module … All other definitions within the implementation module are … A pointer may only refer to objects of … Automatic storage management prevents memory used by a … different type. Google-1 Google-2
Copyright clearance needed for quotation.
Topic: operating system security (17 items)
Topic: type-safe and secure languages (42 items)
Topic: weak vs. strong type checking (39 items)
Topic: security of remotely executed code (22 items)
Topic: extensible systems (22 items)