| German |
| has gloss | deu: Die abstrakte Interpretation ist eine Methode aus dem Bereich der Programmanalyse. |
| lexicalization | deu: Abstrakte Interpretation |
| French |
| has gloss | fra: Linterprétation abstraite est une théorie dapproximation de la sémantique de programmes informatiques basée sur les fonctions monotones pour ensembles ordonnés, en particulier les treillis (en anglais : lattice). Elle peut être définie comme une exécution partielle d'un programme pour obtenir des informations sur sa sémantique (par exemple, sa structure de contrôle, son flot de données) sans avoir à en faire le traitement complet. |
| lexicalization | fra: Interpretation abstraite |
| lexicalization | fra: Interprétation Abstraite |
| Japanese |
| has gloss | jpn: 抽象解釈（ちゅうしょうかいしゃく、）は、コンピュータプログラムの意味論の健全な近似の理論であり、順序集合（特に束）における単調関数に基づいている。全ての計算を実施することなく、プログラムの部分的な実行をするものと見ることができ、それによりプログラムの意味に関する情報（例えば、制御構造、情報の流れなど）を獲得する。 |
| lexicalization | jpn: 抽象解釈 |
| Chinese |
| has gloss | zho: 在计算机科学中，抽象释义是基于在有序集合特别是格上的单调函数，计算机程序的语义的可靠逼近理论。它可以被看作对计算机程序的部分执行，获取关于它的语义信息(比如，控制结构、信息流)而不进行所有计算。 |
| lexicalization | zho: 抽象释义 |