It is also possible to relate multiple semantics through abstractions via the theory of abstract interpretation.
Πολλαπλές σημασιολογίες μπορούν μερικές φορές να συσχετιστούν με τη χρήση αφαίρεσης, μέσω της θεωρίας της αφηρημένης διερμηνείας.