8
ответов
Инварианты цикла (Конкретно Ch.3 “Ускоренного C++”)
Я в настоящее время прокладываю себе путь через "Ускоренный C++" и просто столкнулся с этим в главе 3://инвариант://мы считали классы количества до сих пор, и//, сумма является суммой первых классов количества...
вопрос задан: 31 December 2013 13:06
6
ответов
Пустые конструкторы и методы set на JPA Entites
Мне не нравится требование к, имеют по крайней мере одного пустого конструктора и общедоступные методы set на объектах JPA. В то время как я понимаю проблему о стороне EntityManager, это делает недействительным инварианты класса. Делает...
вопрос задан: 22 June 2009 14:02
4
ответа
Можно ли программировать и проверять инварианты в Haskell?
Когда я пишу алгоритм, я обычно записываю инварианты в комментариях. Например, одна функция может вернуть упорядоченный список, а другая ожидает, что список будет упорядочен. Я знаю, что ...
вопрос задан: 15 December 2014 10:43
4
ответа
Что лучший способ определить инвариант цикла?
Чтобы использование формальных аспектов создало некоторый код, там общий метод определения инварианта цикла, или это будет полностью отличаться в зависимости от проблемы?
вопрос задан: 3 October 2013 17:11
4
ответа
Как Вы проверяете внутреннее состояние объекта?
Я интересуюсь слушанием, какую технику (техники) Вы используете для проверки внутреннего состояния объекта во время операции, которая, со своей собственной точки зрения, только может перестать работать из-за плохого внутреннего состояния...
вопрос задан: 5 December 2008 21:52
3
ответа
Насколько свободный я могу быть в коде в объектном инварианте?
Я пытаюсь продемонстрировать инварианты в Контрактах Кода, и я думал, что дам пример отсортированного списка строк. Это поддерживает массив внутренне с запасным пространством для дополнений и т.д. - точно так же, как...
вопрос задан: 30 July 2009 21:23
2
ответа
Вы используете инварианты, когда Вы программируете?
Я беру промежуточный ход программирования, который подчеркивает использование инвариантов. Я никогда не использовал их прежде, и они, кажется, занимают больше времени для создания. Делает разработку программного обеспечения...
вопрос задан: 7 November 2009 09:11
1
ответ
Как я могу напечатать для Collection & lt ;? super Some & gt ;?
У меня есть метод, похожий на этот. public void some (..., Collection & lt ;? super Some & gt; collection) {// WOOT, PECS !!! конечный поток & lt; Некоторые & gt; stream = getStream (); stream.collect (...
вопрос задан: 13 July 2018 04:53
0
ответов
Каковы различия предусловия, постусловия и инварианта в компьютерной терминологии [закрыто]
Я читаю книгу «Параллелизм Java на практике» и немного путаюсь с этими терминами: Предварительное условие Условие после публикации Инварианты Может кто-нибудь объяснить мне их (например, если ...
вопрос задан: 11 January 2018 15:09
0
ответов
Что такое инвариант класса в java?
Я искал эту тему в Google, но кроме Википедии я не нашел никакой другой полезной документации или статей. Может ли кто-нибудь простыми словами объяснить мне, что это означает, или порекомендовать мне какое-нибудь красивое и легкое в использовании ...
вопрос задан: 7 August 2017 18:40
0
ответов
Цикл инвариант линейного поиска
Как видно из Введения в алгоритмы (http://mitpress.mit.edu/algorithms), в упражнении говорится следующее: Вход: Массив A[1...n] Выход: i, где A[i]=v или NIL, когда не найден Записать ...
вопрос задан: 10 August 2016 15:45
0
ответов
Логический инвариант цикла Хоара
Я смотрю на логику Хоара, и у меня проблемы с пониманием метода нахождения инварианта цикла. Может ли кто-нибудь объяснить метод, используемый для вычисления инварианта цикла? А какой должен быть цикл ...
вопрос задан: 3 October 2013 17:04
0
ответов
ковариантный тип T встречается в инвариантной позиции
Я делаю первые шаги в Scala и хочу, чтобы следующий код работал :trait Gene[+T] { val gene :Array[T] } Ошибка, которую выдает компилятор: :ковариантный тип T встречается в...
вопрос задан: 30 July 2012 15:01
0
ответов
Сохранение инвариантов при разрешении деструктурирования
Я хочу определить тип, чтобы вся конструкция проходила через элементы модуля, которые могут сохранять инварианты, но разрешать деструктурирование для сопоставления с образцом. Я только изучаю OCaml, но следующее...
вопрос задан: 22 May 2012 20:50
0
ответов
Существует ли инструмент статического обнаружения инвариантов для программ на языке Си?
Я ищу инструмент, который может статически обнаруживать инварианты в программах на языке Си. Я проверил Daikon, но он обнаруживает инварианты только динамически. Есть ли инструмент для того, что я ищу? ...
вопрос задан: 11 November 2011 02:06
0
ответов
Детерминированный рендеринг OpenGL между поставщиками графических процессоров
В настоящее время я программирую приложение для обработки изображений в научных целях с использованием OpenGL. Я хотел бы знать, предполагается ли, что рендеринг OpenGL (в терминах полученного пикселя из FBO) будет полностью детерминированным, когда мой
вопрос задан: 27 October 2011 21:30
0
ответов
Проблема ковариации C # 3.5?
Я много слышал / читал о проблемах ковариации в C # и хотел задать несколько вопросов и сценарии, так что надеюсь, что я смогу прояснить свое недоумение по этому поводу. На протяжении этих примеров ...
вопрос задан: 5 July 2011 10:48
0
ответов
Имеет ли смысл генерировать частное исключение?
Я хочу генерировать исключение времени выполнения, если инварианты моего класса признан недействительным. Поскольку это ошибка программирования (аналогичная исключению NullPointerException), клиенты не должны перехватывать это исключение. Должен ...
вопрос задан: 14 March 2011 08:23
0
ответов
Несколько отношений Core Data с одним и тем же объектом
У меня есть модель данных, которую я пытаюсь перенести из структуры таблицы на основе SQLite в Core Модель данных. В моей структуре SQLite есть таблица зон и таблица TransitLogs. TransitLog может иметь ...
вопрос задан: 27 January 2011 07:30
0
ответов
проверка инвариантов в C ++
Существуют ли какие-либо установленные шаблоны для проверки инвариантов классов в C ++? Идеально, инварианты будут автоматически проверяться в начале и в конце каждой публичной функции-члена. Что касается…
вопрос задан: 19 January 2011 13:58
0
ответов
Простые примеры ко- и контравариантности
Может ли кто-нибудь предоставить мне простые C # примеры согласованности, контравариантности, инвариантности и контравариантности (если такие вещи существуют). Все образцы, которые я видел до сих пор, были просто преобразованием некоторого объекта в ...
вопрос задан: 12 January 2011 14:25
0
ответов
Подходят ли инвариантные утверждения к программированию на C #?
В книгах кодировщиков за работой автор спрашивает: «Как вы используете инварианты в своем коде». Пожалуйста, объясните, что означает этот вопрос. Я видел инварианты классов в вики, но пример приведен на Java, а я не ...
вопрос задан: 3 January 2011 15:23
0
ответов
Добавление инвариантов к интерфейсам в Java
Я думал о создании платформы Java, которая позволила бы программистам указывать инварианты (пред - и постусловия) в интерфейсах. Цель состояла бы в том, чтобы сделать код более устойчивым и уменьшить...
вопрос задан: 22 July 2010 15:24