invariants

1зной

1ответ

Hoare Logic, while loop with '<='

Я работаю над некоторой логикой Hoare, и мне интересно, подходит ли мой подход. У меня есть следующие программы P: s = 0 i = 1 while (i <= n) { s = s + i i = i + 1 } Она должна удовлетв

while-loop invariants hoare-logic 2012-01-27

---

2зной

2ответ

Поиск инварианта цикла в программе для вычисления сумм кубов?

Я не уверен на 100%, что такое инвариант в сумме тройной мощности. Примечание: n всегда является неотрицательным значением. псевдокод: triplePower(n) i=0 tot=0 while i <= n LI1 j

algorithm math big-o analysis invariants 2012-02-08

---

0зной

1ответ

Что такое инвариант цикла для суммирования алгоритма кубов?

Я не уверен на 100%, что такое инвариант в сумме тройной мощности. Примечание: n всегда является неотрицательным значением. псевдокод: triplePower(n) i=0 tot=0 while i <= n LI1 j

algorithm invariants loop-invariant 2012-02-11

---

2зной

1ответ

D инвариант класса вызова функции сопз

Почему следующие бросить ошибка компиляции: class A { public: int f() const { return 5; } protected: invariant() { assert (f() == 5); } } main.d(14): E

d invariants 2011-12-29

---

6зной

2ответ

Есть ли инструмент статического инвариантного обнаружения для программ C?

Я ищу инструмент, который может статически обнаруживать инварианты в программах на C. Я проверил Daikon, но обнаруживает инварианты только динамически. Есть ли инструмент для того, что я ищу? Благодар

c static-analysis invariants 2011-11-11

---

2зной

1ответ

Как бы написать цикл для этого инварианта?

Эти утверждения для алгоритма, чтобы найти минимум массива б [h.k]: Precondition: h <= k < b.length Postcondition: b[x] is the minimum of b[h...k] Это правильный петля для этого инварианта? инвариа

java invariants 2012-04-18

---

0зной

1ответ

Петли и инварианты?

Я пытаюсь поменять значения массива b и сохранить значение в k так, чтобы выполнялось условие b [0 ... h] < = 9 и b [k + 1 ..]> 9. меня это до сих пор: for (int b = 0; k!= b.length; k = k+1) { in

java loops invariants 2012-04-18

---

7зной

2ответ

Задание инвариантов на Конструкторы значений

Рассмотрим следующие data Predicate = Pred Name Arity Arguments type Name = String type Arity = Int type Arguments = [Entity] type Entity = String Это позволило бы создать Pred "divides" 2 ["

haskell constructor invariants 2011-01-26

---

4зной

4ответ

C++: STL: набор: сохраненное значение константность

Имея следующий код: #include <iostream> #include <set> #include <string> #include <functional> using namespace std; class Employee { // ... int _id; string _name; string _ti

c++ stl set const invariants 2012-01-16

---

60зной

3ответ

Что такое инвариант класса в java?

Я googled тему, но кроме Wikipedia Я не нашел никакой другой полезной документации или статей. Может кто-нибудь объяснить мне простыми словами, что это значит или передать мне какую-нибудь красивую и

java terminology invariants 2012-01-17

---