next up previous
Next: Class definitions Up: A Denotational Semantics for Previous: OIL semantics

OIL-Lite



Subsections

Ian Horrocks 2000-09-10