Inter-process Type Checking
Alta ensures equivalent types for all shared objects
Effective limits on shareable types:
Completely consistent field types
Only allows non-polymorphic fields
Previous slide
Next slide
Back to first slide
View graphic version