Ассемблер: программирование и анализ корректности машинных программ