invariants

40зной

3ответ

Простые примеры co и контравариантности

Может ли кто-нибудь предоставить мне простые примеры C19 конвариантности, контравариантности, инвариантности и контравариантности (если такая вещь существует). Все образцы, которые я видел до сих пор,

c# .net covariance contravariance invariants 2011-01-12

---

13зной

6ответ

проверка инвариантов в C++

Существуют ли установленные шаблоны для проверки инвариантов классов в C++? В идеале, инварианты будут автоматически проверяться в начале и в конце каждой публичной функции-члена. Насколько я знаю, C

c++ templates design-by-contract object-lifetime invariants 2011-01-19

---

8зной

3ответ

Hoare Logic Loop Invariant

Я смотрю на Hoare Logic, и у меня возникают проблемы с пониманием метода поиска инварианта цикла. Может кто-нибудь объяснить метод, используемый для вычисления инварианта цикла? И что должно содержать

language-agnostic logic verification invariants loop-invariant 2011-01-24

---

5зной

3ответ

Вы используете инварианты при программировании?

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

invariants 2009-11-07

---

4зной

3ответ

Необходимы предварительные условия и постусловия в дополнение к инвариантам в функциях-членах, если они выполняются по контракту?

Я понимаю, что в методе DbC к функции добавляются предварительные условия и постусловия. Что мне интересно, если это относится и к функциям-членам. Например, предполагая, что я использую инварианты в

design-by-contract member-functions invariants preconditions 2009-08-02

---

11зной

5ответ

Каков наилучший способ определения инварианта цикла?

При использовании формальных аспектов для создания некоторого кода существует общий метод определения инварианта цикла или он будет полностью отличаться в зависимости от проблемы?

loops invariants formal-methods loop-invariant 2010-05-29

---

1зной

1ответ

эвристики для нахождения инвариантов класса

Есть ли эвристики для нахождения инвариантов класса, я имею в виду получки attantion на ...; никогда не полагаться на ...; Возможно, есть общие советы. Любые ссылки на бумаге, где будут изучаться реал

design oop invariants 2010-07-20

---

7зной

4ответ

Устанавливаются ли инвариантные утверждения в программирование на C#?

В книге coders at work автор спрашивает: «Как вы используете инварианты в своем коде». Пожалуйста, объясните, что означает этот вопрос. Я видел инварианты классов on wiki, но пример в Java, и я недост

c# java .net computer-science invariants 2011-01-03

---