| 이전 주제 보기 :: 다음 주제 보기 |
| 글쓴이 |
메시지 |
조성근
가입: 2009년 9월 14일
올린 글: 283
|
|
| 위로 |
|
 |
조성근
가입: 2009년 9월 14일
올린 글: 283
|
|
| 위로 |
|
|
신기정
가입: 2009년 9월 15일
올린 글: 83
|
 올려짐: 2010년9월30일 22:42 주제: 뼈대코드 |
 |
|
| 조교님 뼈대코드가 다운로드 되지 않는 것같습니다. |
|
| 위로 |
|
|
조성근
가입: 2009년 9월 14일
올린 글: 283
|
| 올려짐: 2010년9월30일 23:19 주제: |
|
|
| 죄송합니다. 수정하였습니다. |
|
| 위로 |
|
|
전보영
가입: 2009년 10월 5일
올린 글: 14
|
| 올려짐: 2010년10월1일 1:18 주제: 뼈대코드 중 의문이 드는 부분이 있습니다. |
|
|
env_entry 의 정의가
| 코드: | ...
and env_entry = Addr of Loc.t | Proc of id * exp * env
... |
로 되어 있는데요, procedure가 여러개의 인자를 받을 수 있으므로
| 코드: | ...
and env_entry = Addr of Loc.t | Proc of id list * exp * env
... |
로 해야 맞지 않을까요? |
|
| 위로 |
|
|
조성근
가입: 2009년 9월 14일
올린 글: 283
|
| 올려짐: 2010년10월1일 12:58 주제: |
|
|
말씀하신 내용이 맞습니다. 수정하였습니다. 감사합니다.  |
|
| 위로 |
|
|
안준환
가입: 2010년 9월 2일
올린 글: 12
|
| 올려짐: 2010년10월1일 22:45 주제: Record 정의 |
|
|
올려주신 K- Semantic에 의하면 record는
의 형태로 정의되는데, 뼈대 코드에 정의된 Record 타입은
| 코드: | | Record of (string -> exp) |
로 되어 있습니다. Semantic에 부합하기 위해서는
| 코드: | | Record of (id -> Loc.t) |
로 수정하는 것이 맞지 않나요? |
|
| 위로 |
|
|
조성근
가입: 2009년 9월 14일
올린 글: 283
|
| 올려짐: 2010년10월2일 9:50 주제: |
|
|
| 예. 말씀하신 내용이 맞습니다. 뼈대코드를 수정하였습니다. 감사합니다. |
|
| 위로 |
|
|
|
FAQ
검색
멤버리스트
사용자 그룹
사용자 등록하기
개인 정보
비공개 메시지를 확인하려면 로그인하십시오
로그인
