Зеленым отмечены синонимы, присутствующие в словаре. Красным отмечены синонимы, отсутствующие в словаре.
Зеленым отмечены антонимы, присутствующие в словаре. Красным отмечены антонимы, отсутствующие в словаре.
под корректными программами подразумеваю такие программы, для которых выполняются все свойства из множества свойств, определяющих корректность получаемых результатов и корректность исполнения, независимо от того, доказуемы ли эти свойства или нет.
Источник: 003540 Еще про статическую типизацию