Форум программистов, компьютерный форум, киберфорум
C++
Войти
Регистрация
Восстановить пароль
Другие темы раздела
C++ C++ и принтеры https://www.cyberforum.ru/ cpp/ thread296098.html
Приветствую уважаемые программисты! У меня есть сканер и принтер, и достаточно много документов которые нужно ксерить. Просто нажимать "сканировать", потом "печать" уже надоело. Появилась идея...
C++ Перезагрузка программы с заданными входными параметрами
Добрый день. В общем есть программа, которая на вход получает имя файла конфигурации. Нужно ее програмно перезагрузить, указав имя нужного файла конфигурации. Кто нибудь знает методы, позволяющие это...
Windows Driver Kit C++
Здравствуйте. ОС Windows 7 Максимальная 32bit. Отсюда качал Windows Driver Kit 7.1.0. Образ запускал в DAEMON Tools Lite 4.35 (работает без сбоев). Антивирус DrWeb выключал - не помогает. При...
C++ Событие FormClosed У меня есть две формы (Form1 и Form2). Мне нужно, чтобы при закрытии Form2, в Form1 происходили определенные действия. Я пытался создать обработчик закрытия Form2(FormClosed) в классе Form1, но у... https://www.cyberforum.ru/ cpp/ thread294008.html
C++ Конвертация https://www.cyberforum.ru/ cpp/ thread293891.html
Подскажите пожалуйста код как считать в бинарном виде файл и вывести его в виде 0 и 1 и соответственно записать файл в бинарном виде
Приравнивание переменных в классах. C++
Почему нельзя в классе сразу после объявления переменной прировнять её к определенному значению? Нампример: AnsiString DirectorySt=""; И как это обойти, что при запуске программы для всех...
C++ Вопрос о наследовании
Извините за ламерский вопрос, но я в тупике. Такая проблема. Есть два класса "Systema" и "Sensors". Как сделать так чтоб в класс Systema копировался класс Sensors.
C++ Обращение к памяти есть процедурка замены определения символа с номером num из банка bank на символ, образ которого записан в масиве crr; void *kods(char bank; char num) { char far *uk; int wo; char crr={ ... https://www.cyberforum.ru/ cpp/ thread293530.html
C++ Графы в С++ https://www.cyberforum.ru/ cpp/ thread292699.html
Как можно в программу на С++ ввести граф??моей задачей является определить оптимальное расположение остановок в городе,ну и город в виде графа...
C++ С++ потоки,калькулятор,рекурсия . Всем привет Я почти что дописал строчный калькулятор который работает на потоке,проблема осталась только в скобках,ребят посмотрите плиз мож че подскажите ,я уже неделю мозг парю!... https://www.cyberforum.ru/ cpp/ thread292379.html
$1$DoqlJA.d$txi
17.05.2011, 19:48 0

После всякиго ли компилятора c++ будут гарантирвоано правильно исполняться код, соответствющий этим строкам?

17.05.2011, 19:48. Просмотров 592. Ответов 2
Метки (Все метки)

Ответ

гарантирвоано правильно исполняться код
Сколько раз уже говорили, что можно доказать только правильность _вычислительного алгоритма_, а не программы, исполняемой в определенной среде, потому что программа будет корректна только тогда, когда корректна эта самая среда исполнения, а иначе ты не можешь быть уверен, что print "hello world", выведет на экран "hello world", а не что-то другое из-за ошибки в компиляторе или аппаратном обеспечении.
Кроме того возникают проблемы с самим понятием правильности как соответствия программы спецификации, ведь совершенно спокойно можно сделать ошибки в спецификации - т.е. нужно еще и доказать и, как минимум, непротиворечивость самой спецификации.
Да и еще, почитайте статью Briana Smith'a "Limits of correctness" там ясно объясняется, что корректность - это только базворд, на самом деле нужны (только возможны) именно "работающие" системы.

Вернуться к обсуждению:
После всякиго ли компилятора c++ будут гарантирвоано правильно исполняться код, соответствющий этим строкам?
Пользователь получил красную карточку за это сообщение.
IT_Exp
Эксперт
87844 / 49110 / 22898
Регистрация: 17.06.2006
Сообщений: 92,604
17.05.2011, 19:48

Заказываю контрольные, курсовые, дипломные и любые другие студенческие работы здесь.

Код Хэмминга. Расписать по строкам что делает код
using System; using System.Collections.Generic; using System.Linq; using System.Text; using...

Модифицировать код так, чтобы в случае если будут введены буквы код выдавал ошибку
#include <iostream> #include <climits> #include <windows.h> using namespace std; int main()...

Стартовый код компилятора VS
Программа написанная на C++ под отладкой показывает, много кода, который явно не включался в...

Разработка компилятора на C++ под код с++
Ребята мне нужно создать компилятор по виду как программа в которую пишешь с++ код и выбираешь ОС...

Переделать код для компилятора C++ на языке C#
Всем привет форумчане! Я долго решал как сделать чтоб из TextBox1 текст отправлялся в компилятор и...

Зависит ли от смены компилятора исходный код?
Недавно на олимпиаде писал программу. Компилятор у них был указан C# .Net 4.0. Однако написанная...

0
КиберФорум - форум программистов, компьютерный форум, программирование
Powered by vBulletin® Version 3.8.9
Copyright ©2000 - 2021, vBulletin Solutions, Inc.