FALGOL (Formal ALGOrithmic Language) - фундаментальная теоретическая модель операторных языков высокого уровня с неограниченной иерархией программных объектов, формализующая связывание, присваивание, подстановку и рекурсию, причем в отличие от других известных формальных систем такого рода в этой модели реализован принцип динамического связывания переменных, что открывает возможность применения FALGOL'а для уточнения наиболее трудно формализуемых понятий современных языков объектного программирования.
