correctness

2열

2답변

문자열 값을 기준으로 멤버를 지정하십시오.

어떤 용어를 사용해야할지 모르므로 코드로 시작해야합니다. 나는 다음과 같은 코드가 있다고 가정하자 : 내가 참을 수 없어하는 경우 (STRCMP (attr-> 이름(), "X")!) 컨버터 >> x의 반복이다 class Node { public: void Parse(rapidxml::xml_node<> *node) { for

c++ correctness repetition 2010-03-13

---

6열

11답변

알고리즘의 정확성을 공식적으로 확인

우선, 이것은 부작용이없는 알고리즘에서만 가능합니까? 둘째,이 과정, 좋은 책, 기사 등은 어디에서 알 수 있습니까?

algorithm math proof correctness formal-verification 2010-01-27

---

1열

3답변

여러 줄을 사용하는 가장 좋은 방법은 무엇입니까 <% %> 태그 또는 <% %> 여러 줄 태그?

제목이 내가 무엇을 요구하는지 이해하기에 충분하지 않다면 죄송합니다. 저는 레일 개발자이며 여러 줄을 < % %> 내 의견으로는 사용했지만 지금은 모범 사례가 아니므로 여기에 와서 모든 훌륭한 사람들에게 ROR의 올바른 방법이 무엇인지 알고 싶습니까? <% user =User.all %> <% name= [] %> <% count = 0 %>

ruby-on-rails ruby views correctness 2010-05-15

---

6열

4답변

Haskell에서 팬텀 유형을 사용하여 프로그램 정확성 검증하기

int와 double에 간단한 연산 (push, 상수, 뺄셈, 스왑, 팝, 변환 유형)을 할 수있는 스택 머신의 코드로 작업한다고 가정 해 보겠습니다. . 이제 필자가 작성한 프로그램은 다른 언어로 설명을 가져 와서이 스택 컴퓨터의 코드로 변환합니다. 또한 스택의 최대 크기를 계산해야합니다. 내가 생각 곱셈 INT 곱셈을 를 사용하여 두 배로 빈 스택에서

haskell types correctness 2011-01-26

---

0열

2답변

'If'문을 공백으로 남겨 두십시오 (빠르고 쉬운 질문)

if (comparison < 0) { // result is less } else if (comparison > 0) { // result is greater } else { System.out.println(something); } 안녕하세요, 'If'문과 함께 적절한 프로토콜에 관한 빠른 질문이 있습니다. 위의

java if-statement correctness 2011-01-29

---

4열

6답변

순서가 맞지 않은 재진입 호출에 대한 단순한 주장?

void prepare()와 void finish()는 다음과 같이 순차적으로 호출됩니다. prepare(); <do something>; finish(); ... prepare(); <do something>; finish(); 간단히 말해서 실제로 호출되고 있음을 간단한 테스트로 암기하고 싶습니다. 이 방법은 응용 프로그램에서 동시 또는

c++ assert correctness 2011-02-01

---

3열

3답변

자바 스크립트에 래퍼 객체 작성

먼저 내 질문에 정확하게 말하지 않으면 사과하겠습니다. 전문 용어가 아닌 이상 전문 용어가 잘못되었을 수도 있습니다. 내 코드가 너무 당황하지 않기를 바란다. ( 나는 마우스 롤오버로 이미지를 페이드 인/아웃하는 방법이있다. 나는 이것이 올바른 용어라고 생각한다. 이미지 요소와 몇 가지 필수 속성을 보유 할 수 있지만이를 수행하는 방법을 모르겠습니다. fa

javascript methods correctness 2011-02-02

---

1열

1답변

복제 기사가 올바른지 확인하는 쉬운 방법이 있습니까?

게시 (2 차적으로 구독)에서 현재 실행중인 기사가 예상 및/또는 올바른 내용과 일치하는지 확인할 수있는 스크립트 나 명령이 있습니까? 수동으로 복제 데이터베이스를 변경 한 경우 (즉, 테이블의 "MSMerge_ins _..."트리거가 수정되거나 삭제되어 해당 테이블의 복제가 제대로 작동하지 않는 경우)이를 쉽게 감지 할 수 있습니다. 전 발행물을 삭제하고

sql-server-2008 verification correctness merge-replication 2009-08-14

---

1열

5답변

PHP에서 모든 배열 인덱스를 확인하는 것이 얼마나 중요합니까?

다음과 같은 코드가있는 꽤 큰 프로젝트에서 작업하고 있습니다. function foo($a, $b, $c, $d, $e, $f) { $clean = array(); $mysql = array(); $clean['a'] = htmlentities($a); $clean['b'] = htmlentities($b);

php validation isset correctness 2011-02-15

---

3열

1답변

WSGI start_response를 가로채는 적절한 방법은 무엇입니까?

미들웨어의 내부 레이어가 start_response을 호출하여 반환하는 HTTP 상태 (예 : 200 OK)를 캡처해야하는 WSGI 미들웨어가 있습니다. 현재 나는 다음과 같은 일을 해요,하지만 목록을 남용하는 것은 나에게 "오른쪽"솔루션이 될 것 같지 않습니다 class TransactionalMiddlewareInterface(object):

python wsgi middleware correctness 2010-03-05

---