SE547: Subtyping [11/23] Previous pageContentsNext page

Subtyping:

Allows for more complex set of security classes (e.g. {H,L1,L2 | L1 <: H & L2 <: H}

Previous pageContentsNext page