Основан в 1975 г. Публикуются статьи по всем проблемам, связанным с теоретическим и практическим программированием: операционные системы, технологии программирования, языки программирования и компиляторы, параллельное программирование, верификация и тестирование программ, машинная графика, компьютерная алгебра и т.п. Журнал предназначен для исследователей, практиков и студентов. Журнал рецензируется, включен в список ВАК для опубликования работ соискателей ученых степеней.