> -- Info21 писал(а):
> По-моему, серьезно обсуждать это уродство нельзя. И что Е.Зуев именно это делает, больше всего меня удивляет.
Ну даже Хоар (?!) тоже в MS Research занимался(ется) проблемой автоверификации С++.... Вроде бесполезное занятие, но вот желание "облагодетельствовать массы" таким способом, что ли...