Operational semantics, whereby the execution of the language is described directly (rather than by translation).
Λειτουργική σημασιολογία (Operational semantics), στην οποία η εκτέλεση της γλώσσας περιγράφεται άμεσα (και όχι μέσω μετάφρασης).