operationele semantiek

Betekenis operationele semantiek

De betekenis van operationele semantiek is: "semantisch formalisme, waarbij het effect van de instructies van een taal gedefinieerd wordt in termen van instructies voor een virtuele machine die goed is gedefinieerd, maar onafhankelijk van de technische eisen van reële machines
".

Defenitie operationele semantiek

De definitie van operationele semantiek is: "semantisch formalisme, waarbij het effect van de instructies van een taal gedefinieerd wordt in termen van instructies voor een virtuele machine die goed is gedefinieerd, maar onafhankelijk van de technische eisen van reële machines
".