| 이전 주제 보기 :: 다음 주제 보기 |
| 글쓴이 |
메시지 |
한재화
손님
|
 올려짐: 2007년10월5일 18:29 주제: 명령문을 실행한 후 메모리 변화를 알기 위해, |
 |
|
명령문을 실행 한 후에 메모리 변화를 알기 위해서는 현재 있는 K.run 함수로는 불가능할 것 같은데요.. 예를 들어 SEQ(exp1,exp2) 같은 경우에 exp1이 실행되고 난 후의 메모리변화를 가지고 exp2 를 실행해야하는데 이때 K.run 만으로는 변화된 메모리 값을 알 수 없을것 같습니다.
처음에
| 코드: |
K.run(emptyMemory, emptyEnv, S)
|
로 실행하는 도중에 읽히는 mem은 바뀌지 않을 테니까요. 이때 메모리 내용을 얻어오거나 하기 위해 다른 함수를 스트럭쳐 안에 정의해도 상관없는지 궁금합니다.
교재에는 env와 mem과 exp를 가지고 value 와 변화된 mem을 리턴하게 되어있으니 그런 함수를 따로 정의해도 되겠죠? |
|
| 위로 |
|
 |
오학주
가입: 2005년 9월 5일
올린 글: 118
|
| 올려짐: 2007년10월5일 23:51 주제: |
|
|
signature에 이름이 없는 함수들도 필요하다면 얼마든지 만드셔도 됩니다.
그 함수들은 structure안에서만 사용이 가능하게 되는거죠. 문제없습니다. |
|
| 위로 |
|
|
|
|
새로운 주제를 올릴 수 없습니다
답글을 올릴 수 없습니다
주제를 수정할 수 없습니다
올린 글을 삭제할 수 없습니다
투표를 할 수 없습니다
|
Powered by phpBB 2.0.21-7 (Debian) © 2001, 2005 phpBB Group
Translated by kss & drssay |
FAQ
검색
멤버리스트
사용자 그룹
사용자 등록하기
개인 정보
비공개 메시지를 확인하려면 로그인하십시오
로그인
