Һыҙыҡлы программалау менән бер үк ваҡытта һыҙыҡһыҙ прогаммалау мәсьәләләренә ҙур иғтибар бүленә. 1951 йылда Г. Кун һәм А. Таккерҙың эше баҫылып сыға, унда һыҙыҡлы булмаған программалау мәсьәләләрен сисеү өсөн кәрәкле һәм етерлек шарттар бирелә. Был эш артабанғы тикшеренеүҙәр өсөн нигеҙ булып хеҙмәт итә.