У 1970—1980-ті роки остаточно склався предмет дослідження теоретичного програмування. Основним досягненням школи у цей час стало створення алгебро-граматичного (АГ) апарату синтезу програмного продукту.