The GSV fragment differs from the DPL and the DMG dynamic semantics in
important details. Nevertheless, it has more or less the same things
The GSV fragment differs from the DPL and the DMG dynamic semantics in
important details. Nevertheless, it has more or less the same things