4200 / 1792 / 211
Регистрация: 24.11.2009
Сообщений: 27,562
|
||||||
1 | ||||||
После всякиго ли компилятора c++ будут гарантирвоано правильно исполняться код, соответствющий этим строкам?17.05.2011, 09:47. Показов 683. Ответов 2
Метки нет Все метки)
(
После всякиго ли компилятора c++ будут гарантирвоано правильно исполняться код, соответствующий этим:
1. На сколько надёжно компилится каждая из этих строк, если a - число встроенного типа: 1.1. влезающее в аппаратный регистр, 1.2. разрядностью больше регистра (если такое поддерживается встроенными типами)? 2. Как гарантировать надёжное удвоение и возведение и умножение на себя экземпляров классов, являющихся машинным представлением: 2.1. векторов, 2.2. матриц, 2.3. длинных чисел?
0
|
|
17.05.2011, 09:47 | |
Ответы с готовыми решениями:
2
Будет ли исполняться код, написанный в функции после "return:="? Определить какой код будет исполняться быстрее Куда "воткнуть" код, который должен исполняться постоянно?
|
В астрале
![]() 8041 / 4798 / 655
Регистрация: 24.06.2010
Сообщений: 10,562
|
||||||
17.05.2011, 18:27 | 2 | |||||
taras atavin,
0
|
$1$DoqlJA.d$txi
|
|
17.05.2011, 19:48 | 3 |
Кроме того возникают проблемы с самим понятием правильности как соответствия программы спецификации, ведь совершенно спокойно можно сделать ошибки в спецификации - т.е. нужно еще и доказать и, как минимум, непротиворечивость самой спецификации. Да и еще, почитайте статью Briana Smith'a "Limits of correctness" там ясно объясняется, что корректность - это только базворд, на самом деле нужны (только возможны) именно "работающие" системы. Пользователь получил красную карточку за это сообщение.
|
17.05.2011, 19:48 | |
Помогаю со студенческими работами здесь
3
Код Хэмминга. Расписать по строкам что делает код Модифицировать код так, чтобы в случае если будут введены буквы код выдавал ошибку Стартовый код компилятора VS Разработка компилятора на C++ под код с++ Переделать код для компилятора C++ на языке C# Зависит ли от смены компилятора исходный код? Искать еще темы с ответами Или воспользуйтесь поиском по форуму: |