검색 결과 8 개 일치합니다

2. C-- 의 semantics에 의하면 주소에 대해서는 연산이 정의되어 있지 않습니다. 그리고 정수값을 address로도 사용할 수 없습니다.
이 경우는 runtime error� ...

map 2개를 주면... key값들의 union 으로 새롭게 Map 을 구성하는 그런 함수는 없나요? 기존의 Map 라이브러리만 가지고 만드려니 쉽지 않네요. 왠지 당연히 � ...

//5 에서
/* pointer operations */
// 5
z := 1;
x := &x;
t := *z + 1;

if *z < 0 then
*z := 3
else
*z := 2
end;

인데요. z:=1 을 넣은 후에... t:=*z+1 을 하면 t� ...

어머나~ 그렇군요. 요즘 잠을 별로 못잤더니만...^^;

B E SIGMA 의 정의가 이상합니다.

B E SIGMA 의 타입이 E를 0으로 만들지 않는 것으로 하는 sigma 들의 집합이 되어야 할 것 같은데요. if 의 정의에서도 보면 ...

<pgm>
y := 3;
i := 1;
if y<3 then
y := y+1
else
y := y+-1
end;
k := &y;
while i<y do
*k := *k+-1;
i := i+1
end;
skip
<result>
0 | y := 3 | {}
1 | i := 1 | {y-> ...

동일하게 겹쳐서 일부러 제외시켜준다고 오히려 추가 노력을 들여 고생했는데, 다시 되돌려 놓아야 겠군요 --; 끙.

제가 쓴 글을 인용하게 되는군요. ...