Вопросы с тегом корректность - PullRequest

Вопросы с тегом корректность

56 голосов
2 ответов

Я использую алгоритм Сакамото, чтобы узнать день недели от заданной даты.Кто-нибудь может сказать...

Harikrishnan / 17 июня 2011
15 голосов
1 ответ

Этот фрагмент (взятый из этого вопроса ) прекрасно компилируется с g ++ (как видно), так что до...

Xeo / 04 июня 2011
2 голосов
4 ответов

У меня есть объект, который представляет физические характеристики какого-то воздушного туннеля:...

Kyrylo M / 02 июня 2011
0 голосов
1 ответ

Я пытаюсь реализовать алгоритм negamax, и я так и думал: public Move getBestMove(Board board){...

Timo Willemsen / 20 мая 2011
7 голосов
1 ответ

Всегда ли код, созданный Cython, так же корректен, как и код Python, из которого он был создан? Это...

Brian / 21 марта 2011
5 голосов
4 ответов

Привет, у меня есть код, который, как сообщают, имеет проблему NP_GUARANTEED_DEREF от Findbugs

AGrunewald / 16 марта 2011
1 голос
5 ответов

Я работаю над довольно большим проектом, в котором есть много мест, где существует код, подобный...

Jon / 15 февраля 2011
3 голосов
3 ответов

Прежде всего, позвольте мне извиниться, если мой вопрос не сформулирован правильно - я не...

SpaceJunk / 02 февраля 2011
4 голосов
6 ответов

У меня есть две функции: void prepare () и void finish (), которые будут вызываться последовательно...

chriskirk / 01 февраля 2011
0 голосов
2 ответов

if (comparison < 0 ) { // result is less } else if (comparison > 0) { // result is greater }...

user585522 / 29 января 2011
6 голосов
4 ответов

Предположим, я работаю с кодом стекового компьютера, который может выполнять несколько простых...

mik01aj / 26 января 2011
5 голосов
9 ответов

Многие стандартные функции C и POSIX возвращают -1 для ошибки и 0 в случае успеха, например...

Matt Joiner / 01 октября 2010
203 голосов
12 ответов

Как Java обрабатывает целочисленные переполнения и переполнения? Исходя из этого, как бы вы...

KushalP / 09 июня 2010
1 голос
3 ответов

Извините, если заголовка недостаточно, чтобы понять, о чем я спрашиваю.Я разработчик рельсов, и я...

Salil / 15 мая 2010
2 голосов
2 ответов

Мне нужно начать с кода, потому что я не уверен, какую терминологию использовать. Допустим, у меня...

Apeiron / 13 марта 2010
20 голосов
5 ответов

У меня сложилось впечатление, что мне нужно указывать «протокол» только при использовании...

cgp / 23 февраля 2010
5 голосов
9 ответов

В C ++ у меня есть компилятор, который сообщает мне, если что-то не так с моим кодом после...

bocco / 11 сентября 2009
1 голос
1 ответ

Наша группа создает приложение для моделирования процессов, которое имитирует производственный...

Alex / 31 марта 2009
0 голосов
3 ответов

У меня есть проблема, и я хотел бы узнать правильный способ ее решения. У меня есть Data Objeckt...

Jesper Jensen / 04 декабря 2008
2 голосов
3 ответов

При использовании генератора случайных чисел, который является лучшим способом использовать его для...

Schmuli / 25 ноября 2008
5 голосов
13 ответов

Эти for -циклы являются одними из первых основных примеров формальных корректных доказательств...

palm3D / 25 сентября 2008
11 голосов
6 ответов

Многопоточные алгоритмы особенно сложны для разработки / отладки / проверки. Алгоритм Деккера...

Leandro / 16 сентября 2008
1 голос
7 ответов

Минимальная проблема связующего дерева состоит в том, чтобы взять связанный взвешенный граф и найти...

BCS / 01 сентября 2008
Добро пожаловать на сайт PullRequest, где вы можете задавать вопросы и получать ответы от других членов сообщества.
...