Semantics of an empty PermittedSubtypes attribute for the VM

John Rose john.r.rose at
Fri Apr 3 23:05:38 UTC 2020

On Apr 3, 2020, at 3:12 PM, John Rose <john.r.rose at> wrote:
> - A “private action” is any action which the static compiler could have arranged for.
> - Private actions define encapsulation boundaries.  (They can be made public, protected, etc.)

P.S. This is the important part.  A clean and secure VM design
requires principles like this, as opposed to of patchwork of
“if this then that” rules about access control features, as if
they were all unrelated.  Patchworks without principles get
subverted, eventually.

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <>

More information about the amber-spec-experts mailing list