Next: This Site in PostScript Up: Notes for Future Discussion Previous: Decidability of Freeness of
At the moment we are just applying schemas to end slicing which is very restrictive. We might have to introduce lazy semantics of schemas for this. A trace semantics for schemas?