Форум программистов, компьютерный форум, киберфорум
C++
Войти
Регистрация
Восстановить пароль
Другие темы раздела
C++ C++ и принтеры Приветствую уважаемые программисты! У меня есть сканер и принтер, и достаточно много документов которые нужно ксерить. Просто нажимать "сканировать", потом "печать" уже надоело. Появилась идея... https://www.cyberforum.ru/ cpp/ thread296098.html C++ Перезагрузка программы с заданными входными параметрами
Добрый день. В общем есть программа, которая на вход получает имя файла конфигурации. Нужно ее програмно перезагрузить, указав имя нужного файла конфигурации. Кто нибудь знает методы, позволяющие это...
C++ Windows Driver Kit https://www.cyberforum.ru/ cpp/ thread296009.html
Здравствуйте. ОС 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++
Подскажите пожалуйста код как считать в бинарном виде файл и вывести его в виде 0 и 1 и соответственно записать файл в бинарном виде
C++ Приравнивание переменных в классах. https://www.cyberforum.ru/ cpp/ thread293797.html
Почему нельзя в классе сразу после объявления переменной прировнять её к определенному значению? Нампример: AnsiString DirectorySt=""; И как это обойти, что при запуске программы для всех...
C++ Вопрос о наследовании Извините за ламерский вопрос, но я в тупике. Такая проблема. Есть два класса "Systema" и "Sensors". Как сделать так чтоб в класс Systema копировался класс Sensors. https://www.cyberforum.ru/ cpp/ thread293728.html C++ Обращение к памяти
есть процедурка замены определения символа с номером num из банка bank на символ, образ которого записан в масиве crr; void *kods(char bank; char num) { char far *uk; int wo; char crr={ ...
C++ Графы в С++ https://www.cyberforum.ru/ cpp/ thread292699.html
Как можно в программу на С++ ввести граф??моей задачей является определить оптимальное расположение остановок в городе,ну и город в виде графа...
C++ С++ потоки,калькулятор,рекурсия . https://www.cyberforum.ru/ cpp/ thread292379.html
Всем привет Я почти что дописал строчный калькулятор который работает на потоке,проблема осталась только в скобках,ребят посмотрите плиз мож че подскажите ,я уже неделю мозг парю!...
Ищу библиотеку C++
Для сжатия файлов. Главные требования: 1.Опенсорс 2.Никаких длл,весь код в исполняемом файле 3.Хорошая совместимость с MS Visual Studio. 4.Наличие подробного описания API библиотеки + примеры....
C++ Перемещение графических объектов Разместить на экране 2 расположенных рядом перемигивающиеся окружности! https://www.cyberforum.ru/ cpp/ thread291156.html
$1$DoqlJA.d$txi
17.05.2011, 19:48 0

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

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

Ответ

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

Вернуться к обсуждению:
После всякиго ли компилятора c++ будут гарантирвоано правильно исполняться код, соответствющий этим строкам? C++
Пользователь получил красную карточку за это сообщение.
Programming
Эксперт
94731 / 64177 / 26122
Регистрация: 12.04.2006
Сообщений: 116,782
17.05.2011, 19:48
Готовые ответы и решения:

Будет ли исполняться код, написанный в функции после "return:="?
будет ли исполняться код написанный в функции после result:= или это можно считать возвратом...

Определить какой код будет исполняться быстрее
С точки зрения быстроты исполнения, какой из 2-х вариантов будет лучше? from datetime import...

Куда "воткнуть" код, который должен исполняться постоянно?
Привет всем! Куда "воткнуть" код, который должен исполняться постоянно. "Втыкаю" в Form1()...

Была идея замены переменной t = x+sin(x), но скорее всего дальше ничего не развенулось бы! У кого будут какие предположение с этим?
Была идея замены переменной t = x+sin(x), но скорее всего дальше ничего не развенулось бы! У кого...

2
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
Copyright ©2000 - 2022, CyberForum.ru