검색 결과 27 개 일치합니다

read는 -inf부터 +int 이군요

^^ 감사합니다

일단 state와 value가 정의가 나와 있다하셨는데..
state가
기계상태는 각 메모리 주소가 가질 수 있는 값들
...

calF가 무슨 '역할'을 하는 함수의 정의가 애매한듯한데..

정리를 해보면,
calF가 K언어로 구현된 어떤 cmd에 대해서
cmd와 state를 받아서 state를 반환� ...

window 상에서 코딩중인데..

뼈대의 make.bat가 잘 작동하지 않는 것 같습니다;

D:\pa>make

D:\pa>ocamllex lexer.mll
14 states, 416 transitions, table size 1748 byt ...

그렇군요 ^^

signature
type bound가 쓰여있어서
module 안에서는 bound에 대해서 정의를 하면 안되는 것으로 알았는데,

module안에서 다시 정의를 해도 되� ...

let interval1 = Zintvl.make (Zintvl.Z 0) (Zintvl.Z 5)

라는 것은

Zintvl 내부의 타입은 마음대로 해도 된다는 뜻인가요 ? ^^

-무한대나 +무한대값을 넣을때도 필 ...

그리고..

exception Undefined 는 어떻게 정의를 하는건가요?;;

이부분에서 unmatch가 발생하는데..
module에서 exception을 포함시키는지 모르겠어요 ;;

그렇군요..

기존에는 product로해서 숙제를 해놨었는데..

module Zintvl에서
bound는 어떻게 참조해야하나요?

type elt도 설정을 해야하는데 .. product의 � ...

기존 숙제폼에서는
module IntervalDomain : PRODUCT_dOMAIN으로 되어 있었는데

지금은
module Zintvl : INTERVAL_DOMAIN이라고만 되어 있네요

어떤게 맞는건가요?
( ...

숙제7..
혹시나 하고 들렀는데 공지가 되었네요..
문제를 읽고 읽고 읽고 있는데..
잘 정리가 안되네용 ^^

제가 정리해본바로는..
교수님께서 써주� ...

음.. 다들 잘 제출 하셨는지 모르겠네요 ^^

read가 hw4에서는 -5~5의 숫자였는데

hw6에서도 같은 의미 인가용?
아님 그냥 TOP인가용~?

잉 -_-

왜 D.top이라고 하니까 돼죠;;
D.TOP이라고 하니까 안되고!! 아아악 나.. 뭐한거야 이때까지.. ㄷㄷㄷ

.. CPO에 top, bottom이 따로 정의 되어 있었군 ...

Analyzer에서 넘겨받은 D의 top, order
를

Analyzer에서 사용하고 싶은데.. 어떻게 쓰는지 몰라서 헤매고 있어용ㅠㅠ

ㅎㅎㅎ..
프로그래밍 언어나 컴파일러 수업을 안 들어서 그런지..
문법을 몰라서 계속 막히네요 ㅠㅠ

analyzer.ml에서
D(Domain)에 들어있는 FMap이나
D� ...

저도 해보고 있는데..
while에 조건문(<나 >요런거가)이 들어가는게 아니라서..
대부분 무한 루프를 도는거 같아용

변수를 여러개 쓰면.. 변수를 ...

오늘 휴강 맞나용

웹페이지에서는 공지가 없네용~ ㄷㄷㄷ