Языки программирования (ЯП) вместе с соответствующим инструментарием (компиляторы, системы поддержки периода выполнения, редакторы связей, библиотеки)  представляют собой ключевой аспект разработки любого ПО. Характеристики и качество языков и инструментов напрямую влияют на качество разрабатываемого ПО и его соответствие предъявляемым требованиям. По этим причинам исследования, связанные с анализом всех аспектов ЯП (общий дизайн, статическая и динамическая семантика, вопросы компиляции и интерпретации и многое другое), имеют первостепенное значение и носят не только прикладной, но и фундаментальный характер.