5. Examples
Concrete instantiations of the framework demonstrate that the abstractions are usable and that the metatheoretic properties yield practical guarantees.
Concrete instantiations of the framework demonstrate that the abstractions are usable and that the metatheoretic properties yield practical guarantees.