According to Clinger (1981): Usually, however, the formal semantics of a conventional sequential programming language may itself be interpreted to provide an (inefficient) implementation of the language.
Σύμφωνα με τον Clinger : Συνήθως, όμως, η τυπική σημασιολογία μιας κλασικής ακολουθιακής γλώσσας προγραμματισμού μπορεί να διερμηνευτεί η ίδια ώστε να αποτελέσει μια (μη αποδοτική) υλοποίηση της γλώσσας.