Foundations and Trends in Programming Languages

Описание

В центре внимания — теория и практика языков программирования, включая их синтаксис, семантику и компиляцию. Журнал освещает такие аспекты, как разработка новых языков, анализ существующих языков, а также методы программирования и верификации. В нем представлены статьи, посвященные как формальным методам, так и экспериментальным подходам, что позволяет исследователям глубже понять принципы работы языков и их производительность. Кроме того, внимание уделяется взаимодействию языков с современными вычислительными системами. Публикации будут полезны аспирантам и ученым, занимающимся языками программирования, компиляторами и программной инженерией.