According to Dana Scott (1980): It is not necessary for the semantics to determine an implementation, but it should provide criteria for showing that an implementation is correct.
Σύμφωνα με το Dana Scott : Δε χρειάζεται η σημασιολογία να ορίζει την υλοποίηση, αλλά θα πρέπει να παρέχει κριτήρια που δείχνουν ότι μια υλοποίηση είναι σωστή.